3888 search results - page 592 / 778 » Change-Driven Model Transformations |
203
click to vote
IFL
2004
Springer
16 years 12 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
195
Voted
ICAT
2003
IEEE
16 years 9 days ago
2003
IEEE
We have made a computer graphics model of Chang'an City when it was the capital of China during the Tang Dynasty (7-10th century). The real-time rendered images are projected...
241
Voted
SIGGRAPH
2003
ACM
16 years 8 days ago
2003
ACM
Recent years have seen an increased interest in motion capture systems. Current systems, however, are limited to only a few degrees of freedom, so that effectively only the motion...
209
Voted
ECCV
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a new multi-view reconstruction problem called approximate N -view stereo. The goal of this problem is to recover a oneparameter family of volumes that are in...
209
Voted
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...