Skip to search formSkip to main content
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
Is this relevant?
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
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Logic programming languages, such as Prolog, provide a high-level, declarative approach to programming. Logic Programming offers… Expand
  • figure 2.3
  • figure 3.2
  • figure 3.4
  • figure 3.5
  • figure 3.7
Is this relevant?
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
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper we estimate a bargaining model of government formation in parliamentary democracies. We use the estimated… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1989
Highly Cited
1989
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
Is this relevant?