Sciweavers

982 search results - page 178 / 197
» The reflective transformative design process
Sort
View
CAGD
2005
88views more  CAGD 2005»
13 years 8 months ago
An efficient bit allocation for compressing normal meshes with an error-driven quantization
We propose a new wavelet compression algorithm based on the rate-distortion optimization for densely sampled triangular meshes. Exploiting the normal remesher of Guskov et al., th...
Frédéric Payan, Marc Antonini
VC
2008
86views more  VC 2008»
13 years 8 months ago
Material-aware differential mesh deformation using sketching interface
In this paper, we present a material-aware mesh deformation method using a sketching interface. Guided by user-specified material properties, our method can deform the surface mesh...
Hongxin Zhang, Dong Xu, Hujun Bao
VLDB
2002
ACM
118views Database» more  VLDB 2002»
13 years 8 months ago
Translating Web Data
We present a novel framework for mapping between any combination of XML and relational schemas, in which a high-level, userspecified mapping is translated into semantically meanin...
Lucian Popa, Yannis Velegrakis, Renée J. Mi...
UTP
2010
13 years 6 months ago
Unifying Theories in Isabelle/HOL
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkha...
CIKM
2010
Springer
13 years 6 months ago
Fast dimension reduction for document classification based on imprecise spectrum analysis
This paper proposes an algorithm called Imprecise Spectrum Analysis (ISA) to carry out fast dimension reduction for document classification. ISA is designed based on the one-sided...
Hu Guan, Bin Xiao, Jingyu Zhou, Minyi Guo, Tao Yan...