Sciweavers

2478 search results - page 385 / 496
» Quadtrees as an Abstract Domain
Sort
View
EDUTAINMENT
2006
Springer
14 years 1 months ago
3D Body Reconstruction from Photos Based on Range Scan
Abstract. We present a data-driven shape model for reconstructing human body models from one or more 2D photos. One of the key tasks in reconstructing the 3D model from image data ...
Hyewon Seo, Young In Yeo, KwangYun Wohn
EKAW
2006
Springer
14 years 1 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
ER
2006
Springer
137views Database» more  ER 2006»
14 years 1 months ago
Preference Functional Dependencies for Managing Choices
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
Wilfred Ng
ESA
2006
Springer
77views Algorithms» more  ESA 2006»
14 years 1 months ago
Traversing the Machining Graph
Abstract. Zigzag pocket machining (or 2D-milling) plays an important role in the manufacturing industry. The objective is to minimize the number of tool retractions in the zigzag m...
Danny Z. Chen, Rudolf Fleischer, Jian Li, Haitao W...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
14 years 1 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...