627 search results - page 65 / 126 » The Laplace-Jaynes approach to induction |
165
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
175
Voted
POPL
2006
ACM
15 years 11 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
ECML
1997
Springer
15 years 3 months ago
1997
Springer
We investigate an inherent limitation of top-down decision tree induction in which the continuous partitioning of the instance space progressively lessens the statistical support o...
ISMB
1993
15 years 5 days ago
1993
This paper presents results from an ongoing effort in applying a variety of induction-based methods to the problem of predicting the biological activity of noncongeneric (structu...
85
Voted
DAWAK
1999
Springer
15 years 3 months ago
1999
Springer
One of the most challenging problems in data manipulation in the future is to be able to e ciently handle very large databases but also multiple induced properties or generalizatio...