Sciweavers

13895 search results - page 2 / 2779
» Exploration
Sort
View
CAV
2003
Springer
124views Hardware» more  CAV 2003»
13 years 10 months ago
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
CGF
2010
128views more  CGF 2010»
13 years 5 months ago
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
In this paper, we develop an interactive analysis and visualization tool for probabilistic segmentation results in medical imaging. We provide a systematic approach to analyze, in...
Ahmed Saad, Torsten Möller, Ghassan Hamarneh
IPPS
2005
IEEE
13 years 11 months ago
Generic Design Space Exploration for Reconfigurable Architectures
We propose in this paper an original design space exploration method for reconfigurable architectures adapted to fine and coarse grain resources. The exploration flow deals with c...
Lilian Bossuet, Guy Gogniat, Jean Luc Philippe
ICRA
2008
IEEE
112views Robotics» more  ICRA 2008»
13 years 11 months ago
Balancing exploration and exploitation in motion planning
— Computationally efficient motion planning must avoid exhaustive exploration of configuration space. We argue that this can be accomplished most effectively by carefully balan...
Markus Rickert, Oliver Brock, Alois Knoll
CDC
2010
IEEE
13 years 12 days ago
A Switching strategy for robust cooperative exploration
Abstract-- This paper develops a switching strategy for networked mobile sensing agents to automatically decide when to perform individual exploration and when to perform cooperati...
Wencen Wu, Fumin Zhang