1317 search results - page 96 / 264 » context 2005 |
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
AAI
2005
13 years 8 months ago
2005
This paper is about people. It is about understanding how learning and communication mutually influence one another; allowing people to infer each other's communicative behavi...
AIEDU
2005
13 years 8 months ago
2005
The paper discusses ITS architectures in terms of patterns that exist within them. The concept of patterns has received surprisingly little attention so far from researchers in the...