Sciweavers

1599 search results - page 83 / 320
» Probabilistic Analysis of Anonymity
Sort
View
PAMI
2006
109views more  PAMI 2006»
15 years 4 months ago
Offline Grammar-Based Recognition of Handwritten Sentences
This paper proposes a sequential coupling of a Hidden Markov Model (HMM) recognizer for offline handwritten English sentences with a probabilistic bottom-up chart parser using Sto...
Matthias Zimmermann, Jean-Cédric Chappelier...
137
Voted
INFORMATICALT
2010
94views more  INFORMATICALT 2010»
15 years 1 months ago
Statistical Classification of Scientific Publications
The problem of automatic classification of scientific texts is considered. Methods based on statistical analysis of probabilistic distributions of scientific terms in texts are dis...
Vaidas Balys, Rimantas Rudzkis
CCS
2008
ACM
15 years 6 months ago
Type-checking zero-knowledge
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
Michael Backes, Catalin Hritcu, Matteo Maffei
JAR
2008
88views more  JAR 2008»
15 years 4 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
IPPS
1998
IEEE
15 years 8 months ago
Capturing the Connectivity of High-Dimensional Geometric Spaces by Parallelizable Random Sampling Techniques
Abstract. Finding paths in high-dimensional gemetric spaces is a provably hard problem. Recently, a general randomized planning scheme has emerged as an e ective approach to solve ...
David Hsu, Lydia E. Kavraki, Jean-Claude Latombe, ...