D. Michie. `Memo' functions and machine learning. Nature, 218:19--22, 1968. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Caching and Lemmaizing in Model Elimination - Theorem Provers Owen (Correct)
Balancing Reuse Opportunities and Performance Gains with.. - Jian Huang Sun (2002) (1 citation) (Correct)
Memoization in Type-Directed Partial Evaluation - Balat, Danvy (2002) (Correct)
Sharing of Computations - Amtoft (1993) (1 citation) (Correct)
Introducing OBJ - Goguen, Winkler, Meseguer.. (1993) (69 citations) (Correct)
Lightweight Flexible Isolation for Language-based Extensible .. - Daynès, Czajkowski (2002) (3 citations) (Correct)
Incremental Rewriting - van der Meulen (1994) (Correct)
The List Introduction Strategy for the Derivation of Logic.. - Pettorossi, Proietti (2002) (Correct)
Exploiting Upper and Lower Bounds in Top-Down Query.. - Shapiro, Maier.. (2001) (Correct)
Efficient Execution of Compressed Programs - Lefurgy (2000) (1 citation) (Correct)
The List Introduction Strategy for the Derivation of Logic.. - Pettorossi, Proietti (Correct)
Turning Relational DBMS into Nested Relational DBMS - Chen, Wong (Correct)
Algorithmic Power from Declarative Use of Redundant Constraints - van Emden (1999) (1 citation) (Correct)
Forms/3: A First-Order Visual Language to Explore.. - Burnett, Atwood.. (2001) (6 citations) (Correct)
Exploiting Upper and Lower Bounds in Top-Down Query.. - Shapiro, Maier.. (2001) (Correct)
Evaluating DTM in a Superscalar Processor Architecture - Amarildo Da Costa (Correct)
The Dynamic Trace Memoization Reuse Technique - Costa, Franca, Filho (2000) (Correct)
On Normal Forms and Equivalence for Logic Programs - Harland (1992) (Correct)
Theory of Partial-Order Programming - Osorio, Jayaraman, al. (1995) (1 citation) (Correct)
Avoiding Infinite Loops in Rule-Based Systems with Backward.. - Bogunovic (Correct)
Structural Properties of Logic Programs - Harland (Correct)
Using Automatic Memoization as a Software Engineering Tool .. - Mayfield, Hall, Finin (1994) (1 citation) (Correct)
Using Automatic Memoization as a Software Engineering Tool .. - Mayfield, Finin, Hall (1995) (1 citation) (Correct)
Synchronisation Analysis to Stop Tupling - Chin, Khoo, Lee (1998) (2 citations) (Correct)
Calculating Accumulations - Hu, Iwasaki, Takeichi (1999) (2 citations) (Correct)
Hardware Memoization of Mathematical and Trigonometric Functions - Citron, Feitelson (2000) (1 citation) (Correct)
The Organization of Lookup Tables in Instruction Memoization - Daniel Citron Dror (2000) (3 citations) (Correct)
The LDL System Prototype - Chimenti, Gamboa, Krishnamurthy.. (1990) (33 citations) (Correct)
Recursive Program Optimization Through Inductive.. - Peter Madden.. (1999) (1 citation) (Correct)
Lawful functions and program verification in Miranda - Thompson (1992) (1 citation) (Correct)
Constraint Systems for Useless Variable Elimination - Wand, Siveroni (1999) (22 citations) (Correct)
Unlimp - Uniqueness as a Leitmotiv for Implementation - Kahrs (1992) (7 citations) (Correct)
Static Type Inference in a Dynamically Typed Language - Aiken, Murphy (1991) (44 citations) (Correct)
Using Types to Parse Natural Language - Jones, Hudak, Shaumyan (1995) (Correct)
Analysis and Caching of Dependencies - Mart'in Abadi Digital (Correct)
Adaptive Functional Programming - Umut Acar Guy (2001) (2 citations) (Correct)
Adaptive Memoization - Umut Acar Guy (Correct)
Adaptive Memoization - Umut Acar Guy (Correct)
Selective Memoization - Umut Acar Guy (2003) (1 citation) (Correct)
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) (Correct)
Adaptive Memoization - Acar, Blelloch, Harper (2004) (Correct)
Adaptive Memoization - Acar, Blelloch, Harper (2003) (Correct)
A Compiler Scheme for Reusing Intermediate Computation Results - Ding, Li (2004) (Correct)
Adaptive Memoization - Umut Acar Guy (Correct)
Selective Memoization - Umut Acar Guy (2003) (1 citation) (Correct)
Balancing Reuse Opportunities and Performance Gains with.. - Jian Huang Sun (2002) (1 citation) (Correct)
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) (Correct)
Calculating Accumulations - Hu, Iwasaki, Takeichi (1999) (2 citations) (Correct)
Improving Software Performance with Automatic Memoization - Hall, McNamee (1997) (2 citations) (Correct)
Modula-3 as a Database Programming Language - Stansifer (1994) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC