10568 search results - page 763 / 2114 » Computer Intelligence and Formalization |
158
click to vote
JGS
2000
15 years 7 months ago
2000
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
150
click to vote
NGC
2002
Springer
15 years 7 months ago
2002
Springer
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...
195
click to vote
DIGRA
2003
Springer
16 years 20 days ago
2003
Springer
This essay adopts a formal model of play as semiosis [18] to explore the often dysfunctional role of backstories within computer game design and play. Within this model, backstori...
189
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...
366
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...