132 search results - page 11 / 27 » ml 2010 |
112
click to vote
ENTCS
2002
15 years 1 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
148
click to vote
PAMI
2010
14 years 8 months ago
2010
We introduce Coherent Point Drift (CPD), a novel probabilistic method for nonrigid registration of point sets. The registration is treated as a Maximum Likelihood (ML) estimation ...
109
click to vote
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
122
click to vote
GLOBECOM
2010
IEEE
14 years 11 months ago
2010
IEEE
As the date rates and bandwidths of communication systems scale up, the cost and power consumption of highprecision (e.g., 8-12 bits) analog-to-digital converters (ADCs) become pro...
102
click to vote
SODA
2010
ACM
15 years 11 months ago
2010
ACM
We consider the problem of detecting a vector of symbols that is being transmitted over a fading multiple?input multiple?output (MIMO) channel, where each symbol is an ?th root of...