Sciweavers

214 search results - page 39 / 43
» Automatic Correction of Loop Transformations
Sort
View
ER
2007
Springer
74views Database» more  ER 2007»
15 years 8 months ago
Schema Exchange: A Template-Based Approach to Data and Metadata Translation
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
Paolo Papotti, Riccardo Torlone
EMSOFT
2005
Springer
15 years 8 months ago
Synchronization of periodic clocks
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
Albert Cohen, Marc Duranton, Christine Eisenbeis, ...
SI3D
2003
ACM
15 years 7 months ago
Direct manipulation of interactive character skins
Geometry deformations for interactive animated characters are most commonly achieved using a skeleton-driven deformation technique called linear blend skinning. To deform a vertex...
Alex Mohr, Luke Tokheim, Michael Gleicher
SIGIR
2003
ACM
15 years 7 months ago
Fuzzy translation of cross-lingual spelling variants
We will present a novel two-step fuzzy translation technique for cross-lingual spelling variants. In the first stage, transformation rules are applied to source words to render th...
Ari Pirkola, Jarmo Toivonen, Heikki Keskustalo, Ka...
BIRTHDAY
2007
Springer
15 years 6 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch