Sciweavers

1798 search results - page 158 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
SAT
2010
Springer
152views Hardware» more  SAT 2010»
15 years 4 months ago
Simple but Hard Mixed Horn Formulas
Abstract. We study simple classes of mixed Horn formulas, in which the structure of the Horn part is drastically constrained. We show that the SAT problem for formulas in these cla...
Gayathri Namasivayam, Miroslaw Truszczynski
MICCAI
2007
Springer
16 years 7 months ago
MCMC Curve Sampling for Image Segmentation
Abstract. We present an algorithm to generate samples from probability distributions on the space of curves. We view a traditional curve evolution energy functional as a negative l...
Ayres C. Fan, John W. Fisher III, William M. Wells...
TVCG
2008
93views more  TVCG 2008»
15 years 6 months ago
Interactive, Internet Delivery of Visualization via Structured Prerendered Multiresolution Imagery
Abstract-We present a novel approach for latency-tolerant remote visualization and rendering where client-side frame rate display performance is independent of source dataset size,...
Jerry Chen, Ilmi Yoon, Wes Bethel
TVCG
2010
126views more  TVCG 2010»
15 years 4 months ago
Modeling Repetitive Motions Using Structured Light
— Obtaining models of dynamic 3D objects is an important part of content generation for computer graphics. Numerous methods have been extended from static scenarios to model dyna...
Yi Xu, Daniel G. Aliaga
CVPR
2005
IEEE
16 years 8 months ago
Cloth Representation by Shape from Shading with Shading Primitives
Cloth is a complex visual pattern with flexible 3D shape and illumination variations. Computing the 3D shape of cloth from a single image is of great interest to both computer gra...
Feng Han, Song Chun Zhu