2263 search results - page 157 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
156
click to vote
ECML
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Approximate Policy Iteration (API) is a reinforcement learning paradigm that is able to solve high-dimensional, continuous control problems. We propose to exploit API for...
162
click to vote
JAR
2010
15 years 4 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...
161
click to vote
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, we propose a probabilistic kernel approach to preference learning based on Gaussian processes. A new likelihood function is proposed to capture the preference relat...
171
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
154
click to vote
FSKD
2007
Springer
16 years 4 days ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...