2914 search results - page 156 / 583 » Learning and Inference with Constraints |
165
click to vote
IJCAI
1989
15 years 7 months ago
1989
In many applications in mobile robotics, it is important for a robot to explore its environment in order to construct a representation of space useful for guiding movement. We refe...
148
click to vote
ICALT
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper reports MALESAbrain an intelligent online tool for problem-based learning (PBL) in IT education. The learning model of MALESAbrain is built on the notions of threshold ...
136
click to vote
AAAI
1994
15 years 7 months ago
1994
The paper evaluates the eectiveness of learning for speeding up the solution of constraint satisfaction problems. It extends previous work (Dechter 1990) by introducing a new and ...
160
click to vote
ALT
2006
Springer
15 years 10 months ago
2006
Springer
A number of natural models for learning in the limit is introduced to deal with the situation when a learner is required to provide a grammar covering the input even if only a par...
162
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...