Sciweavers

305 search results - page 51 / 61
» Conditional Mapping in Data Mediation
Sort
View
DGCI
2000
Springer
14 years 2 months ago
Deformable Modeling for Characterizing Biomedical Shape Changes
Abstract. We present a new algorithm for modeling and characterizing shape changes in 3D image sequences of biomedical structures. Our algorithm tracks the shape changes of the obj...
Matthieu Ferrant, Benoit M. Macq, Arya Nabavi, Sim...
IPPS
1997
IEEE
14 years 2 months ago
Semantics and Implementation of a Generalized forall Statement for Parallel Languages
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and speciļ¬es which computations can...
Paul Dechering, Leo C. Breebaart, Frits Kuijlman, ...
CVPR
2010
IEEE
14 years 1 months ago
Metric-Induced Optimal Embedding for Intrinsic 3D Shape Analysis
For various 3D shape analysis tasks, the LaplaceBeltrami(LB) embedding has become increasingly popular as it enables the efficient comparison of shapes based on intrinsic geometry...
Rongjie Lai, Yonggang Shi, Kevin Scheibel, Scott F...
FORTE
2008
13 years 11 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
NIPS
2003
13 years 11 months ago
Human and Ideal Observers for Detecting Image Curves
This paper compares the ability of human observers to detect target image curves with that of an ideal observer. The target curves are sampled from a generative model which speciļ...
Alan L. Yuille, Fang Fang, Paul R. Schrater, Danie...