Sciweavers

2263 search results - page 158 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
TPHOL
2007
IEEE
16 years 7 days ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
COLT
2001
Springer
15 years 10 months ago
On Using Extended Statistical Queries to Avoid Membership Queries
The Kushilevitz-Mansour (KM) algorithm is an algorithm that finds all the “large” Fourier coefficients of a Boolean function. It is the main tool for learning decision trees ...
Nader H. Bshouty, Vitaly Feldman
DKE
2000
97views more  DKE 2000»
15 years 5 months ago
Adaptive natural language interfaces to FAQ knowledge bases
In this paper we present a natural language interface architecture, which is used for accessing FAQ knowledge bases. Since one of the main obstacles to the efficient use of natura...
Werner Winiwarter
ICASSP
2011
IEEE
14 years 9 months ago
Robust representations of cortical speech and language information
Cortical recordings with high temporal resolution enable the tracking of neuronal excitation in response to stimuli. Here intra and extracranial recordings are analyzed from exper...
Janet M. Baker, Alexander M. Chan, Ksenija Marinko...
162
Voted
ICML
2009
IEEE
15 years 3 months ago
Multiple indefinite kernel learning with mixed norm regularization
We address the problem of learning classifiers using several kernel functions. On the contrary to many contributions in the field of learning from different sources of information...
Matthieu Kowalski, Marie Szafranski, Liva Ralaivol...