Sciweavers

294 search results - page 23 / 59
» A Formal Model of Service-Oriented Design Structure
Sort
View
ICCV
2001
IEEE
15 years 11 months ago
Articulated Soft Objects for Video-based Body Modeling
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
Pascal Fua, Ralf Plänkers
DOCENG
2004
ACM
15 years 3 months ago
On modular transformation of structural content
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
Tyng-Ruey Chuang, Jan-Li Lin
JUCS
2010
152views more  JUCS 2010»
14 years 4 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
ESSLLI
1999
Springer
15 years 2 months ago
Towards Discontinuous Grammar
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
Matthias T. Kromann
OWLED
2008
14 years 11 months ago
Representing Product Designs Using a Description Graph Extension to OWL 2
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
Henson Graves