Sciweavers

3053 search results - page 165 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
ENTCS
1998
105views more  ENTCS 1998»
15 years 3 months ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin
121
Voted
CVPR
2009
IEEE
15 years 10 months ago
Disambiguating the recognition of 3D objects
We propose novel algorithms for the detection, segmentation, recognition, and pose estimation of threedimensional objects. Our approach initially infers geometric primitives to de...
Gutemberg Guerra-Filho
143
Voted
ENTCS
2008
142views more  ENTCS 2008»
15 years 3 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe
127
Voted
ICCV
2001
IEEE
16 years 5 months ago
Structure and Motion from Silhouettes
This paper addresses the problem of recovering structure and motion from silhouettes. Silhouettes are projections of contour generators which are viewpoint dependent, and hence do...
Kwan-Yee Kenneth Wong, Roberto Cipolla
ECCV
2000
Springer
16 years 5 months ago
Color and Scale: The Spatial Structure of Color Images
Abstract. For grey-value images, it is well accepted that the neighborhood rather than the pixel carries the geometrical interpretation. Interestingly the spatial configuration of ...
Jan-Mark Geusebroek, Rein van den Boomgaard, Arnol...