13917 search results - page 10 / 2784 » Abstraction of Probabilistic Systems |
173
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
131
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract - In this paper, we have developed not only a probabilistic sound localization system including VAD (Voice Activity Detection) component using three microphones but also a...
132
Voted
SIGIR
1998
ACM
15 years 8 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
109
click to vote
SAGA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Devices connected wirelessly, in various forms including computers, hand-held devices, ad hoc networks, and embedded systems, are expected to become ubiquitous all around...
127
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...