Verifying LOC based functional and performance constraints.

Xi Chen Harry Hsieh Felice Balarin Yosinori Watanabe

Published in: HLDVT (2003)

Keyphrases

information systems
similarity measure
expert systems
constrained optimization
soft constraints
information retrieval
computer vision
image processing
three dimensional
scheduling problem
model checking
constraint sets