Sciweavers

682 search results - page 102 / 137
» Measuring Component Performance Using A Systematic Approach ...
Sort
View
121
Voted
JCSC
2002
87views more  JCSC 2002»
15 years 2 months ago
Power Estimator Development for Embedded System Memory Tuning
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
Frank Vahid, Tony Givargis, Susan Cotterell
158
Voted
IJRR
2010
162views more  IJRR 2010»
15 years 1 months ago
Planning under Uncertainty for Robotic Tasks with Mixed Observability
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...
Sylvie C. W. Ong, Shao Wei Png, David Hsu, Wee Sun...
127
Voted
REX
1991
15 years 6 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
117
Voted
CVPR
2006
IEEE
16 years 4 months ago
Real-Time Visual SLAM with Resilience to Erratic Motion
Simultaneous localisation and mapping using a single camera becomes difficult when erratic motions violate predictive motion models. This problem needs to be addressed when visual...
Mark Pupilli, Andrew Calway
AVSS
2008
IEEE
15 years 2 months ago
An Integrated System for Moving Object Classification in Surveillance Videos
Moving object classification in far-field video is a key component of smart surveillance systems. In this paper, we propose a reliable system for person-vehicle classification whi...
Longbin Chen, Rogerio Feris, Yun Zhai, Lisa M. G. ...