Sciweavers

1819 search results - page 179 / 364
» Computability and Representations of the Zero Set
Sort
View
INFOVIS
2000
IEEE
15 years 11 months ago
Polaris: A System for Query, Analysis and Visualization of Multi-Dimensional Relational Databases
In the last several years, large multi-dimensional databases have become common in a variety of applications such as data warehousing and scientific computing. Analysis and explor...
Chris Stolte, Pat Hanrahan
CGF
2010
198views more  CGF 2010»
15 years 6 months ago
Feature Preserving Mesh Generation from 3D Point Clouds
We address the problem of generating quality surface triangle meshes from 3D point clouds sampled on piecewise smooth surfaces. Using a feature detection process based on the cova...
Nader Salman, Mariette Yvinec, Quentin Méri...
JANCL
2006
105views more  JANCL 2006»
15 years 6 months ago
BDD-based decision procedures for the modal logic K
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
VC
2010
143views more  VC 2010»
15 years 1 months ago
A PDE method for patchwise approximation of large polygon meshes
Abstract Three-dimensional (3D) representations of complex geometric shapes, especially when they are reconstructed from magnetic resonance imaging (MRI) and computed tomography (C...
Yun Sheng, Alexei Sourin, Gabriela González...
CVPR
2006
IEEE
16 years 8 months ago
Composite Templates for Cloth Modeling and Sketching
Cloth modeling and recognition is an important and challenging problem in both vision and graphics tasks, such as dressed human recognition and tracking, human sketch and portrait...
Hong Chen, Zijian Xu, Ziqiang Liu, Song Chun Zhu