Login / Signup
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities.
Vincent Laviron
Francesco Logozzo
Published in:
Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
</>
linear inequalities
linear programming
integer linear programming
linear program
convex hull
special case
real world
bayesian networks
real numbers
feature selection
transfer learning
face recognition
feature extraction
pattern recognition
dynamic programming
fuzzy logic