Sciweavers

12148 search results - page 189 / 2430
» Generalized Bundle Methods
Sort
View
AAAI
2007
15 years 5 months ago
Temporal Difference and Policy Search Methods for Reinforcement Learning: An Empirical Comparison
Reinforcement learning (RL) methods have become popular in recent years because of their ability to solve complex tasks with minimal feedback. Both genetic algorithms (GAs) and te...
Matthew E. Taylor, Shimon Whiteson, Peter Stone
96
Voted
ICIP
2003
IEEE
16 years 4 months ago
A method for reassembling fragments in image reconstruction
The reassembly of fragments to reconstruct images and objects is a problem often encountered in several applications, ranging from archeology to medicine. In this paper we present...
Francesco Amigoni, Stefano Gazzani, Simone Podico
118
Voted
CADE
2006
Springer
16 years 2 months ago
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
130
Voted
TSD
2001
Springer
15 years 7 months ago
Method for WordNet Enrichment Using WSD
This paper presents a new method to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two consecutive steps. First,...
Andrés Montoyo, Manuel Palomar, German Riga...
122
Voted
JAR
2002
72views more  JAR 2002»
15 years 2 months ago
Partial Instantiation Methods for Inference in First-Order Logic
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
John N. Hooker, G. Rago, V. Chandru, A. Shrivastav...