Sciweavers

738 search results - page 63 / 148
» Object Orientation and Formal Techniques
Sort
View
MVA
2007
216views Computer Vision» more  MVA 2007»
15 years 5 months ago
Pose estimation for objects with planar surfaces using eigenimage and range data analysis
In this paper we present a novel method for estimating the object pose for 3D objects with welldefined planar surfaces. Specifically, we investigate the feasibility of estimating...
Ovidiu Ghita, Paul F. Whelan, David Vernon, John M...
KI
2002
Springer
15 years 6 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
ACCV
2010
Springer
15 years 1 months ago
An Efficient RANSAC for 3D Object Recognition in Noisy and Occluded Scenes
In this paper, we present an efficient algorithm for 3D object recognition in presence of clutter and occlusions in noisy, sparse and unsegmented range data. The method uses a robu...
Chavdar Papazov, Darius Burschka
ICPR
2000
IEEE
15 years 10 months ago
3D Objects Coding and Recognition Using Surface Signatures
This paper presents a new concept for 3D coding of freeform surfaces. The proposed coding technique uses the surface signature representation scheme [1]. This representation schem...
Sameh M. Yamany, Aly A. Farag
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 6 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer