argufier

Catherine De' Medici - Part 1. The Calvinist Martyr - Chapter 13. Calvin
Three generative, lexicalised models for statistical parsing
CCured: type-safe retrofitting of legacy code
Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
Ontogeny, Phylogeny, Paleontology, and the Biogenetic Law
Manifest Types, Modules, and Separate Compilation
Beyond Amplification: Using the computer to Reorganize Mental Functioning
Problem-Solving Skill in the Social Sciences
Generalized Inference with Multiple Semantic Role Labeling Systems
Object-oriented programming: an objective sense of style