3591 search results - page 145 / 719 » Typing linear constraints |
133
click to vote
GRAPHICSINTERFACE
2003
15 years 6 months ago
2003
Modal analysis provides a powerful tool for efficiently simulating the behavior of deformable objects. This paper shows how manipulation, collision, and other constraints may be ...
149
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
148
click to vote
SIAMJO
2008
15 years 5 months ago
2008
Stochastic dominance constraints allow a decision-maker to manage risk in an optimization setting by requiring their decision to yield a random outcome which stochastically domina...
189
Voted
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
249
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. This paper introduces a generalization of the nvalue constraint that bounds the number of distinct values taken by a set of variables.The generalized constraint (called n...