Sciweavers

1094 search results - page 155 / 219
» On Computing Explanations in Argumentation
Sort
View
DIGRA
2003
Springer
14 years 3 months ago
Games as Technological Entry Point: A Case Study of Uzbekistan
This paper considers cross-cultural patterns of game-playing activities. The paper is part of an overall argument regarding computer games as a possible technological entry point ...
Beth E. Kolko, Alex Thayer
COGSCI
2008
72views more  COGSCI 2008»
13 years 10 months ago
The Tractable Cognition Thesis
The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cogniti...
Iris van Rooij
EUROCRYPT
2009
Springer
14 years 10 months ago
Smashing SQUASH-0
At the RFID Security Workshop 2007, Adi Shamir presented a new challenge-response protocol well suited for RFIDs, although based on the Rabin public-key cryptosystem. This protocol...
Khaled Ouafi, Serge Vaudenay
ICFP
2006
ACM
14 years 10 months ago
Programming monads operationally with Unimo
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
Chuan-Kai Lin
BIRTHDAY
2006
Springer
14 years 1 months ago
Some Varieties of Equational Logic
d Abstract) Gordon Plotkin1, LFCS, School of Informatics, University of Edinburgh, UK. The application of ideas from universal algebra to computer science has long been a major the...
Gordon D. Plotkin