Sciweavers

2343 search results - page 165 / 469
» Visual-Concept Search Solved
Sort
View
ICML
2002
IEEE
16 years 5 months ago
Discovering Hierarchy in Reinforcement Learning with HEXQ
An open problem in reinforcement learning is discovering hierarchical structure. HEXQ, an algorithm which automatically attempts to decompose and solve a model-free factored MDP h...
Bernhard Hengst
TPHOL
2007
IEEE
15 years 11 months ago
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
Lukas Bulwahn, Alexander Krauss, Tobias Nipkow
144
Voted
SEMWEB
2007
Springer
15 years 11 months ago
A Survey and Categorization of Ontology Matching Cases
Methodologies to find and evaluate solutions for ontology matching should be centered on the practical problems to be solved. In this paper we look at matching from the perspectiv...
Zharko Aleksovski, Willem Robert van Hage, Antoine...
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
15 years 10 months ago
Ant Colony Programming for Approximation Problems
Abstract. A method of automatic programming, called genetic programming, assumes that the desired program is found by using a genetic algorithm. We propose an idea of ant colony pr...
Mariusz Boryczka, Zbigniew J. Czech, Wojciech Wiec...
139
Voted
LSO
2001
Springer
15 years 9 months ago
Skills Management as Knowledge Technology in a Software Consultancy Company
This paper presents a skills management system in a medium-sized software consulting company, and how it is used. We found four different types of usage: Searching for competence t...
Torgeir Dingsøyr, Emil Røyrvik