Sciweavers

2845 search results - page 124 / 569
» Constraints over Ontologies
Sort
View
CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
15 years 6 months ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo
CDC
2010
IEEE
182views Control Systems» more  CDC 2010»
15 years 1 months ago
An approximate dual subgradient algorithm for multi-agent non-convex optimization
We consider a multi-agent optimization problem where agents aim to cooperatively minimize a sum of local objective functions subject to a global inequality constraint and a global ...
Minghui Zhu, Sonia Martínez
CP
2003
Springer
15 years 11 months ago
Constraint-Based Optimization with the Minimax Decision Criterion
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
Craig Boutilier, Relu Patrascu, Pascal Poupart, Da...
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ICPR
2000
IEEE
15 years 11 months ago
Face Detection Based on Generic Local Descriptors and Spatial Constraints
In this paper we present an algorithm for face detection that is based on generic local descriptors (e.g. eyes). A generic descriptor captures the distribution of individual descr...
Veronika Vogelhuber, Cordelia Schmid