Sign in

Verification of Scheme Plans Using CSP $$||$$ | | B.

Phillip JamesFaron MollerHoang Nga NguyenMarkus RoggenbachSteve A. SchneiderHelen TreharneMatthew TrumbleDavid M. Williams
Published in: SEFM Workshops (2013)
Keyphrases
  • constraint satisfaction problems
  • model checking
  • constraint propagation
  • plan recognition
  • data sets
  • learning algorithm
  • search algorithm
  • face verification
  • detection scheme
  • signature verification