Sciweavers

1094 search results - page 155 / 219
» On Computing Explanations in Argumentation
Sort
View
98
Voted
DIGRA
2003
Springer
15 years 9 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»
15 years 4 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
16 years 4 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
126
Voted
ICFP
2006
ACM
16 years 3 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
124
Voted
BIRTHDAY
2006
Springer
15 years 7 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