Sciweavers

5203 search results - page 116 / 1041
» An approach to workflow modeling and analysis
Sort
View
ISAS
2004
Springer
15 years 11 months ago
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
Stefano Porcarelli, Felicita Di Giandomenico, Paol...
TMI
1998
166views more  TMI 1998»
15 years 5 months ago
Geodesic Deformable Models for Medical Image Analysis
—In this paper implicit representations of deformable models for medical image enhancement and segmentation are considered. The advantage of implicit models over classical explic...
Wiro J. Niessen, Bart M. ter Haar Romeny, Max A. V...
WSC
2007
15 years 8 months ago
A hybrid epidemic model: combining the advantages of agent-based and equation-based approaches
Agent-based models (ABMs) are powerful in describing structured epidemiological processes involving human behavior and local interaction. The joint behavior of the agents can be v...
Georgiy V. Bobashev, D. Michael Goedecke, Feng Yu,...
CVPR
2008
IEEE
16 years 8 months ago
Correspondence-free multi-camera activity analysis and scene modeling
We propose a novel approach for activity analysis in multiple synchronized but uncalibrated static camera views. We assume that the topology of camera views is unknown and quite a...
Xiaogang Wang, Kinh Tieu, W. Eric L. Grimson
GG
2004
Springer
15 years 11 months ago
Model Checking Graph Transformations: A Comparison of Two Approaches
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
Arend Rensink, Ákos Schmidt, Dániel ...