Sciweavers

1445 search results - page 33 / 289
» Properties of state spaces and their applications
Sort
View
VMCAI
2010
Springer
16 years 3 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
LCN
2006
IEEE
16 years 4 days ago
Enhanced Network-State Estimation using Change Detection
This paper presents the concept of change detection for filter-based network-state estimation. This could be useful in various contexts; two examples are network management and ad...
Erik Hartikainen, Svante Ekelin
UAI
2000
15 years 7 months ago
Probabilistic State-Dependent Grammars for Plan Recognition
Techniques for plan recognition under uncertainty require a stochastic model of the plangeneration process. We introduce probabilistic state-dependent grammars (PSDGs) to represen...
David V. Pynadath, Michael P. Wellman
ICASSP
2009
IEEE
16 years 26 days ago
Time-space-sequential algorithms for distributed Bayesian state estimation in serial sensor networks
We consider distributed estimation of a time-dependent, random state vector based on a generally nonlinear/non-Gaussian state-space model. The current state is sensed by a serial ...
Ondrej Hlinka, Franz Hlawatsch
JMIV
2006
100views more  JMIV 2006»
15 years 6 months ago
Mixed-State Auto-Models and Motion Texture Modeling
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
Patrick Bouthemy, C. Hardouin, Gwenaëlle Piri...