2974 search results - page 93 / 595 » Model-Driven Constraint Programming |
157
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
250
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
176
click to vote
ICRA
1995
IEEE
15 years 9 months ago
1995
IEEE
The optimal motion generation problem is solved subject to various actuator constraints while the motion is constrained to an arbitrary path. The considered objective function is ...
173
click to vote
CONSTRAINTS
2006
15 years 6 months ago
2006
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...