Sciweavers

2593 search results - page 22 / 519
» constraints 2007
Sort
View
75
Voted
IJCAI
2001
14 years 11 months ago
Constraints as Data: A New Perspective on Inferring Probabilities
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...
Manfred Jaeger
ENTCS
2007
84views more  ENTCS 2007»
14 years 9 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
AMC
2007
100views more  AMC 2007»
14 years 9 months ago
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints is proposed in this paper. These equations are derived with...
Po Chih Chen, Chia-Ou Chang, W. T. Chang Chien
JSAT
2007
47views more  JSAT 2007»
14 years 9 months ago
On Solving Boolean Combinations of UTVPI Constraints
We consider the satisfiability problem for Boolean combinations of unit two variable per inequality (UTVPI) constraints. A UTVPI constraint is linear constraint containing at mos...
Sanjit A. Seshia, K. Subramani, Randal E. Bryant
IJCAI
1993
14 years 10 months ago
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems
Constraint relaxation is a frequently used technique for managing over-determined constraint satisfaction problems. A problem in constraint relaxation is the selection of the appr...
R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognu...