Login / Signup

Conformance Checking with Constraint Logic Programming: The Case of Feature Models.

Raúl MazoRoberto Erick Lopez-HerrejonCamille SalinesiDaniel DiazAlexander Egyed
Published in: COMPSAC (2011)
Keyphrases
  • constraint logic programming
  • feature vectors
  • logic programming language
  • low level
  • probabilistic model
  • image features
  • constraint solving