16216 search results - page 64 / 3244 » Effective Modeling with Constraints |
129
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for thes...
205
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We formulate a model for multi-class object detection in a multi-camera environment. From our knowledge, this is the first time that this problem is addressed taken into account ...
128
click to vote
SARA
2007
Springer
15 years 10 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
163
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
124
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...