Combining Object-Z and CSP.

Clemens Fischer

Published in: FBT (1997)

Keyphrases

constraint satisfaction problems
complex objects
d objects
object tracking
deformable objects
genetic algorithm
digital objects
object model
constraint satisfaction
spatial information
np hard
search space
spatial relationships
viewpoint
bounding box
search algorithm
object level
optimal solution