639 search results - page 18 / 128 » Dominance Constraints with Set Operators |
PLDI
1997
ACM
13 years 11 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Climbing robots are especially susceptible to thermal overload during normal operation, due to the need to oppose gravity and to frequently apply internal forces for cl...
CPAIOR
2006
Springer
13 years 11 months ago
2006
Springer
We study domain filtering algorithms for open constraints, i.e., constraints that are not a priori defined on specific sets of variables. We present an efficient filtering algorith...
AI
2006
Springer
13 years 7 months ago
2006
Springer
Over the past few years there has been considerable progress in methods to systematically analyse the complexity of constraint satisfaction problems with specified constraint type...
ICDE
2007
IEEE
14 years 8 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...