Sciweavers

220 search results - page 18 / 44
» Preprocessing Techniques for Distributed Constraint Optimiza...
Sort
View
JSAT
2006
134views more  JSAT 2006»
13 years 8 months ago
Pueblo: A Hybrid Pseudo-Boolean SAT Solver
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
Hossein M. Sheini, Karem A. Sakallah
IPPS
2003
IEEE
14 years 1 months ago
Constrained Component Deployment in Wide-Area Networks Using AI Planning Techniques
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
Tatiana Kichkaylo, Anca-Andreea Ivan, Vijay Karamc...
DEDS
2010
108views more  DEDS 2010»
13 years 5 months ago
Timing Control of Switched Systems with Applications to Robotic Marionettes
Abstract We present an optimal timing control formulation for the problem of controlling autonomous puppets. In particular, by appropriately timing the different movements, entire ...
Patrick Martin, Magnus Egerstedt
GLOBECOM
2009
IEEE
14 years 8 days ago
Optimum Allocation of Energy and Spectrum in Power-Controlled Wireless Networks with QoS Constraints
An important performance measure in wireless networks is the manner in which the network can distributively manage its limited energy and spectrum resources, while assuring certain...
Stepán Kucera, Ludek Kucera, Bing Zhang
INFOCOM
2010
IEEE
13 years 6 months ago
Distributed Dynamic Speed Scaling
In recent years we have witnessed a great interest in large distributed computing platforms, also known as clouds. While these systems offer enormous computing power, they are howe...
Rade Stanojevic, Robert Shorten