Sciweavers

5481 search results - page 411 / 1097
» Application Analysis for Parallel Processing
Sort
View
219
Voted
ICIP
2009
IEEE
16 years 8 months ago
Combining Multimodal And Temporal Contextual Information For Semantic Video Analysis
In this paper, a graphical modeling-based approach to semantic video analysis is presented for jointly realizing modality fusion and temporal context exploitation. Overall, the ex...
COLING
1990
15 years 8 months ago
Concept Analysis And Terminology: A Knowledge-Based Approach To Documentation
The central concern of terminology, a component of the general documentation process, is concept analysis, an activity which is becoming recognized as fundamental as term banks evo...
Douglas R. Skuce, Ingrid Meyer
174
Voted
ICIAP
2003
ACM
16 years 7 months ago
Camera calibration and 3D reconstruction using interval analysis
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
Benoît Telle, Marie-José Aldon, Nacim...
GC
2004
Springer
16 years 26 days ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
ESOP
1999
Springer
15 years 11 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...