125 search results - page 20 / 25 » A Natural Language Virtual Tutoring System |
CIE
2004
Springer
14 years 11 months ago
2004
Springer
When dealing with large, distributed systems that use state-of-the-art components, individual components are usually developed in parallel. As development continues, the decouplin...
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
104
click to vote
IFIP
1998
Springer
15 years 4 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
102
click to vote
PRICAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a prototype dialogue system, K2, in which a user can instruct agents through speech input to manipulate various objects in a 3-D virtual world. The agents’ ac...
124
click to vote
SIGUCCS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...