Sciweavers

9841 search results - page 686 / 1969
» Distributed Value Functions
Sort
View
ASPDAC
2005
ACM
117views Hardware» more  ASPDAC 2005»
16 years 1 months ago
Dynamic symmetry-breaking for improved Boolean optimization
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
ASAP
2008
IEEE
93views Hardware» more  ASAP 2008»
16 years 1 months ago
Memory copies in multi-level memory systems
Data movement operations, such as the C-style memcpy function, are often used to duplicate or communicate data. This type of function typically produces a significant amount of o...
Pepijn J. de Langen, Ben H. H. Juurlink
ACIVS
2007
Springer
16 years 1 months ago
Joint Tracking and Segmentation of Objects Using Graph Cuts
This paper presents a new method to both track and segment objects in videos. It includes predictions and observations inside an energy function that is minimized with graph cuts. ...
Aurélie Bugeau, Patrick Pérez
PERVASIVE
2005
Springer
16 years 29 days ago
Task Partitioning in Smart Environments
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
Markus Ritala, Jukka Vanhala
ICRA
2002
IEEE
176views Robotics» more  ICRA 2002»
16 years 12 days ago
Coverage Control for Mobile Sensing Networks
— This paper describes decentralized control laws for the coordination of multiple vehicles performing spatially distributed tasks. The control laws are based on a gradient desce...
Jorge Cortés, Sonia Martínez, Timur ...