Sciweavers

239 search results - page 25 / 48
» Reusing Model Transformations While Preserving Properties
Sort
View
SGP
2004
15 years 2 months ago
Laplacian Surface Editing
Surface editing operations commonly require geometric details of the surface to be preserved as much as possible. We argue that geometric detail is an intrinsic property of a surf...
Olga Sorkine, Daniel Cohen-Or, Yaron Lipman, Marc ...
INFORMATICALT
2010
110views more  INFORMATICALT 2010»
14 years 10 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
VMCAI
2010
Springer
15 years 9 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
ICIP
2008
IEEE
15 years 6 months ago
Wavelet-based hybrid multilinear models for multidimensional image approximation
The wavelet transform hierarchically decomposes images with prescribed bases, while multilineal models search for optimal bases to adapt visual data. In this paper, we integrate t...
Qing Wu, Chun Chen, Yizhou Yu
PEPM
2007
ACM
15 years 5 months ago
Bidirectional interpretation of XQuery
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
Dongxi Liu, Zhenjiang Hu, Masato Takeichi