393 search results - page 47 / 79 » Probabilistic Description Logic Programs |
92
Voted
IJCAI
2007
15 years 1 months ago
2007
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
118
click to vote
DAC
2004
ACM
15 years 4 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
87
Voted
PARLE
1992
15 years 4 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
102
click to vote
SSR
2001
15 years 1 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...