481 search results - page 52 / 97 » The Design of ALPS: An Adaptive Learning and Planning System |
AAAI
2008
15 years 5 days ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
IJCAI
1997
14 years 11 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—An important challenge in mobile sensor networks is to enable energy-efficient communication over a diversity of distances while being robust to wireless effects caused by node...
105
click to vote
AH
2008
Springer
14 years 12 months ago
2008
Springer
The evolution of learning systems brought improvements to the functionality of their components by offering support and mediating learning, communication and collaboration. However...
ECTEL
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...