4962 search results - page 556 / 993 » Stochastic Model Checking |
149
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...
145
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Recent findings suggest to split the impulse response of the radio channel into discrete paths and the “diffuse multipath” (DMP). This diffuse part can be describe...
167
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
151
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...
131
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...