3888 search results - page 464 / 778 » Change-Driven Model Transformations |
186
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
179
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
162
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we describe the implementation of a precise reaching controller on an upper-torso humanoid robot. The solution we propose does not rely on prior models of the ki...
182
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
148
click to vote
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...