Sciweavers

4106 search results - page 695 / 822
» A Computational Model for Metric Spaces
Sort
View
DATE
2010
IEEE
182views Hardware» more  DATE 2010»
15 years 11 months ago
DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...
Nabeel Iqbal, M. A. Siddique, Jörg Henkel
ICPR
2000
IEEE
15 years 11 months ago
Locale-Based Visual Object Retrieval under Illumination Change
Providing a user with an effective image search engine has been a very active research area. A search by an object model is considered to be one of the most desirable and yet difï...
Zinovi Tauber, Ze-Nian Li, Mark S. Drew
ICRA
2000
IEEE
108views Robotics» more  ICRA 2000»
15 years 11 months ago
Deformable Volumes in Path Planning Applications
This paper addresses the problem of path planning for a class of deformable volumes under fairly general manipulation constraints. The underlying geometric model for the volume is...
Elliot Anshelevich, Scott Owens, Florent Lamiraux,...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
Stavros Tripakis, Karine Altisen
ICCAD
1994
IEEE
144views Hardware» more  ICCAD 1994»
15 years 10 months ago
Power analysis of embedded software: a first step towards software power minimization
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
Vivek Tiwari, Sharad Malik, Andrew Wolfe