3228 search results - page 345 / 646 » Computationally Sound Proofs |
106
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper shows that the basic Hough transform is implicitly a Bayesian process--that it computes an unnormalized posterior distribution over the parameters of a single shape giv...
117
click to vote
LATIN
2010
Springer
15 years 11 months ago
2010
Springer
We study the error robustness of tilings of the plane. The fundamental question is the following: given a tileset, what happens if we allow a small probability of errors? Are the o...
142
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
131
click to vote
COCO
2009
Springer
15 years 10 months ago
2009
Springer
We prove that poly-sized AC0 circuits cannot distinguish a poly-logarithmically independent distribution from the uniform one. This settles the 1990 conjecture by Linial and Nisan...
243
click to vote
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...