193 search results - page 8 / 39 » Shape Analysis for Composite Data Structures |
EDOC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
CVPR
1997
IEEE
14 years 10 months ago
1997
IEEE
In this paper a novel recursive method for estimating structure and motion from image sequences is presented. The novelty lies in the fact that the output of the algorithm is inde...
CSDA
2006
13 years 8 months ago
2006
We explore different approaches for performing hypothesis tests on the shape of a mean function by developing general methodologies both, for the often assumed, i.i.d. error struc...
JCISE
2002
13 years 8 months ago
2002
Methods to represent and exchange parts consisting of Functionally Graded Material (FGM) for Solid Freeform Fabrication (SFF) with Local Composition Control (LCC) are evaluated ba...
CAV
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...