184 search results - page 5 / 37 » Integer Polyhedra for Program Analysis |
ENDM
2010
13 years 7 months ago
2010
We call "on/off" constraint an algebraic constraint that is activated if and only if
DISOPT
2007
13 years 7 months ago
2007
DKE
2010
13 years 7 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
CORR
2006
Springer
13 years 7 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...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...