Sciweavers

4698 search results - page 130 / 940
» Making Functionality More General
Sort
View
114
Voted
JACM
2000
119views more  JACM 2000»
15 years 3 months ago
A minimum spanning tree algorithm with Inverse-Ackermann type complexity
A deterministic algorithm for computing a minimum spanning tree of a connected graph is presented. Its running time is O(m (m, n)), where is the classical functional inverse of Ack...
Bernard Chazelle
143
Voted
HASKELL
2009
ACM
15 years 10 months ago
Types are calling conventions
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
Maximilian C. Bolingbroke, Simon L. Peyton Jones
113
Voted
EUROCRYPT
2009
Springer
16 years 4 months ago
Resettably Secure Computation
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...
Vipul Goyal, Amit Sahai
125
Voted
COMPGEOM
2009
ACM
15 years 10 months ago
Proximity of persistence modules and their diagrams
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
Frédéric Chazal, David Cohen-Steiner...
JMIV
2006
91views more  JMIV 2006»
15 years 3 months ago
Harmonic Embeddings for Linear Shape Analysis
We present a novel representation of shape for closed contours in R2 or for compact surfaces in R3 explicitly designed to possess a linear structure. This greatly simplifies linear...
Alessandro Duci, Anthony J. Yezzi, Stefano Soatto,...