13917 search results - page 58 / 2784 » Abstraction of Probabilistic Systems |
127
Voted
MLG
2007
Springer
16 years 3 days ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
145
click to vote
SC
2005
ACM
15 years 11 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† † - ...
128
click to vote
FORTE
2010
15 years 7 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
CORR
2010
Springer
15 years 6 months ago
2010
Springer
ity Abstractions of Rule-based Systems J