Sciweavers

1855 search results - page 15 / 371
» Probabilistic Frame-Based Systems
Sort
View
LICS
2003
IEEE
15 years 2 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
SCL
2008
76views more  SCL 2008»
14 years 9 months ago
Probabilistic output admissible set for systems with time-varying uncertainties
This paper considers time-varying uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set. This set consists of the initial ...
Takeshi Hatanaka, Kiyotsugu Takaba
BIRTHDAY
2008
Springer
14 years 11 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
SIGMOD
2008
ACM
101views Database» more  SIGMOD 2008»
15 years 9 months ago
On Query Algebras for Probabilistic Databases
This article proposes a core query algebra for probabilistic databases. In essence, this core is part of the query languages of most probabilistic database systems proposed so far...
Christoph Koch
ISQED
2006
IEEE
90views Hardware» more  ISQED 2006»
15 years 3 months ago
Monte Carlo-Alternative Probabilistic Simulations for Analog Systems
Probabilistic system simulations for analog circuits have traditionally been handled with Monte Carlo analysis. For a manufacturable design, fast and accurate simulations are nece...
Rasit Onur Topaloglu