2468 search results - page 205 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
132
Voted
IPM
2007
15 years 4 months ago
2007
We describe a compression model for semistructured documents, called Structural Contexts Model (SCM), which takes advantage of the context information usually implicit in the stru...
137
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper describes an unsupervised learning technique for modeling human locomotion styles, such as distinct related activities (e.g. running and striding) or variations of the ...
178
click to vote
IDEAS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we introduce a probabilistic relational data model as the basis for developing multi-agent probabilistic reasoning systems. Since our model subsumes the traditional...
119
click to vote
WMRD
1992
15 years 8 months ago
1992
Modeling the reliability of distributed systems requires a good understanding of the reliability of the components. Careful modeling allows highly fault-tolerant distributed appli...
147
click to vote
CAISE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...