529 search results - page 15 / 106 » Property Directed Abstract Interpretation |
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We present an algebraic solution to both direct and featurebased registration of diffusion tensor images under various local deformation models. In the direct case, we sh...
TSP
2010
13 years 2 months ago
2010
Abstract--In this paper, the problem of estimating direction-ofarrival (DOA) of multiple uncorrelated sources from single antenna power measurements is addressed. Utilizing the fac...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. Curves are often used as anatomical features to match surfaces that represent biological objects, such as the human brain. Automated and semi-automated methods for extrac...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
E4MAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper is part of a long term research program on multiagent systems (MASs), based on the proposition that the interactions among the members of a large and heterogen...