Sciweavers

650 search results - page 63 / 130
» Towards automatic model synchronization from model transform...
Sort
View
DBPL
2007
Springer
98views Database» more  DBPL 2007»
14 years 3 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
EUROPAR
2005
Springer
14 years 2 months ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...
SEMWEB
2009
Springer
14 years 3 months ago
Towards a Graphical Notation for OWL 2
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...
CVGIP
2004
175views more  CVGIP 2004»
13 years 9 months ago
A subdivision-based deformable model for surface reconstruction of unknown topology
This paper presents a surface reconstruction algorithm that can recover correct shape geometry as well as its unknown topology from both volumetric images and unorganized point cl...
Ye Duan, Hong Qin
ICMCS
2007
IEEE
124views Multimedia» more  ICMCS 2007»
14 years 3 months ago
Dealing with Degenerate Input in 3D Modeling of Indoor Scenes using Handheld Cameras
3D models have many applications, but automatically building a 3D model from a video is a challenge in practice. Many methods exist for outdoor scenes, but indoor scenes are more ...
Trung Kien Dang, Marcel Worring