352 search results - page 38 / 71 » Evaluating the imprecision of static analysis |
119
click to vote
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
Relationships that link static documents discussed during meetings to the corresponding speech transcripts can be of various kinds. The most important ones, thematic links, quotat...
137
click to vote
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a lexical post-processing optimization for handwritten word recognition. The aim of this work is to explore the combination of different lexical postprocessing...
101
click to vote
CGF
2010
2010
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
15 years 2 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...
128
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
141
click to vote
SENSYS
2004
ACM
15 years 7 months ago
2004
ACM
Habitat and environmental monitoring is a driving application for wireless sensor networks. We present an analysis of data from a second generation sensor networks deployed during...