7009 search results - page 1227 / 1402 » Patterns in Complex Systems Modeling |
126
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
143
click to vote
CIIA
2009
15 years 3 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
152
click to vote
CIMAGING
2009
15 years 3 months ago
2009
We present a new method for multi-object segmentation in a maximum a posteriori estimation framework. Our method is motivated by the observation that neighboring or coupling objec...
132
click to vote
GISCIENCE
2010
Springer
15 years 3 months ago
2010
Springer
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
150
click to vote
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...