Search Sciweavers | Sciweavers

2610 search results - page 48 / 522

» Computational Probabilistic Non-interference

click to vote

IWVF
2001
Springer

117views Computer Graphics» more IWVF 2001»

Probabilistic Hypothesis Generation for Rapid 3D Object Recognition

14 years 1 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

14 years 1 months ago

Download ipdps.cc.gatech.edu

Michael W. Mislove

claim paper

Read More »

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

14 years 1 months ago

Download www.inf.tu-dresden.de

Christel Baier, Bettina Engelen

claim paper

Read More »

click to vote

STACS
1993
Springer

84views Theoretical Computer Science» more STACS 1993»

A Decomposition Theorem for Probabilistic Transition Systems

14 years 28 days ago

Download www-verimag.imag.fr

Oded Maler

claim paper

Read More »

click to vote

GI
1995
Springer

95views Theoretical Computer Science» more GI 1995»

Probabilistically Checkable Proofs and Applications

14 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers