247 search results - page 19 / 50 » Perspectives in Probabilistic Verification |
JUCS
2006
13 years 9 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
GIS
2009
ACM
14 years 4 months ago
2009
ACM
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...
CP
2006
Springer
14 years 1 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
IPL
2006
13 years 9 months ago
2006
In the past 5 years, a series of verification algorithms has been proposed for infinite Markov chains that have a finite attractor, i.e., a set that will be visited infinitely oft...
PAMI
2002
13 years 9 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...