Search Sciweavers | Sciweavers

3836 search results - page 62 / 768

» Semantics of Database Transformations

118

click to vote

GMP
2008
IEEE

143views Solid Modeling» more GMP 2008»

Space-Time Curve Analogies for Motion Editing

15 years 3 months ago

Download www.cad.zju.edu.cn

Abstract. This paper presents a method for analogizing high-dimensional spacetime curves, and shows how it can be used to transform a motion sequence into new content and styles ac...

Yuan Wu, Hongxin Zhang, Chao Song, Hujun Bao

claim paper

Read More »

106

Voted

ICFP
2003
ACM

85views Programming Languages» more ICFP 2003»

Reasoning about recursive procedures with parameters

15 years 7 months ago

Download users.abo.fi

In this paper we extend the model of program variables from the Reﬁnement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...

Ralph-Johan Back, Viorel Preoteasa

claim paper

Read More »

150

click to vote

VLDB
2005
ACM

114views Database» more VLDB 2005»

A framework for modeling and evaluating automatic semantic reconciliation

16 years 2 months ago

Download www.dit.unitn.it

Avigdor Gal, Ateret Anaby-Tavor, Alberto Trombetta...

claim paper