1653 search results - page 159 / 331 » Computer science and game theory |
91
Voted
TLCA
2007
Springer
15 years 4 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...
ITICSE
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
CG
2000
Springer
14 years 10 months ago
2000
Springer
Computers have recently emerged as commonplace on the scene in a record number of university art departments. This rapid change has created the need for new curriculum in the comp...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
59
Voted
NN
2008
Springer
14 years 10 months ago
2008
Springer
I address whether neural networks perform computations in the sense of computability theory and computer science. I explicate and defend the following theses. (1) Many neural netw...