1284 search results - page 159 / 257 » On Helping and Interactive Proof Systems |
GRAPHICSINTERFACE
2003
13 years 11 months ago
2003
Computer games are one of the most successful application domains in the history of interactive systems. This success has come despite the fact that games were ‘separated at bir...
NPAR
2010
ACM
14 years 2 months ago
2010
ACM
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...
UCS
2007
Springer
14 years 4 months ago
2007
Springer
Recognizing activities based on an actor’s interaction with everyday objects is an important research approach within ubiquitous computing. We present a recognition approach whic...
HIP
2005
Springer
14 years 3 months ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...