577 search results - page 89 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
SAC
2005
ACM
14 years 2 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
POPL
1990
ACM
14 years 1 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
IPMI
2005
Springer
14 years 2 months ago
2005
Springer
Brain MR image segmentation is an important research topic in medical image analysis area. In this paper, we propose an active contour model for brain MR image segmentation, based ...
MICCAI
2007
Springer
14 years 10 months ago
2007
Springer
In functional connectivity analysis, networks of interest are defined based on correlation with the mean time course of a user-selected `seed' region. In this work we propose ...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper we investigate shape and motion retrieval in the context of multi-camera systems. We propose a new lowlevel analysis based on latent silhouette cues, particularly su...