4962 search results - page 505 / 993 » Stochastic Model Checking |
161
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
128
click to vote
ACRI
2006
Springer
15 years 10 months ago
2006
Springer
Two-dimensional cellular automata (CA) systems are widely used for modeling spatio-temporal dynamics of evolving populations. Conversely, the logistic equation is a 1-D model descr...
124
click to vote
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
We present an analysis of a person-to-person recommendation network, consisting of 4 million people who made 16 million recommendations on half a million products. We observe the ...
147
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
155
Voted
FGR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a novel approach to robust and flexible person tracking using an algorithm that combines two powerful stochastic modeling techniques: The first one is the tech...