• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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