Sciweavers

955 search results - page 81 / 191
» A System for Solving Constraint Satisfaction Problems with S...
Sort
View
PODS
2007
ACM
159views Database» more  PODS 2007»
14 years 8 months ago
Generalized hypertree decompositions: np-hardness and tractable variants
The generalized hypertree width GHW(H) of a hypergraph H is a measure of its cyclicity. Classes of conjunctive queries or constraint satisfaction problems whose associated hypergr...
Georg Gottlob, Thomas Schwentick, Zoltán Mi...
SMA
2005
ACM
151views Solid Modeling» more  SMA 2005»
14 years 1 months ago
A constructive approach to calculate parameter ranges for systems of geometric constraints
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...
Hilderick A. van der Meiden, Willem F. Bronsvoort
ICASSP
2011
IEEE
12 years 11 months ago
Power allocation for orthogonal AF relay systems with outage-based QOS constraints
We consider the problem of minimizing the cost of the power required to achieve a specified level of quality-of-service (QoS) on a point-to-point link that may be assisted by an ...
Rooholah Hasanizadeh, Timothy N. Davidson
INFORMS
1998
150views more  INFORMS 1998»
13 years 7 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
CDC
2009
IEEE
200views Control Systems» more  CDC 2009»
14 years 24 days ago
Control of nonlinear systems with full state constraint using a Barrier Lyapunov Function
— This paper presents a control for state-constrained nonlinear systems in strict feedback form to achieve output tracking. To prevent states from violating the constraints, we e...
Keng Peng Tee, Shuzhi Sam Ge