475 search results - page 47 / 95 » An Overview of Intelligent Tutoring Systems |
COMSIS
2006
14 years 11 months ago
2006
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...
112
click to vote
ACL
2010
14 years 9 months ago
2010
Supporting natural language input may improve learning in intelligent tutoring systems. However, interpretation errors are unavoidable and require an effective recovery policy. We...
SWARM
2010
SPRINGER
14 years 9 months ago
2010
SPRINGER
In the past few years there has been a lot of research on the application of swarm intelligence to the problem of adaptive routing in telecommunications networks. A large number of...
101
Voted
UPP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The increasing scale complexity, heterogeneity and dynamism of networks, systems and applications have made our computational and information infrastructure brittle, unma...
106
click to vote
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...