2864 search results - page 442 / 573 » Constraint Programming in OPL |
112
click to vote
WICSA
2001
15 years 4 months ago
2001
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
108
click to vote
AAAI
1990
15 years 4 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
143
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
125
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
110
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...