Sciweavers

2263 search results - page 185 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ICFP
2007
ACM
16 years 6 months ago
Termination analysis and call graph construction for higher-order functional programs
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
Damien Sereni
175
Voted
ICFP
2007
ACM
16 years 6 months ago
Relating complexity and precision in control flow analysis
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
David Van Horn, Harry G. Mairson
IGARSS
2010
15 years 28 days ago
Calibrating probabilities for hyperspectral classification of rock types
This paper investigates the performance of machine learning methods for classifying rock types from hyperspectral data. The main objective is to test the impact on classification ...
Sildomar T. Monteiro, Richard J. Murphy
NAACL
2007
15 years 7 months ago
Creating a Knowledge Base from a Collaboratively Generated Encyclopedia
We present our work on using Wikipedia as a knowledge source for Natural Language Processing. We first describe our previous work on computing semantic relatedness from Wikipedia...
Simone Paolo Ponzetto
IJCNLP
2005
Springer
15 years 11 months ago
PP-Attachment Disambiguation Boosted by a Gigantic Volume of Unambiguous Examples
We present a PP-attachment disambiguation method based on a gigantic volume of unambiguous examples extracted from raw corpus. The unambiguous examples are utilized to acquire prec...
Daisuke Kawahara, Sadao Kurohashi