6047 search results - page 202 / 1210 » Modeling with Extend |
113
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper proposes an interpolating extension to hidden Markov models (HMMs), which allows more accurate modeling of natural sounds sources. The model is able to produce observat...
122
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
124
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
114
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
135
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper addresses the problem of coverage control of a network of mobile sensors. In the current literature, this is commonly formulated as a locational optimization problem...