627 search results - page 58 / 126 » The Laplace-Jaynes approach to induction |
IJIS
2007
14 years 11 months ago
2007
article we investigate an attribute-oriented induction approach for acquisition of abstract knowledge from data stored in a fuzzy database environment. We utilize a proximity-based...
181
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
86
Voted
CHARME
2001
Springer
15 years 2 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
LREC
2008
15 years 11 days ago
2008
We present an approach for the cross-lingual induction of speech recognition grammars that separates the task of translation from the task of grammar generation. The source speech...
83
Voted
OWLED
2007
15 years 10 days ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...