Sciweavers

1336 search results - page 128 / 268
» Single image tree modeling
Sort
View
CSCLP
2008
Springer
15 years 7 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
158
Voted
CGA
2005
15 years 6 months ago
Bounded Blending for Function-Based Shape Modeling
We propose new analytical formulations of bounded blending operations for the function-based constructive shape modeling. The blending set operations are defined using R-functions...
Galina Pasko, Alexander A. Pasko, Tosiyasu L. Kuni...
FMCAD
2009
Springer
16 years 20 days ago
Software model checking via large-block encoding
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...
CLOR
2006
15 years 9 months ago
What and Where: 3D Object Recognition with Accurate Pose
Abstract. Many applications of 3D object recognition, such as augmented reality or robotic manipulation, require an accurate solution for the 3D pose of the recognized objects. Thi...
Iryna Gordon, David G. Lowe
190
Voted
ICAT
2007
IEEE
15 years 7 months ago
Edge-Based Markerless 3D Tracking of Rigid Objects
In this paper we present a real-time 3D object tracking algorithm based on edges and using a single pre-calibrated camera. During the tracking process, the algorithm is continuous...
Javier Barandiarán, Diego Borro