Sciweavers

671 search results - page 78 / 135
» Semantics Preserving Model Composition
Sort
View
INFORMATICALT
2010
110views more  INFORMATICALT 2010»
13 years 7 months ago
Exemplar-Based Image Completion Model Employing PDE Corrections
To suitably complete an image without seams, block effects, and artifacts, a novel exemplar-based image completion model employing partial differential equation (PDE) is proposed. ...
Jiying Wu, Qiuqi Ruan, GaoYun An
SDB
1995
95views Database» more  SDB 1995»
14 years 11 days ago
Semantics of Database Transformations
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
Peter Buneman, Susan B. Davidson, Anthony Kosky
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 3 months ago
From IF to BI: a tale of dependence and separation
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
Samson Abramsky, Jouko A. Väänänen
PLDI
2011
ACM
12 years 11 months ago
Safe optimisations for shared-memory concurrent programs
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
Jaroslav Sevcík
CVGIP
2006
171views more  CVGIP 2006»
13 years 8 months ago
Breathe easy: Model and control of human respiration for computer animation
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
Victor B. Zordan, Bhrigu Celly, Bill Yuan-chi Chiu...