Sciweavers

1589 search results - page 92 / 318
» Constraints with Variables' Annotations
Sort
View
SARA
2009
Springer
14 years 3 months ago
Tightened Transitive Closure of Integer Addition Constraints
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
Peter Z. Revesz
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
14 years 2 months ago
Towards Automated Gait Generation for Dynamic Systems with Non-holonomic Constraints
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
Elie A. Shammas, Howie Choset, Alfred A. Rizzi
ISCAS
2006
IEEE
106views Hardware» more  ISCAS 2006»
14 years 2 months ago
A novel approach to L2-sensitivity minimization of digital filters subject to L2-scaling constraints
Abstract— This paper proposes a novel approach to L2sensitivity minimization problem of state-space digital filters subject to L2-scaling constraints. The proposed approach redu...
Shunsuke Yamaki, Masahide Abe, Masayuki Kawamata
CSCLP
2005
Springer
14 years 2 months ago
Among, Common and Disjoint Constraints
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
Christian Bessière, Emmanuel Hebrard, Brahi...
CPAIOR
2004
Springer
14 years 2 months ago
Cost Evaluation of Soft Global Constraints
This paper shows that existing definitions of costs associated with soft global constraints are not sufficient to deal with all the usual global constraints. We propose more expre...
Nicolas Beldiceanu, Thierry Petit