Sciweavers

1256 search results - page 86 / 252
» Learning to Reason
Sort
View
LEGE
2003
174views Education» more  LEGE 2003»
13 years 11 months ago
An e-Learning platform for SME Manager Upgrade and its Evolution Toward a Distributed Training Environment
The purpose of this paper is to describe the work in progress related to the customisation, the trial and the evaluation of an innovative e-learning platform for manager upgrade i...
Nicola Capuano, Matteo Gaeta, Laura Pappacena
PUK
2000
13 years 11 months ago
An Accessibility graph learning approach for task planning in large domains
Abstract. In the stream of research that aims to speed up practical planners, we propose a new approach to task planning based on Probabilistic Roadmap Methods (PRM). Our contribut...
Emmanuel Guere, Rachid Alami
IVC
2008
101views more  IVC 2008»
13 years 10 months ago
Occlusion analysis: Learning and utilising depth maps in object tracking
Complex scenes such as underground stations and malls are composed of static occlusion structures such as walls, entrances, columns, turnstiles and barriers. Unless this occlusion...
Darrel Greenhill, John-Paul Renno, James Orwell, G...
JAIR
2006
106views more  JAIR 2006»
13 years 10 months ago
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
ILP
2004
Springer
14 years 3 months ago
First Order Random Forests with Complex Aggregates
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...
Celine Vens, Anneleen Van Assche, Hendrik Blockeel...