13 papers:
STOC-2011-PatrascuT #power of- The power of simple tabulation hashing (MP, MT), pp. 1–10.
DAC-2010-LefteriuM #generative #modelling #parametricity- Generating parametric models from tabulated data (SL, JM), pp. 679–682.
GT-VMT-2010-Kahl- Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories (WK).
CIAA-2002-AlonsoDF #automaton #bidirectional- Tabulation of Bidirectional Push Down Automata (MAA, VJD, MVF), pp. 35–46.
ICLP-2002-CharatonikMP #constraints #infinity #model checking- Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP (WC, SM, AP), pp. 115–129.
- CL-2000-KameyaS #learning #logic programming #performance #source code
- Efficient EM Learning with Tabulation for Parameterized Logic Programs (YK, TS), pp. 269–284.
- DAC-1994-SilveiraEWCK #approach #performance #simulation #using
- An Efficient Approach to Transmission Line Simulation Using Measured or Tabulated S-parameter Data (LMS, IME, JW, MC, KSK), pp. 634–639.
PLILP-1994-Barklund #source code- Tabulation of Functions in Definite Clause Programs (JB), pp. 465–466.
- ICLP-1994-ClergerieL #logic programming #named
- LPDA: Another look at Tabulation in Logic Programming (EVdlC, BL), pp. 470–486.
ICDAR-1993-ChandranK #recognition- Structural recognition of tabulated data (SC, RK), pp. 516–519.
- ICLP-1993-BolD
- The Underlying Search for Magic Templates and Tabulation (RNB, LD), pp. 793–811.
- ILPS-1993-BolD #semantics
- Tabulated Resolution for Well Founded Semantics (RNB, LD), pp. 199–219.
- ICLP-1986-TamakiS86
- OLD Resolution with Tabulation (HT, TS), pp. 84–98.
