Transformations of Check Constraint PIM Specifications.

Nikola Obrenovic Aleksandar Popovic Slavica Aleksic Ivan Lukovic

Published in: Comput. Informatics (2012)

Keyphrases

delay insensitive
neural network
high level
control flow
databases
computer vision
image segmentation
database systems
image sequences
natural language
linear constraints
soft constraints
functional requirements
geometric transformations
constraint solving