Sciweavers

886 search results - page 78 / 178
» From Detecting Errors to Automatically Correcting Them
Sort
View
CAV
2012
Springer
334views Hardware» more  CAV 2012»
11 years 10 months ago
Joogie: Infeasible Code Detection for Java
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
Stephan Arlt, Martin Schäf
ICIP
2005
IEEE
14 years 1 months ago
Combination of multiple extraction algorithms in the detection of facial features
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...
Spiros Ioannou, Manolis Wallace, Kostas Karpouzis,...
ICIP
2007
IEEE
14 years 9 months ago
A Multi-Layer MRF Model for Object-Motion Detection in Unregistered Airborne Image-Pairs
In this paper, we give a probabilistic model for automatic change detection on airborne images taken with moving cameras. To ensure robustness, we adopt an unsupervised coarse mat...
Csaba Benedek, Tamas Sziranyi, Zoltan Kato, and Jo...
AND
2010
13 years 6 months ago
Reshaping automatic speech transcripts for robust high-level spoken document analysis
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
Julien Fayolle, Fabienne Moreau, Christian Raymond...
SMI
2003
IEEE
142views Image Analysis» more  SMI 2003»
14 years 1 months ago
Approximate Congruence Detection of Model Features for Reverse Engineering
Reverse engineering allows the geometric reconstruction of simple mechanical parts. However, the resulting models suffer from inaccuracies caused by errors in measurement and reco...
C. H. Gao, Frank C. Langbein, A. David Marshall, R...