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