Sciweavers

1776 search results - page 69 / 356
» Uncertain Linear Constraints
Sort
View
113
Voted
JVCA
2007
128views more  JVCA 2007»
15 years 17 days ago
Impulse-based dynamic simulation in linear time
This paper describes an impulse-based dynamic simulation method for articulated bodies which has a linear time complexity. Existing linear-time methods are either based on a reduc...
Jan Bender
85
Voted
ICML
2007
IEEE
16 years 1 months ago
On the value of pairwise constraints in classification and consistency
In this paper we consider the problem of classification in the presence of pairwise constraints, which consist of pairs of examples as well as a binary variable indicating whether...
Jian Zhang, Rong Yan
CP
2005
Springer
15 years 6 months ago
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
Carsten Sinz
IJCAI
1989
15 years 1 months ago
An Algebraic Approach to Constraint Satisfaction Problems
A constraint satisfaction problem, or CSP, can be reformulated as an integer linear programming problem. The reformulated problem can be solved via polynomial multiplication. If t...
Igor Rivin, Ramin Zabih
99
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 24 days ago
Decomposition of the NVALUE constraint
We study decompositions of the global NVALUE constraint. Our main contribution is theoretical: we show that there are propagators for global constraints like NVALUE which decomposi...
Christian Bessiere, George Katsirelos, Nina Narody...