Sciweavers

52 search results - page 10 / 11
» ml 2002
Sort
View
ICFP
2002
ACM
14 years 9 months ago
Monads for incremental computing
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
Magnus Carlsson
LISP
2002
107views more  LISP 2002»
13 years 9 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
TASLP
2002
96views more  TASLP 2002»
13 years 9 months ago
MAP speaker adaptation of state duration distributions for speech recognition
This paper presents a framework for maximum a posteriori (MAP) speaker adaptation of state duration distributions in hidden Markov models (HMM). Four key issues of MAP estimation, ...
Néstor Becerra Yoma, Jorge Silva Sán...
TIT
2002
91views more  TIT 2002»
13 years 9 months ago
Hidden Markov processes
An overview of statistical and information-theoretic aspects of hidden Markov processes (HMPs) is presented. An HMP is a discrete-time finite-state homogeneous Markov chain observe...
Yariv Ephraim, Neri Merhav
ECCV
2002
Springer
14 years 11 months ago
Multi-scale EM-ICP: A Fast and Robust Approach for Surface Registration
We investigate in this article the rigid registration of large sets of points, generally sampled from surfaces. We formulate this problem as a general Maximum-Likelihood (ML) estim...
Sébastien Granger, Xavier Pennec