4341 search results - page 436 / 869 » Quantitative Model checking |
208
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a novel and robust system for the automated identification of major sulci on cortical surfaces. Using multiscale representation and intrinsic surface mappi...
210
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Recent research in visual inference from monocular images has shown that discriminatively trained image-based predictors can provide fast, automatic qualitative 3D reconstructions...
188
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we propose an efficient method for finding consistent correspondences between two sets of features. Our matching algorithm augments the discriminative pow...
165
click to vote
IAT
2006
IEEE
16 years 28 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
167
click to vote
CIMCA
2005
IEEE
16 years 15 days ago
2005
IEEE
— This paper introduces a quantitative method for social data analysis, which is based on the use of categorical data clustering. More specifically, we employ categorical data cl...