2436 search results - page 43 / 488 » Comonadic Notions of Computation |
DIGRA
2005
Springer
14 years 3 months ago
2005
Springer
A general technique is proposed to deal with the formalization of intuition and human-oriented concepts in competition thinking games like chess, such as defensive play, attack, t...
TACS
2001
Springer
14 years 2 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
COBUILD
1998
Springer
14 years 1 months ago
1998
Springer
Traditional graphical user interfaces (GUIs) are mainly designed for an environment consisting of a single display and a set of single input devices. However, in the near future we...
WSPI
2004
13 years 11 months ago
2004
Abstract. The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential...
CRIWG
2000
13 years 11 months ago
2000
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...