674 search results - page 85 / 135 » Arguments and Results |
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
An analysis for the phase transition in a random NK landscape model is given. For the fixed ratio model, NK(n, k, z), Gao and Culberson [17] showed that a random instance generat...
ECAL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The large-scale adoption of computer mediated communication technologies has resulted in what has been described as “mass interaction”, shared discourse between hundreds, thou...