Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Memoization

Known as: Memoise, Tabling, Memoized function 
In computing, memoization is an optimization technique used primarily to speed up computer programs by storing the results of expensive function… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Virtual reality head-mounted displays (VR HMDs) are attracting users with the promise of full sensory immersion in virtual… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2012
Review
2012
In this paper we survey the main studies dealing with the train timetabling problem in its nominal and robust versions. Roughly… Expand
Review
2011
Review
2011
Abstract The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog… Expand
Highly Cited
2005
Highly Cited
2005
Instruction memoization is a promising technique to reduce the power consumption and increase the performance of future low-end… Expand
  • figure 1
  • table 1
  • figure 2
  • table 3
  • figure 3
Highly Cited
2004
Highly Cited
2004
  • B. Ford
  • POPL '04
  • 2004
  • Corpus ID: 7762102
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular… Expand
  • figure 1
  • table 1
Highly Cited
2000
Highly Cited
2000
We provide a new version of our ziggurat method for generating a random variable from a given decreasing density. It is faster… Expand
  • figure 1
  • figure 2
Highly Cited
1999
Highly Cited
1999
We illustrate the use of logic programming techniques for finite model checking of CTL formulae. We present a technique for… Expand
  • figure 3
Highly Cited
1998
Highly Cited
1998
SLG resolution uses tabling to evaluate nonfloundering normal logic pr ograms according to the well-founded semantics. The SLG… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
1991
Review
1991
Recent developments in artificial intelligence (AI) have led to the use of knowledge-based techniques for solving scheduling… Expand
  • figure 1
  • figure 2
  • table 1
  • table 11
Highly Cited
1989
Highly Cited
1989
  • F. Glover
  • INFORMS J. Comput.
  • 1989
  • Corpus ID: 5617719
This paper presents the fundamental principles underlying tabu search as a strategy for combinatorial optimization problems. Tabu… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4