175 search results - page 22 / 35 » A Modular Approach To Story Generation |
IFIP3
2004
14 years 11 months ago
2004
: The history of computing can be seen in terms of cultural change engendered by philosophical opposition. In education some key philosophical dichotomies are those of commercial-c...
ECTEL
2009
Springer
14 years 7 months ago
2009
Springer
This paper focuses on the production of authoring tools that teachers may use to prototype interactive geographical web applications. We present some computational models and a too...
ICLP
1999
Springer
15 years 1 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
ITP
2010
15 years 1 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
AFRICACRYPT
2009
Springer
14 years 7 months ago
2009
Springer
Graphics processing units (GPU) are increasingly being used for general purpose computing. We present implementations of large integer modular exponentiation, the core of public-ke...