Sciweavers

2232 search results - page 20 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
CVPR
2010
IEEE
14 years 23 days ago
Minimum length in the tangent bundle as a model for curve completion
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
Guy Ben-Yosef, Ohad Ben Shahar
MICCAI
2001
Springer
13 years 12 months ago
Deformable Organisms for Automatic Medical Image Analysis
We introduce a new paradigm for automatic medical image analysis that adopts concepts from the field of Artificial Life. Our approach prescribes deformable organisms, autonomous ag...
Ghassan Hamarneh, Tim McInerney, Demetri Terzopoul...
MICCAI
2006
Springer
14 years 8 months ago
Spinal Crawlers: Deformable Organisms for Spinal Cord Segmentation and Analysis
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
Chris McIntosh, Ghassan Hamarneh
CCS
2003
ACM
14 years 19 days ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
WAPCV
2007
Springer
14 years 1 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur