193 search results - page 31 / 39 » Shape Analysis for Composite Data Structures |
SBIA
1995
Springer
14 years 3 days ago
1995
Springer
ion Framework for Compositional Modeling 36 Diane Chi and Yumi Iwasaki Model Decomposition and Simulation 45 Daniel J. Clancy and Benjamin Kuipers A Distance Measure for Attention ...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
A unified approach for treating the scale selection problem in the anisotropic scale-space is proposed. The anisotropic scale-space is a generalization of the classical isotropic ...
SMI
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper a novel clustering algorithm is proposed, namely Variational Multilevel Mesh Clustering (VMLC). The algorithm incorporates the advantages of both hierarchical and va...
ESCIENCE
2006
IEEE
14 years 7 days ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...