1855 search results - page 54 / 371 » Probabilistic Frame-Based Systems |
102
click to vote
ECRTS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a probabilistic approach to guarantee the performance of a real-time system. While traditional real-time system analysis tends to guarantee that each task inst...
IROS
2006
IEEE
15 years 3 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...
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
SAGA
2007
Springer
15 years 3 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...
107
click to vote
NFM
2011
14 years 4 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...