Login / Signup
A CSP Account of Event-B Refinement
Steve A. Schneider
Helen Treharne
Heike Wehrheim
Published in:
Refine@FM (2011)
Keyphrases
</>
constraint satisfaction problems
databases
event detection
event recognition
decomposition methods
constraint satisfaction
database
event driven
tree decomposition
knowledge base
video sequences
np hard
np complete
arc consistency algorithm