1879 search results - page 96 / 376 » Computational geometry algorithms library |
129
click to vote
CF
2008
ACM
15 years 6 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
142
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Computing ”in-place and in-order”FFT poses a very difficult problem on hierarchical memory architectures where data movement can seriously degrade the performance. In this pape...
135
click to vote
CAP
2010
14 years 11 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
124
click to vote
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We generalize basic signal processing tools such as downsampling, upsampling, and filters to irregular connectivity triangle meshes. This is accomplished through the design of a ...
IMR
2005
Springer
15 years 9 months ago
2005
Springer
This paper deals with structured grid generation using Floater’s parametrization algorithm for surface triangulation. It gives an outline of the algorithm in the context of stru...