Sciweavers

337 search results - page 8 / 68
» On Weak Markov's Principle
Sort
View
104
Voted
AML
2002
69views more  AML 2002»
15 years 12 days ago
Transfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
J. Avigad, Jeremy Helzner
94
Voted
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
15 years 7 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
ATAL
2011
Springer
14 years 16 days ago
Towards a unifying characterization for quantifying weak coupling in dec-POMDPs
Researchers in the field of multiagent sequential decision making have commonly used the terms “weakly-coupled” and “loosely-coupled” to qualitatively classify problems i...
Stefan J. Witwicki, Edmund H. Durfee
127
Voted
TIP
2008
169views more  TIP 2008»
15 years 13 days ago
Weakly Supervised Learning of a Classifier for Unusual Event Detection
In this paper, we present an automatic classification framework combining appearance based features and Hidden Markov Models (HMM) to detect unusual events in image sequences. One...
Mark Jager, Christian Knoll, Fred A. Hamprecht
92
Voted
MOR
2006
60views more  MOR 2006»
15 years 15 days ago
Measure-Valued Differentiation for Stationary Markov Chains
: We study general state-space Markov chains that depend on a parameter, say, . Sufficient conditions are established for the stationary performance of such a Markov chain to be di...
Bernd Heidergott, Arie Hordijk, Heinz Weisshaupt