5964 search results - page 374 / 1193 » A theory of speculative computation |
226
click to vote
ACL
2012
13 years 10 months ago
2012
This work presents a first step to a general implementation of the Semantic-Script Theory of Humor (SSTH). Of the scarce amount of research in computational humor, no research ha...
175
click to vote
SIGCSE
2010
ACM
16 years 2 months ago
2010
ACM
In this paper, we propose a new approach to thinking about and implementing Computer Science curricula in secondary education. The characteristic feature is to organize the items ...
209
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
220
click to vote
CCS
2005
ACM
16 years 1 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
239
click to vote
IJHPCA
2011
15 years 2 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...