Sciweavers

214 search results - page 39 / 43
» Automatic Correction of Loop Transformations
Sort
View
86
Voted
ER
2007
Springer
74views Database» more  ER 2007»
15 years 6 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
99
Voted
EMSOFT
2005
Springer
15 years 6 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 5 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 5 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...
108
Voted
BIRTHDAY
2007
Springer
15 years 4 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