Lazy Runtime Verification for Constraints on Interacting Objects.
Jin ShaoFang DengHaiwen LiuQianxiang WangHong MeiPublished in: APSEC (2010)
Keyphrases
- geometric constraints
- user defined constraints
- model checking
- geometrical constraints
- face verification
- moving objects
- d objects
- object segmentation
- real world objects
- constrained optimization
- method invocation
- geometric primitives
- cardinal directions
- physical constraints
- spatial constraints
- spatial objects
- digital objects
- data sets
- target object
- data objects
- constraint satisfaction
- image retrieval
- image sequences
- learning algorithm