Hakutulokset: Hakutulos
yhteensä 16 hakutulosta
A Proof Theory for General Unification
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and …
Learning and Geometry: Computational Approaches
The field of computational learning theory arose out of the desire to for mally understand the process of learning. As potential applications to artificial intelligence became …
The Evolution of Programs
-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging …
Lecture Notes on Bucket Algorithms
Hashing algorithms scramble data and create pseudo-uniform data distribu- tions. Bucket algorithms operate on raw untransformed data which are parti- tioned Into groups according …