Sciweavers

2593 search results - page 128 / 519
» Algorithms and Data Structures for Computer Topology
Sort
View
COMPGEOM
2010
ACM
15 years 10 months ago
Adding one edge to planar graphs makes crossing number hard
A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show that it is NP-hard to compute the crossing number of near-planar graphs. The main idea ...
Sergio Cabello, Bojan Mohar
ICPR
2006
IEEE
16 years 6 months ago
Structural flow smoothing for shape interpolation
This paper presents a comparative study of robust diffusion algorithms when used for smoothing structural fields applied in volumetric image interpolation. The input data consists...
Adrian G. Bors, Ashish Doshi
ICCAD
1999
IEEE
148views Hardware» more  ICCAD 1999»
15 years 9 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
VISUALIZATION
1997
IEEE
15 years 9 months ago
Multiresolution tetrahedral framework for visualizing regular volume data
We present a multiresolution framework, called Multi-Tetra framework, that approximates volume data with different levelsof-detail tetrahedra. The framework is generated through a...
Yong Zhou, Baoquan Chen, Arie E. Kaufman
ESA
1998
Springer
162views Algorithms» more  ESA 1998»
15 years 8 months ago
External Memory Algorithms
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
Jeffrey Scott Vitter