Correctness of Unification without Occur Check in Prolog (1994) [pdf] Continue reading @core.ac.uk | 2 years ago
Some Global Optimizations for a Prolog Comiler (1985) [pdf] Continue reading @core.ac.uk | 3 years ago
Could quantum mechanics be an approximation to another theory? (2006) [pdf] Continue reading @core.ac.uk | 3 years ago
Measuring Universal Intelligence: Towards an Anytime Intelligence Test (2011) Continue reading @core.ac.uk | 4 years ago
Formal Specification of the x86 Instruction Set Architecture [pdf] Continue reading @core.ac.uk | 4 years ago
The world’s largest collection of open access research papers Continue reading @core.ac.uk | 4 years ago
A Direct Optimization Approach to HMM for Single Channel Kinetics [pdf] Continue reading @core.ac.uk | 4 years ago
Automatic Classification of Web Pages into Bookmark Categories [pdf] Continue reading @core.ac.uk | 5 years ago
Clues to the Hidden Nature of de Bruijn Sequences (2000) [pdf] Continue reading @core.ac.uk | 5 years ago
Detection and tracking of moving objects hidden from view [pdf] Continue reading @core.ac.uk | 5 years ago
Learning from Las Vegas: Gambling, Technology, Capitalism, and Addiction [pdf] Continue reading @core.ac.uk | 6 years ago