13917 search results - page 121 / 2784 » Abstraction of Probabilistic Systems |
AIPS
2011
14 years 1 months ago
2011
Most predominant approaches in probabilistic planning utilize techniques from the more thoroughly investigated field of classical planning by determinizing the problem at hand. I...
145
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract- IMPrECISE is an XQuery module that adds probabilistic XML functionality to an existing XML DBMS, in our case MonetDBlXQuery. We demonstrate probabilistic XML and data int...
106
click to vote
STOC
1998
ACM
15 years 2 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
POS
1990
Springer
15 years 2 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor