| -- SVM Geometric Margin Maximization Specification. | |
| package SVM_Margin is | |
| type Float_32 is digits 6; | |
| type Vector is array (Positive range <>) of Float_32; | |
| -- Maximize the geometric margin: y(w^T x + b) / ||w|| | |
| procedure Optimize_Hyperplane ( | |
| Features : in Vector; | |
| Label : in Float_32; | |
| Weights : in out Vector; | |
| Bias : in out Float_32; | |
| Learning_Rate : in Float_32; | |
| Lambda : in Float_32 | |
| ); | |
| end SVM_Margin; | |