4131 search results - page 244 / 827 » Compactness in Topology and Computation |
156
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
176
click to vote
3DOR
2009
15 years 7 months ago
2009
We introduce a new 3D shape descriptor which maps the surface features onto an arbitrary template surface using mean-value interpolation. A compact numerical shape descriptor is e...
200
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
Time skewing and loop tiling has been known for a long time to be a highly beneficial acceleration technique for nested loops especially on bandwidth hungry multi-core processors...
181
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
Manifold reconstruction has been extensively studied for the last decade or so, especially in two and three dimensions. Recent advances in higher dimensions have led to new method...
191
click to vote
NSDI
2007
15 years 9 months ago
2007
The lack of an accurate representation of the Internet topology at the Autonomous System (AS) level is a limiting factor in the design, simulation, and modeling efforts in inter-d...