Sciweavers

2899 search results - page 162 / 580
» Dynamic Trees in Practice
Sort
View
123
Voted
ICCAD
2001
IEEE
127views Hardware» more  ICCAD 2001»
15 years 11 months ago
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
Gang Qu
140
Voted
ICCV
2009
IEEE
15 years 16 days ago
Learning with dynamic group sparsity
This paper investigates a new learning formulation called dynamic group sparsity. It is a natural extension of the standard sparsity concept in compressive sensing, and is motivat...
Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas
118
Voted
ICRA
2002
IEEE
94views Robotics» more  ICRA 2002»
15 years 7 months ago
Sensor Planning and Control in a Dynamic Environment
This paper presents an approach to the problem of controlling the configuration of a team of mobile agents equipped with cameras so as to optimize the quality of the estimates de...
John R. Spletzer, Camillo J. Taylor
129
Voted
IROS
2009
IEEE
261views Robotics» more  IROS 2009»
15 years 9 months ago
Probabilistic motion planning among moving obstacles following typical motion patterns
— The paper presents a navigation algorithm for dynamic, uncertain environment. The static environment is unknown, while moving pedestrians are detected and tracked on-line. Pede...
Chiara Fulgenzi, Anne Spalanzani, Christian Laugie...
112
Voted
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 6 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...