344 search results - page 56 / 69 » Probabilistic Inductive Logic Programming |
97
Voted
CORR
2008
Springer
15 years 19 days ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
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...
95
Voted
PRL
2008
15 years 14 days ago
2008
We present a new model for detection of noun phrases in unrestricted text, whose most outstanding feature is its flexibility: the system is able to recognize noun phrases similar ...
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...
126
Voted
APLAS
2010
ACM
15 years 23 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...