Sciweavers

1575 search results - page 295 / 315
» A Behavioral Analysis of Computational Models of Visual Atte...
Sort
View
CVBIA
2005
Springer
15 years 11 months ago
Analyzing Anatomical Structures: Leveraging Multiple Sources of Knowledge
Analysis of medical images, especially the extraction of anatomical structures, is a critical component of many medical applications: surgical planning and navigation, and populati...
W. Eric L. Grimson, Polina Golland
LICS
2009
IEEE
16 years 11 days ago
The Structure of First-Order Causality
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
Samuel Mimram
INFOCOM
2011
IEEE
14 years 9 months ago
Describing and forecasting video access patterns
Abstract—Computer systems are increasingly driven by workloads that reflect large-scale social behavior, such as rapid changes in the popularity of media items like videos. Capa...
Gonca Gürsun, Mark Crovella, Ibrahim Matta
CSL
2010
Springer
15 years 6 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
ISBI
2011
IEEE
14 years 9 months ago
Skull-stripping with deformable organisms
Segmenting brain from non-brain tissue within magnetic resonance (MR) images of the human head, also known as skull-stripping, is a critical processing step in the analysis of neu...
Gautam Prasad, Anand A. Joshi, Paul M. Thompson, A...