Sciweavers

601 search results - page 32 / 121
» Quantified Equality Constraints
Sort
View
CONSTRAINTS
2002
107views more  CONSTRAINTS 2002»
13 years 10 months ago
Fourier Elimination for Compiling Constraint Hierarchies
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring tha...
Warwick Harvey, Peter J. Stuckey, Alan Borning
CONSTRAINTS
2002
129views more  CONSTRAINTS 2002»
13 years 10 months ago
Cost-Based Arc Consistency for Global Cardinality Constraints
A global cardinality constraint (gcc) is specified in terms of a set of variables X = {x1, ..., xp} which take their values in a subset of V = {v1, ..., vd}. It constrains the numb...
Jean-Charles Régin
CP
2006
Springer
14 years 1 months ago
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
Cédric Pralet, Thomas Schiex, Gérard...
ICRA
2007
IEEE
144views Robotics» more  ICRA 2007»
14 years 4 months ago
Optimal Control Using Nonholonomic Integrators
Abstract— This paper addresses the optimal control of nonholonomic systems through provably correct discretization of the system dynamics. The essence of the approach lies in the...
Marin Kobilarov, Gaurav Sukhatme
VTC
2008
IEEE
123views Communications» more  VTC 2008»
14 years 4 months ago
A Low-Complexity Iterative Power Allocation Scheme for Multiuser OFDM Systems
—Multiuser orthogonal frequency division multiplexing (MU-OFDM) is a promising technique for future wide-area mobile communications, which can provide scalable high data rate tra...
Chin-Liang Wang, Chiuan-Hsu Chen