Sciweavers

682 search results - page 102 / 137
» Measuring Component Performance Using A Systematic Approach ...
Sort
View
JCSC
2002
87views more  JCSC 2002»
13 years 8 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
IJRR
2010
162views more  IJRR 2010»
13 years 7 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...
REX
1991
14 years 8 days 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
CVPR
2006
IEEE
14 years 10 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
13 years 9 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. ...