269 search results - page 9 / 54 » Complexity Theory Made Easy |
118
click to vote
ITP
2010
15 years 5 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
149
click to vote
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper we present an Information Theoretic Estimator for the number of sources mutually disjoint in a linear mixing model. The approach follows the Minimum Description Le...
126
Voted
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Code-based cryptography is often viewed as an interesting “Post-Quantum” alternative to the classical number theory cryptography. Unlike many other such alternatives, it has th...
147
Voted
PODC
2012
ACM
13 years 4 months ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
136
click to vote
COMPGEOM
2008
ACM
15 years 3 months ago
2008
ACM
The Delaunay triangulation and its dual the Voronoi diagram are ubiquitous geometric complexes. From a topological standpoint, the connection has recently been made between these ...