Sciweavers

2099 search results - page 65 / 420
» Distributed constraint optimization with structured resource...
Sort
View
121
Voted
AUTOMATICA
2006
74views more  AUTOMATICA 2006»
15 years 3 months ago
Distributed receding horizon control for multi-vehicle formation stabilization
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...
William B. Dunbar, Richard M. Murray
119
Voted
APLAS
2000
ACM
15 years 7 months ago
An Open Environment for Cooperative Equational Solving
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
Tetsuo Ida, Mircea Marin
148
Voted
ER
2007
Springer
163views Database» more  ER 2007»
15 years 9 months ago
Know your Limits: Enhanced XML Modeling with Cardinality Constraints
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...
Sebastian Link, Thu Trinh
144
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Utility-based power control for peer-to-peer cognitive radio networks with heterogeneous QoS constraints
Transmit-power control is a critical task in cognitive radio (CR) networks. In the present contribution, adherence to hierarchies between primary and secondary users in a peer-to-...
Nikolaos Gatsis, Antonio G. Marqués, Georgi...
224
Voted
CP
2009
Springer
16 years 4 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages