Sciweavers

2716 search results - page 480 / 544
» Computational Topology for Shape Modeling
Sort
View
SSD
2005
Springer
145views Database» more  SSD 2005»
14 years 2 months ago
High Performance Multimodal Networks
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...
Erik G. Hoel, Wee-Liang Heng, Dale Honeycutt
ICCAD
1999
IEEE
148views Hardware» more  ICCAD 1999»
14 years 1 months ago
SAT based ATPG using fast justification and propagation in the implication graph
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
Paul Tafertshofer, Andreas Ganz
BMCBI
2010
123views more  BMCBI 2010»
13 years 9 months ago
Decoding HMMs using the k best paths: algorithms and applications
Background: Traditional algorithms for hidden Markov model decoding seek to maximize either the probability of a state path or the number of positions of a sequence assigned to th...
Daniel G. Brown 0001, Daniil Golod
SMA
2008
ACM
149views Solid Modeling» more  SMA 2008»
13 years 8 months ago
Exact arrangements on tori and Dupin cyclides
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...
Eric Berberich, Michael Kerber

Publication
275views
15 years 7 months ago
Line-art Illustration of Dynamic and Specular Surfaces
Line-art illustrations are effective tools for conveying shapes and shading of complex objects. We present a set of new algorithms to render line-art illustrations of dynamic and s...
Yongjin Kim, Jingyi Yu, Xuan Yu, Seungyong Lee