4835 search results - page 285 / 967 » Refactoring Functional Programs |
138
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. This paper deals with maximum likelihood and least square segmentation of autoregressive random sequences with abruptly changing parameters. Conditional distribution of t...
174
click to vote
JAR
2010
15 years 5 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
154
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
In apprenticeship learning, the goal is to learn a policy in a Markov decision process that is at least as good as a policy demonstrated by an expert. The difficulty arises in tha...
250
click to vote
MMSP
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
226
click to vote
AE
2007
Springer
16 years 27 days ago
2007
Springer
The work presented in this paper is part of the development of a robotic system able to learn context dependent visual clues to navigate in its environment. We focus on the obstacl...