180 search results - page 14 / 36 » ml 2007 |
108
Voted
ML
2007
ACM
15 years 2 months ago
2007
ACM
In this paper, we continue our study of learning an optimal kernel in a prescribed convex set of kernels, [18]. We present a reformulation of this problem within a feature space e...
121
Voted
ML
2007
ACM
15 years 2 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
137
Voted
JFP
2007
15 years 3 months ago
2007
We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, ...
116
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
111
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— In this paper, we have investigated the maximumlikelihood (ML) receivers for the fast frequency-hopped binary frequency-shift-keying (FFH/BFSK) spread-spectrum communic...