2673 search results - page 313 / 535 » Guided Static Analysis |
159
click to vote
CAIP
2005
Springer
15 years 8 months ago
2005
Springer
The goal of the works described in this paper is to improve results produced by an object detector operating independently on each frame of a video document in order to generate a ...
167
click to vote
CSREAESA
2004
15 years 7 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
180
click to vote
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper reviews the modeling of subthreshold leakage current and proposes an improved model for general series-parallel CMOS networks. The presence of on-switches in off-networ...
157
click to vote
BIB
2010
15 years 6 months ago
2010
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
144
click to vote
CGF
2010
2010
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
15 years 6 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...