Search Sciweavers | Sciweavers

2610 search results - page 48 / 522

» Computational Probabilistic Non-interference

143

click to vote

IWVF
2001
Springer

117views Computer Graphics» more IWVF 2001»

Probabilistic Hypothesis Generation for Rapid 3D Object Recognition

15 years 10 months ago

Download vision.skku.ac.kr

Juneho Yi

claim paper

Read More »

click to vote

IPPS
2000
IEEE

81views Distributed And Parallel Com...» more IPPS 2000»

Models Supporting Nondeterminism and Probabilistic Choice

15 years 10 months ago

Download ipdps.cc.gatech.edu

Michael W. Mislove

claim paper

Read More »

157

click to vote

ARTS
1999
Springer

242views Distributed And Parallel Com...» more ARTS 1999»

Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach

15 years 10 months ago

Download www.inf.tu-dresden.de

Christel Baier, Bettina Engelen

claim paper

Read More »

133

click to vote

STACS
1993
Springer

84views Theoretical Computer Science» more STACS 1993»

A Decomposition Theorem for Probabilistic Transition Systems

15 years 10 months ago

Download www-verimag.imag.fr

Oded Maler

claim paper

Read More »

116

click to vote

GI
1995
Springer

95views Theoretical Computer Science» more GI 1995»

Probabilistically Checkable Proofs and Applications

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers