13917 search results - page 58 / 2784 » Abstraction of Probabilistic Systems |
MLG
2007
Springer
15 years 3 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
SC
2005
ACM
15 years 3 months ago
2005
ACM
ng Abstractions from Resources in a Tactical Storage System Douglas Thain† , Sander Klous∗ , Justin Wozniak† , Paul Brenner† , Aaron Striegel† , Jesus Izaguirre† † - ...
FORTE
2010
14 years 11 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
CORR
2010
Springer
14 years 9 months ago
2010
Springer
ity Abstractions of Rule-based Systems J