Sciweavers

3639 search results - page 277 / 728
» Provenance as Dependency Analysis
Sort
View
AIME
2007
Springer
15 years 11 months ago
Using Temporal Context-Specific Independence Information in the Exploratory Analysis of Disease Processes
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
Stefan Visscher, Peter J. F. Lucas, Ildikó ...
DAGM
2004
Springer
15 years 11 months ago
Differential Analysis of Two Model-Based Vehicle Tracking Approaches
An experimental comparison of `Edge-Element Association (EEA)' and `Marginalized Contour (MCo)' approaches for 3D modelbased vehicle tracking in traffic scenes is complic...
Hendrik Dahlkamp, Arthur E. C. Pece, Artur Ottlik,...
ICCV
1995
IEEE
15 years 11 months ago
A Multi-Body Factorization Method for Motion Analysis
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...
João Paulo Costeira, Takeo Kanade
APN
2008
Springer
15 years 9 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
CRITIS
2007
15 years 9 months ago
An Analysis of Cyclical Interdependencies in Critical Infrastructures
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...
Nils Kalstad Svendsen, Stephen D. Wolthusen