Sciweavers

5336 search results - page 331 / 1068
» Steerable part models
Sort
View
CHI
2002
ACM
16 years 8 months ago
Sketching annotations in a 3D web environment
Collaborative design review is an important part of architectural design work. The Space Pen system supports annotation and drawing on (and inside) 3D VRML/Java models using a reg...
Thomas Jung, Mark D. Gross, Ellen Yi-Luen Do
CADE
2003
Springer
16 years 8 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow
KDD
2009
ACM
190views Data Mining» more  KDD 2009»
16 years 2 months ago
Algebraic visual analysis: the Catalano phone call data set case study
While many clever techniques have been proposed for visual analysis, most of these are “one of” and it is not easy to see how to combine multiple techniques. We propose an alg...
Anna A. Shaverdian, Hao Zhou, George Michailidis, ...
IAT
2007
IEEE
16 years 1 months ago
Agent Based Arabic Language Understanding
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
Muhammad Taha, Tarek Helmy, Reda Abo Alez
IBPRIA
2007
Springer
16 years 1 months ago
Locating and Segmenting 3D Deformable Objects by Using Clusters of Contour Fragments
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
Manuel J. Marín-Jiménez, Nicolas P&e...