1569 search results - page 252 / 314 » Towards the interactive office |
AIED
2009
Springer
15 years 4 months ago
2009
Springer
Researchers of educational technologies are often asked to do the impossible: make students learn and have them enjoy it. These two objectives, though not mutually exclusive, are f...
AIED
2009
Springer
15 years 4 months ago
2009
Springer
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...