3691 search results - page 415 / 739 » Bayesian Logic Programs |
171
click to vote
IPPS
2007
IEEE
16 years 29 days 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...
191
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
146
click to vote
VISSOFT
2005
IEEE
16 years 7 days ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
191
click to vote
TYPES
2004
Springer
16 years 15 hour ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
154
click to vote
APPT
2003
Springer
15 years 12 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...