1667 search results - page 69 / 334 » Extended clause learning |
143
Voted
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
Similarity search, namely, finding approximate nearest neighborhoods, is the core of many large scale machine learning or vision applications. Recently, many research results dem...
172
Voted
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
142
Voted
ICMLA
2010
15 years 17 days ago
2010
Abstract--Learning multiple related tasks from data simultaneously can improve predictive performance relative to learning these tasks independently. In this paper we propose a nov...
110
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, we propose a reinforcement learning approach to address multi-robot cooperative navigation tasks in infinite settings. We propose an algorithm to simultaneously...
134
Voted
AIED
2005
Springer
15 years 8 months ago
2005
Springer
An important but often neglected aspect in Computer Supported Collaborative Learning is the intelligent formation of learning groups. Until recently, support for group formation wa...