2911 search results - page 278 / 583 » A Theory of Expressiveness in Mechanisms |
180
click to vote
FPCA
1995
15 years 10 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
156
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
200
click to vote
AAAI
2010
15 years 8 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
135
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...
176
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper proposes a pedagogical framework for informal language learning services via interactive television. We argue that mapping current language learning theories onto learn...