“Memo” Functions and Machine Learning

@article{Michie1968MemoFA,
  title={“Memo” Functions and Machine Learning},
  author={Donald Michie},
  journal={Nature},
  year={1968},
  volume={218},
  pages={19-22}
}
  • D. Michie
  • Published 1968
  • Computer Science
  • Nature
It would be useful if computers could learn from experience and thus automatically improve the efficiency of their own programs during execution. A simple but effective rote-learning facility can be provided within the framework of a suitable programming language. 
Adaptive correction of program statements
TLDR
This method involves principles at present mainly confined to studies in the area of artificial intelligence such as feature extraction, approximate tree matching, and strategy improvement by feedback from the matching process. Expand
A Improving Software Performance with Automatic
utomatic memoization transforms existing procedures in a computer program into versions that “remember” previous computations and thus avoid recalculating the same results or those similar to onesExpand
Systematic Derivation of Incremental Programs
TLDR
A systematic approach is given for deriving incremental programs from non-incremental programs written in a standard functional programming language to provide a degree of incrementality not otherwise achievable by a generic incremental evaluator. Expand
Improving Software Performance with Automatic Memoization
TLDR
The development of a practical automatic memoization library is discussed, how it can be applied, technical obstacles encountered during development, and experiences using it to significantly improve the performance of two large systems in the Submarine Technology Department of the Applied Physics Laboratory are discussed. Expand
Developing a tool for memoizing functions in C++
TLDR
Caching of previously calculated information can transform some exponential time algorithms to run in linear time, and one such space-for-time technique is memoiza t ion. Expand
Self-adjusting Computation with Delta ML
TLDR
The self-adjusting-computation model is described and the language ΔML (Delta ML) for writing self- Adjusting programs is presented. Expand
Memory as a Computational Resource
TLDR
This work reviews the application of mental arithmetic, mental imagery, planning, and probabilistic inference to cognitive science, in four case studies that share a common reliance on memory that enables efficient computation. Expand
Introduction to Functional Programming
TLDR
There has been much hype around Functional Programming in recent years, but many people are not clear as to what Functional Programming is and instead jump into code examples and never really understand some of the key ideas associated with Functional Programming such as Referential Transparency. Expand
An experimental analysis of self-adjusting computation
TLDR
The implementation of a library based onependence graphs and memoization is described, and experimental results on the efficiency of this library on a variety of applications indicate that the approach is effective in practice, often requiring orders of magnitude less time than recomputing the output from scratch. Expand
Inference Rules in Object Oriented Programminh Systems
TLDR
An elegant view of inferential object oriented programming using the concept of rule obedience and rule foci is presented and a novel implementation based on transformation of logic programs into relative set abstractions is suggested to substantiate this claim. Expand
...
1
2
3
4
5
...

References

SHOWING 1-2 OF 2 REFERENCES
THE PROGRAMMING LANGUAGE LISP: ITS OPERATION AND APPLICATIONS,
Abstract : An introduction to LISP is given on an elementary level. Topics covered include the programming system, 240 exercises with solutions, debugging of LISP programs, and styles of programming.Expand
Towards a Theoretical Biology
TLDR
Professor Waddington outlines some of the points discussed at the meetings of the International Union of Biological Sciences, and the essays arising from the first symposium have recently been published under the title Towards a Theoretical Biology. Expand