9697 search results - page 374 / 1940 » Intelligent Transportation Systems |
235
click to vote
IADIS
2003
15 years 8 months ago
2003
Intelligent tutoring systems (ITS) provide individualised instruction. They offer many advantages over the traditional classroom scenario: they are always available, non-judgement...
166
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
144
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents an approach to generate structured explanations of system behaviour based on qualitative simulations. This has been implemented in WiziGarp, a domain-independen...
146
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic environments represent a quite complex domain, where the information available changes continuously. In this paper, a contingency response system for dynamic environments c...
149
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the user interface design and evaluation of TransType, a system that watches over the user as he or she types a translation and repeatedly suggests completions...