Sciweavers

2263 search results - page 102 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ICML
1996
IEEE
16 years 2 months ago
Learning Evaluation Functions for Large Acyclic Domains
Some of the most successful recent applications of reinforcement learning have used neural networks and the TD algorithm to learn evaluation functions. In this paper, we examine t...
Justin A. Boyan, Andrew W. Moore
CLA
2007
15 years 3 months ago
Policies Generalization in Reinforcement Learning using Galois Partitions Lattices
The generalization of policies in reinforcement learning is a main issue, both from the theoretical model point of view and for their applicability. However, generalizing from a se...
Marc Ricordeau, Michel Liquiere
AIRS
2006
Springer
15 years 5 months ago
Efficient and Robust Phrase Chunking Using Support Vector Machines
Automatic text chunking is a task which aims to recognize phrase structures in natural language text. It is the key technology of knowledge-based system where phrase structures pro...
Yu-Chieh Wu, Jie-Chi Yang, Yue-Shi Lee, Show-Jane ...
ICGI
1998
Springer
15 years 5 months ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier
TPHOL
1999
IEEE
15 years 5 months ago
Three Tactic Theorem Proving
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
Don Syme