7988 search results - page 279 / 1598 » A Useful Undecidable Theory |
138
click to vote
RSCTC
2004
Springer
15 years 10 months ago
2004
Springer
We study properties of infomorphisms between information systems. In particular, we interpret infomorphisms between information systems in terms of sums with constraints (constrain...
128
click to vote
COCO
2001
Springer
15 years 9 months ago
2001
Springer
We use hypotheses of structural complexity theory to separate various NP-completeness notions. In particular, we introduce an hypothesis from which we describe a set in NP that is...
182
click to vote
CONTENT
2001
Springer
15 years 9 months ago
2001
Springer
This paper looks at existing computer games and virtual environments from the perspective of film theory and practice. From this, we will draw conclusions about the ways in which ...
147
click to vote
AGTIVE
1999
Springer
15 years 9 months ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
109
click to vote
CW
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper we introduce the concept of transmedial worlds, relating it to genre and adaptation theory, and presenting a framework for how to look for transmedial traits in a wo...