Sciweavers

1087 search results - page 37 / 218
» Generation under Space Constraints
Sort
View
DAC
2003
ACM
16 years 2 months ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 8 months ago
Distributed motion constraints for algebraic connectivity of robotic networks
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
Michael Schuresko, Jorge Cortés
ISSRE
2007
IEEE
15 years 3 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
IJCV
2002
112views more  IJCV 2002»
15 years 1 months ago
Range Segmentation Using Visibility Constraints
Visibility constraints can aid the segmentation of foreground objects in a scene observed with multiple range imagers. Points may be labeled as foreground if they can be determine...
Leonid Taycher, Trevor Darrell
UAI
2007
15 years 3 months ago
Automatic Generation of Four-part Harmony
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...
Liangrong Yi, Judy Goldsmith