Sciweavers

627 search results - page 46 / 126
» The Laplace-Jaynes approach to induction
Sort
View
AISC
1998
Springer
15 years 3 months ago
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
Brigitte Pientka, Christoph Kreitz
KDD
1994
ACM
98views Data Mining» more  KDD 1994»
15 years 3 months ago
Rule Induction for Semantic Query Optimization
Semantic query optimization can dramatically speed up database query answering by knowledge intensive reformulation. But the problem of how to learn required semantic rules has no...
Chun-Nan Hsu, Craig A. Knoblock
ECAI
2008
Springer
15 years 22 days ago
Word Sense Induction Using Graphs of Collocations
Word Sense Induction (WSI) is the task of identifying the different senses (uses) of a target word in a given text. Traditional graph-based approaches create and then cluster a gra...
Ioannis P. Klapaftis, Suresh Manandhar
ACL
2006
15 years 11 days ago
A Hybrid Relational Approach for WSD - First Results
We present a novel hybrid approach for Word Sense Disambiguation (WSD) which makes use of a relational formalism to represent instances and background knowledge. It is built using...
Lucia Specia
ALT
2003
Springer
15 years 8 months ago
Intrinsic Complexity of Uniform Learning
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
Sandra Zilles