680 search results - page 58 / 136 » Complexity of Strict Implication |
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
This paper explores the implications and uptakes of game developers’ increasing reliance on the creative labour of fan content creators. It draws on an ethnographic account of A...
HUC
2004
Springer
14 years 2 months ago
2004
Springer
As ubiquitous computing technologies mature, they must move out of laboratory settings and into the everyday world. In the process, they will increasingly be used by heterogeneous ...
SEM
2004
Springer
14 years 2 months ago
2004
Springer
Large-scale information processing applications must rapidly search through high volume streams of structured and unstructured textual data to locate useful information. Content-ba...
TIDSE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents DraMachina, an authoring tool dedicated to authors of interactive fictions. An interactive fiction is an extension of classical narrative media as i...