Sciweavers

2032 search results - page 313 / 407
» Encodings of the Sequence Constraint
Sort
View
ENTCS
2007
108views more  ENTCS 2007»
15 years 6 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
NC
2006
15 years 6 months ago
A DNA Superstructure-based Replicator without Product Inhibition
A monomer structure based on a hairpin loop is described that can be linked via short oligonucleotide sequences (linkers) to form polymers. Independence of linked monomers allow fo...
David Y. Zhang, Bernard Yurke
VC
2008
92views more  VC 2008»
15 years 6 months ago
A natural human hand model
We present a skeletal linked model of the human hand that has natural motion. We show how this can be achieved by introducing a new biology-based joint axis that simulates natural ...
Onno A. van Nierop, Aadjan van der Helm, Kees C. J...
COMSIS
2004
110views more  COMSIS 2004»
15 years 6 months ago
Generating XML Based Specifications of Information Systems
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
Miro Govedarica, Ivan Lukovic, Pavle Mogin
IJCV
2002
141views more  IJCV 2002»
15 years 5 months ago
Spatio-Temporal Stereo Using Multi-Resolution Subdivision Surfaces
We present a method to automatically extract spatio-temporal descriptions of moving objects from synchronized and calibrated multi-view sequences. The object is modeled by a time-...
Jan Neumann, Yiannis Aloimonos