Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,052,926 papers from all fields of science
Search
Sign In
Create Free Account
Memoization
Known as:
Memoise
, Tabling
, Memoized function
Expand
In computing, memoization is an optimization technique used primarily to speed up computer programs by storing the results of expensive function…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Aho–Corasick algorithm
Backtracking
Bottom-up parsing
CPU cache
Expand
Broader (1)
Computer performance
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Stochastic Learning for SAT- Encoded Graph Coloring Problems
N. Bouhmala
,
Ole-Christoffer Granmo
International Journal of Applied Metaheuristic…
2010
Corpus ID: 5661688
The graph coloring problem (GCP) is a widely studied combinatorial optimization problem due to its numerous applications in many…
Expand
Highly Cited
2006
Highly Cited
2006
An efficient two-scale model for the computation of thermal emission and atmospheric reflection from the sea surface
J. Johnson
IEEE Transactions on Geoscience and Remote…
2006
Corpus ID: 11769590
An efficient implementation of the two-scale model of sea surface thermal emission and atmospheric reflection is described. The…
Expand
2006
2006
Naming and Shaming: The Sorry Tale of Security Council Resolution 1530 (2004)
Thérèse O'Donnell
2006
Corpus ID: 142990589
Security Council Resolution 1530, adopted within hours of the Madrid bombings on 11 March 2003, should give international lawyers…
Expand
2005
2005
Redressing the democratic deficit in treaty law making: (Re-) establishing a role for Parliament
J. Harrington
2005
Corpus ID: 158377301
Highly Cited
2004
Highly Cited
2004
The Design of GridDB: A Data-Centric Overlay for the Scientific Grid
David T. Liu
,
M. Franklin
Very Large Data Bases Conference
2004
Corpus ID: 6325652
1996
1996
Implementing Memoization for Partial Evaluation
Peter Thiemann
Symposium on Programming Language Implementation…
1996
Corpus ID: 18355885
Memoization is a key ingredient in every partial evaluator. It enables folding by caching previously specialized functions. It is…
Expand
1994
1994
The XSB Programmer's Manual Version 1.7.1
Konstantinos Sagonas
,
T. Swift
,
D. Warren
,
J. Freire
,
P. Rao
1994
Corpus ID: 59735167
To date (Version 1.7.1), the core engine development of the SLG-WAM has been mainly implemented by Terrance Swift, Kostis Sagonas…
Expand
1994
1994
Efficient labeling and Constraint Relaxation for Solving Time Tabling Problems
P. Boizumault
,
C. Guéret
,
N. Jussien
1994
Corpus ID: 12856499
Constraint Logic Programming over Finite Domains, CLP(FD), has been in constant development for a few years. CLP(FD) allows an…
Expand
1993
1993
Programming the PTQ Grammar in XSB
D. Warren
Workshop on Programming with Logic Databases…
1993
Corpus ID: 47569494
The XSB language is an implementation of the Prolog programming language that supports tabling. Since tabling introduces a bottom…
Expand
Highly Cited
1980
Highly Cited
1980
A Lagrangean Relaxation Approach to Course Timetabling
A. Tripathy
1980
Corpus ID: 62687996
A study of mathematical programming approaches to time-tabling has resulted in the development of an algorithm based on…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE