A Reasoning Method for Timed CSP Based on Constraint Solving.

Jin Song Dong Ping Hao Jun Sun Xian Zhang

Published in: ICFEM (2006)

Keyphrases

constraint solving
objective function
dynamic programming
pairwise
high accuracy
neural network
significant improvement
cost function
clustering method
detection method
decomposition method
similarity measure
computational complexity
probabilistic model
visual features
constraint propagation