488 search results - page 38 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
AH
2006
Springer
15 years 2 months ago
2006
Springer
Adaptive Hypermedia is utilised in several domains, such as eLearning and professional training, where there is a growing movement towards the use of cognitively richer and more `a...
107
click to vote
DAGSTUHL
2006
15 years 15 days ago
2006
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
SIGSOFT
2002
ACM
15 years 12 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
VLDB
1990
ACM
15 years 3 months ago
1990
ACM
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...
CIA
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...