Sciweavers

1855 search results - page 62 / 371
» Probabilistic Frame-Based Systems
Sort
View
ICRA
2010
IEEE
123views Robotics» more  ICRA 2010»
14 years 8 months ago
A probabilistic approach to mixed open-loop and closed-loop control, with application to extreme autonomous driving
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...
J. Zico Kolter, Christian Plagemann, David T. Jack...
HYBRID
2011
Springer
13 years 9 months ago
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
Michael D. Lemmon, Xiaobo Sharon Hu
ANLP
2000
163views more  ANLP 2000»
14 years 11 months ago
Automatic construction of parallel English-Chinese corpus for cross-language information retrieval
A major obstacle to the construction of a probabilistic translation model is the lack of large parallel corpora. In this paper we first describe a parallel text mining system that...
Jiang Chen, Jian-Yun Nie
CSFW
2002
IEEE
15 years 2 months ago
Probabilistic Analysis of Anonymity
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
Vitaly Shmatikov
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
14 years 7 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis