4081 search results - page 502 / 817 » The Impact of Constraint Programming |
167
click to vote
ISCAS
2005
IEEE
16 years 5 days ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
134
click to vote
APLAS
2005
ACM
16 years 5 days ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
175
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
154
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
174
click to vote
CD
2004
Springer
16 years 1 hour ago
2004
Springer
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...