78 search results - page 7 / 16 » Static Region Analysis for Mercury |
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
AR
2004
13 years 7 months ago
2004
Abstract. This article addresses the problem of localising a static gas source in an indoor environment by a mobile robot. In contrast to previous works, the environment is not art...
CVPR
2000
IEEE
13 years 12 months ago
2000
IEEE
Background modeling is a common component in video surveillance systems and is used to quickly identify regions of interest. To increase the robustness of background subtraction t...
CGF
2010
2010
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
13 years 7 months ago
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...