1599 search results - page 246 / 320 » Statistic Analysis for Probabilistic Processes |
164
click to vote
HYBRID
2010
Springer
16 years 20 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
182
click to vote
ENC
2007
IEEE
16 years 15 days ago
2007
IEEE
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...
154
click to vote
ASIAN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
168
click to vote
3DIM
2005
IEEE
15 years 11 months ago
2005
IEEE
Multimedia projectors and cameras make possible the use of structured light to solve problems such as 3D reconstruction, disparity map computation and camera or projector calibrat...
158
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the problem of neighbor discovery in static wireless ad hoc networks with directional antennas. We propose several probabilistic algorithms in which nodes perform rand...