280 search results - page 16 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
98
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
119
click to vote
VMV
2001
15 years 1 months ago
2001
This contribution presents a new class of MRF, that is inspired by methods of statistical physics. The new energy function assumes full-connectivity in the neighborhood system and...
122
Voted
PVLDB
2008
14 years 12 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
100
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...