Algebraic specification techniques for parametric types with logic-based constraints.

David Briggs Suad Alagic

Published in: SAC (2009)

Keyphrases

constraint language
knowledge representation
neural network
genetic algorithm
constraint satisfaction
constrained optimization
linear constraints
specification language
data sets
machine learning
computer vision
high level
user defined
resource constraints