1855 search results - page 155 / 371 » Probabilistic Frame-Based Systems |
178
click to vote
WCET
2008
15 years 7 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
161
click to vote
DMIN
2006
15 years 7 months ago
2006
- As is generally accepted, the most important feature that a Knowledge Discovery in Database (KDD) system must possess is, to be able to discover patterns that are "novel&quo...
163
click to vote
P2P
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper, we propose a probabilistic algorithm for detecting near duplicate text, audio, and video resources efficiently and effectively in large-scale P2P systems. To thi...
156
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
173
click to vote
FLAIRS
2009
15 years 4 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...