Sciweavers

5771 search results - page 173 / 1155
» Learning similarity space
Sort
View
100
Voted
VMCAI
2005
Springer
15 years 6 months ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li
105
Voted
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
15 years 3 months ago
A fast counterexample minimization approach with refutation analysis and incremental SAT
- It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
ShengYu Shen, Ying Qin, Sikun Li
LAMAS
2005
Springer
15 years 6 months ago
Multi-agent Relational Reinforcement Learning
In this paper we report on using a relational state space in multi-agent reinforcement learning. There is growing evidence in the Reinforcement Learning research community that a r...
Tom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice ...
GECCO
2009
Springer
104views Optimization» more  GECCO 2009»
15 years 7 months ago
Sustaining diversity using behavioral information distance
Conventional similarity metrics used to sustain diversity in evolving populations are not well suited to sequential decision tasks. Genotypes and phenotypic structure are poor pre...
Faustino J. Gomez
92
Voted
ICCBR
2007
Springer
15 years 7 months ago
Case-Based Reasoning Adaptation for High Dimensional Solution Space
Case-Based Reasoning (CBR) is a methodology that reuses the solutions of previous similar problems to solve new problems. Adaptation is the most difficult stage in the CBR cycle, e...
Ying Zhang, Panos Louvieris, Maria Petrou