Sciweavers

671 search results - page 78 / 135
» Semantics Preserving Model Composition
Sort
View
92
Voted
INFORMATICALT
2010
110views more  INFORMATICALT 2010»
15 years 2 days 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»
15 years 5 months 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»
14 years 8 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
14 years 4 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»
15 years 1 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...