Sciweavers

1093 search results - page 130 / 219
» Crossover in Probability Spaces
Sort
View
106
Voted
EOR
2006
70views more  EOR 2006»
15 years 3 months ago
Search allocation game
This paper deals with a multi-stage two-person zero-sum game called the multi-stage search allocation game (MSSAG), in which a searcher and an evader participate. The searcher dist...
Ryusuke Hohzaki
163
Voted
IANDC
2006
117views more  IANDC 2006»
15 years 3 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
126
Voted
ENTCS
2007
123views more  ENTCS 2007»
15 years 3 months ago
Labelled Markov Processes as Generalised Stochastic Relations
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
Michael W. Mislove, Dusko Pavlovic, James Worrell
115
Voted
JUCS
2006
124views more  JUCS 2006»
15 years 3 months ago
Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM
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...
Wan Fokkink, Jun Pang
148
Voted
PAMI
2006
233views more  PAMI 2006»
15 years 3 months ago
Model-Based Hand Tracking Using a Hierarchical Bayesian Filter
This paper sets out a tracking framework, which is applied to the recovery of threedimensional hand motion from an image sequence. The method handles the issues of initialization,...
Björn Stenger, Arasanathan Thayananthan, Phil...