125 search results - page 16 / 25 » Process Algebra with Probabilistic Choice |
100
click to vote
ENTCS
2006
14 years 9 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
IR
2008
14 years 9 months ago
2008
The classical Probability Ranking Principle (PRP) forms the theoretical basis for probabilistic Information Retrieval (IR) models, which are dominating IR theory since about 20 ye...
ICMI
2005
Springer
15 years 3 months ago
2005
Springer
Situated, spontaneous speech may be ambiguous along acoustic, lexical, grammatical and semantic dimensions. To understand such a seemingly difficult signal, we propose to model th...
71
Voted
JAR
2006
14 years 9 months ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Classification results obtained using wavelet-based texture analysis techniques vary with the choice of mother wavelet used in the methodology. We discuss the use of mother wavele...