Sciweavers

132 search results - page 5 / 27
» Multi-resolution Exploration in Continuous Spaces
Sort
View
SIGMETRICS
2002
ACM
13 years 7 months ago
Toward reducing processor simulation time via dynamic reduction of microarchitecture complexity
As processor microarchitectures continue to increase in complexity, so does the time required to explore the design space. Performing cycle
Jeanine Cook, Richard L. Oliver, Eric E. Johnson
CAV
2007
Springer
145views Hardware» more  CAV 2007»
13 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
MM
2005
ACM
219views Multimedia» more  MM 2005»
14 years 28 days ago
Pervasive views: area exploration and guidance using extended image media
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...
Jiang Yu Zheng, Xiaolong Wang
ESA
2010
Springer
246views Algorithms» more  ESA 2010»
13 years 8 months ago
Estimating the Average of a Lipschitz-Continuous Function from One Sample
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...
Abhimanyu Das, David Kempe
ICRA
1994
IEEE
147views Robotics» more  ICRA 1994»
13 years 11 months ago
Provable Strategies for Vision-Guided Exploration in Three Dimensions
An approach is presented for exploring an unknown, arbitrary surface in three-dimensional (3D) space by a mobile robot. The main contributions are (1) an analysis of the capabilit...
Kiriakos N. Kutulakos, Charles R. Dyer, Vladimir J...