BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
data (3)
program (3)
effici (2)
logic (2)
resolut (2)

Stem tabul$ (all stems)

13 papers:

STOCSTOC-2011-PatrascuT #power of
The power of simple tabulation hashing (MP, MT), pp. 1–10.
DACDAC-2010-LefteriuM #generative #modelling #parametricity
Generating parametric models from tabulated data (SL, JM), pp. 679–682.
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories (WK).
CIAACIAA-2002-AlonsoDF #automaton #bidirectional
Tabulation of Bidirectional Push Down Automata (MAA, VJD, MVF), pp. 35–46.
ICLPICLP-2002-CharatonikMP #constraints #infinity #model checking
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP (WC, SM, AP), pp. 115–129.
ICLPCL-2000-KameyaS #learning #logic programming #performance #source code
Efficient EM Learning with Tabulation for Parameterized Logic Programs (YK, TS), pp. 269–284.
DACDAC-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.
PPDPPLILP-1994-Barklund #source code
Tabulation of Functions in Definite Clause Programs (JB), pp. 465–466.
ICLPICLP-1994-ClergerieL #logic programming #named
LPDA: Another look at Tabulation in Logic Programming (EVdlC, BL), pp. 470–486.
ICDARICDAR-1993-ChandranK #recognition
Structural recognition of tabulated data (SC, RK), pp. 516–519.
The Underlying Search for Magic Templates and Tabulation (RNB, LD), pp. 793–811.
ICLPILPS-1993-BolD #semantics
Tabulated Resolution for Well Founded Semantics (RNB, LD), pp. 199–219.
OLD Resolution with Tabulation (HT, TS), pp. 84–98.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.