1569 search results - page 252 / 314 » Towards the interactive office |
158
click to vote
AIED
2009
Springer
16 years 13 days 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...
164
click to vote
AIED
2009
Springer
16 years 13 days 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...
178
click to vote
WOLLIC
2009
Springer
16 years 13 days 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...
140
click to vote
ATAL
2009
Springer
16 years 12 days 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...
159
click to vote
CPAIOR
2009
Springer
16 years 12 days 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...