435 papers:
- DATE-2015-IbrahimHBAABM #3d
- Tackling the bottleneck of delay tables in 3D ultrasound imaging (AI, PH, AB, FA, MA, LB, GDM), pp. 1683–1688.
- DocEng-2015-RastanPS #approach #comprehension #named
- TEXUS: A Task-based Approach for Table Extraction and Understanding (RR, HYP, JS), pp. 25–34.
- DRR-2015-NagyEKS #category theory #clustering #web
- Clustering header categories extracted from web tables (GN, DWE, MSK, SCS).
- SIGMOD-2015-ChuHCG #named
- TEGRA: Table Extraction by Global Record Alignment (XC, YH, KC, KG), pp. 1713–1728.
- VLDB-2015-El-HelwRSCGP #database #optimisation
- Optimization of Common Table Expressions in MPP Database Systems (AEH, VR, MAS, GCC, ZG, MP), pp. 1704–1715.
- VLDB-2015-HeGC #corpus #named #semantics #using
- SEMA-JOIN: Joining Semantically-Related Tables Using Big Table Corpora (YH, KG, XC), pp. 1358–1369.
- CHI-2015-VuillemotP #navigation #ranking
- Investigating the Direct Manipulation of Ranking Tables for Time Navigation (RV, CP), pp. 2703–2706.
- ECIR-2015-TsaiKH #approximate #distance #multi #probability
- Approximating Weighted Hamming Distance by Probabilistic Selection for Multiple Hash Tables (CYT, YHK, WHH), pp. 123–134.
- RecSys-2015-Das #recommendation
- Making Meaningful Restaurant Recommendations At OpenTable (SD), p. 235.
- PPDP-2015-BartakDZ #logic programming #modelling #on the #problem
- On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
- SAC-2015-BraunschweigTEL #web
- Column-specific context extraction for web tables (KB, MT, JE, WL), pp. 1072–1077.
- HPCA-2015-FraneyL
- Tag tables (SF, MHL), pp. 514–525.
- ICLP-2015-AriasC #execution #interface #towards
- Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract) (JA, MC).
- ICLP-J-2015-DesouterDS #library
- Tabling as a library with delimited control (BD, MvD, TS), pp. 419–433.
- ICLP-J-2015-ZhouBD #logic programming
- Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.
- SIGMOD-2014-AntovaESGPW #optimisation #query
- Optimizing queries over partitioned tables in MPP systems (LA, AEH, MAS, ZG, MP, FW), pp. 373–384.
- SIGMOD-2014-QardajiYL #named
- PriView: practical differentially private release of marginal contingency tables (WHQ, WY, NL), pp. 1435–1446.
- VLDB-2014-LiP #named
- WideTable: An Accelerator for Analytical Data Processing (YL, JMP), pp. 907–918.
- VLDB-2014-YangDCC #keyword #knowledge base #using
- Finding Patterns in a Knowledge Base using Keywords to Compose Table Answers (MY, BD, SC, KC), pp. 1809–1820.
- CHI-2014-PerinVF #exclamation #navigation #ranking
- A table!: improving temporal navigation in soccer ranking tables (CP, RV, JDF), pp. 887–896.
- CHI-2014-PlasenciaJS #named
- MisTable: reach-through personal screens for tabletops (DMP, EJ, SS), pp. 3493–3502.
- CHI-2014-ThreattMGWBH #design #evaluation #process
- An assistive robotic table for older and post-stroke adults: results from participatory design and evaluation activities with clinical staff (AT, JM, KEG, IDW, JOB, SH), pp. 673–682.
- ICPR-2014-ChenLLYH #adaptation #detection #forensics
- Anti-forensics of JPEG Detectors via Adaptive Quantization Table Replacement (CC, HL, WL, RY, JH), pp. 672–677.
- ICPR-2014-EmbleySN #database #relational #web
- Transforming Web Tables to a Relational Database (DWE, SCS, GN), pp. 2781–2786.
- KDD-2014-SarawagiC #modelling #query #web
- Open-domain quantity queries on web tables: annotation, response, and consensus models (SS, SC), pp. 711–720.
- KDIR-2014-AzadM #classification #consistency #fault #heuristic
- “Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
- PADL-2014-AreiasR #correctness #logic programming #on the #performance #source code
- On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.
- SAC-2014-CruzMOV
- Workload-aware table splitting for NoSQL (FC, FM, RO, RV), pp. 399–404.
- ICLP-J-2014-BartakZ #logic programming #problem #using
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem (RB, NFZ), pp. 697–710.
- ICLP-J-2014-MantadelisRM #exclamation #induction
- Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
- ICLP-J-2014-Swift #incremental #information management #reasoning #representation
- Incremental Tabling in Support of Knowledge Representation and Reasoning (TS), pp. 553–567.
- DATE-2013-LiBMLO
- Optical look up table (ZL, SLB, CM, XL, IO), pp. 873–876.
- DATE-2013-ShafaeiSP #logic #synthesis
- Reversible logic synthesis of k-input, m-output lookup tables (AS, MS, MP), pp. 1235–1240.
- DocEng-2013-BilaucaH
- Splitting wide tables optimally (MB, PH), pp. 249–252.
- ICDAR-2013-Deryagin #evaluation #performance #segmentation
- Unified Performance Evaluation for OCR Zoning: Calculating Page Segmentation’s Score, That Includes Text Zones, Tables and Non-text Objects (DD), pp. 953–957.
- ICDAR-2013-GobelHOO #contest
- ICDAR 2013 Table Competition (MCG, TH, EO, GO), pp. 1449–1453.
- ICDAR-2013-KasarBACP #detection #documentation #image #learning #using
- Learning to Detect Tables in Scanned Document Images Using Line Information (TK, PB, SA, CC, TP), pp. 1185–1189.
- ICDAR-2013-MauroEF #web
- Finding Critical Cells in Web Tables with SRL: Trying to Uncover the Devil’s Tease (NDM, FE, SF), pp. 882–886.
- ICDAR-2013-SethN
- Segmenting Tables via Indexing of Value Cells by Table Headers (SCS, GN), pp. 887–891.
- ICDAR-2013-ShiSG #documentation #framework #image #modelling
- A Model Based Framework for Table Processing in Degraded Document Images (ZS, SS, VG), pp. 963–967.
- ICDAR-2013-WuMG #documentation #recognition
- Table of Contents Recognition and Extraction for Heterogeneous Book Documents (ZW, PM, CLG), pp. 1205–1209.
- SIGMOD-2013-ZhangC #semantics #web
- InfoGather+: semantic matching and annotation of numeric and time-varying attributes in web tables (MZ, KC), pp. 145–156.
- VLDB-2013-DengJLLY #concept #knowledge base #scalability #using #web
- Scalable Column Concept Determination for Web Tables Using Large Knowledge Bases (DD, YJ, GL, JL, CY), pp. 1606–1617.
- VLDB-2013-HuaiMLO0 #clustering #comprehension
- Understanding Insights into the Basic Structure and Essential Issues of Table Placement Methods in Clusters (YH, SM, RL, OO, XZ), pp. 1750–1761.
- STOC-2013-LenzenP #performance #using
- Fast routing table construction using small messages: extended abstract (CL, BPS), pp. 381–390.
- CHI-2013-KharrufaBHLDO #deployment #lessons learnt #multi #scalability
- Tables in the wild: lessons learned from a large-scale multi-tabletop deployment (AK, MB, PH, DL, PD, PO), pp. 1021–1030.
- CHI-2013-NowackaLHJLRO #multi #named
- Touchbugs: actuated tangibles on multi-touch tables (DN, KL, NYH, DJ, CL, ER, PO), pp. 759–762.
- CHI-2013-SutcliffeIFPSG #using
- Improving digital handoff using the space above the table (SWTS, ZI, DRF, AP, IS, CG), pp. 735–744.
- CSCW-2013-DoucetteGMNS #collaboration #how
- Sometimes when we touch: how arm embodiments change reaching and collaboration on digital tables (AD, CG, RLM, MAN, SS), pp. 193–202.
- HCI-IMT-2013-WahabZ #implementation #multi
- The Implementation of Multi-touch Table to Support the Military Decision Making through Critical Success Factors (CSFs) (NW, HBZ), pp. 523–529.
- KEOD-2013-JoironFKJBML #collaboration #design #framework #interactive #multi #ontology
- An Ontology for Designing a Collaborative Platform Involving a Multi-touch and Multi-user Interactive Table (CJ, FF, GK, AJ, JPAB, CM, DL), pp. 156–163.
- PADL-2013-0004R #implementation #on the #performance
- On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.
- PADL-2013-GuzmanCH
- Supporting Pruning in Tabled LP (PCdG, MC, MVH), pp. 60–76.
- SAC-2013-PedrosaGPBC #interactive
- Interactive coffee table for exploration of personal photos and videos (DdCP, RLG, MdGCP, DCAB, PC), pp. 967–974.
- ICLP-J-2013-GangeNSSS #constraints #logic programming
- Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.
- ICLP-J-2013-JansenJJ #compilation #induction #prolog
- Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.
- DocEng-2012-GobelHOO #algorithm #comprehension #documentation
- A methodology for evaluating algorithms for table understanding in PDF documents (MCG, TH, EO, GO), pp. 45–48.
- DocEng-2012-KimHKL #classification #library
- Scientific table type classification in digital library (SK, KH, SYK, YL), pp. 133–136.
- DRR-2012-NagyT #named #performance #verification
- VeriClick: an efficient tool for table format verification (GN, MT).
- DRR-2012-Silva #algorithm #detection #evaluation #using
- Using specific evaluation for comparing and combining competing algorithms: applying it to table column detection (ACeS).
- SIGMOD-2012-SarmaFGHLWXY
- Finding related tables (ADS, LF, NG, AYH, HL, FW, RX, CY), pp. 817–828.
- SIGMOD-2012-SarmaLGMH #performance #scalability
- Efficient spatial sampling of large geographical tables (ADS, HL, HG, JM, AYH), pp. 193–204.
- SIGMOD-2012-YakoutGCC #named #web
- InfoGather: entity augmentation and attribute discovery by holistic matching with web tables (MY, KG, KC, SC), pp. 97–108.
- VLDB-2012-PimplikarS #keyword #query #using #web
- Answering Table Queries on the Web using Column Keywords (RP, SS), pp. 908–919.
- ITiCSE-2012-FaginS #education #named
- MyTuringTable: a teaching tool to accompany Turing’s original paper on computability (BF, DS), pp. 333–338.
- SCAM-2012-WilcoxSB #optimisation #program transformation
- Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
- FLOPS-2012-GuzmanCHS #framework #implementation
- A General Implementation Framework for Tabled CLP (PCdG, MC, MVH, PJS), pp. 104–119.
- ICFP-2012-LaunchburyDDA #multi #performance #protocol
- Efficient lookup-table protocol in secure multiparty computation (JL, ISD, TD, AAM), pp. 189–200.
- CHI-2012-BenkoJW #artificial reality #interactive #named
- MirageTable: freehand interaction on a projected augmented reality tabletop (HB, RJ, AW), pp. 199–208.
- CHI-2012-HupfeldR #human-computer
- Laying the table for HCI: uncovering ecologies of domestic food consumption (AH, TR), pp. 119–128.
- CHI-2012-MarshallCAS #interactive #named
- Ultra-tangibles: creating movable tangible objects on interactive tables (MTM, TC, JA, SS), pp. 2185–2188.
- ICPR-2012-EdmundsonS #image #performance #retrieval #using
- Fast JPEG image retrieval using optimised Huffman tables (DE, GS), pp. 3188–3191.
- ICPR-2012-Nagy #learning #web
- Learning the characteristics of critical cells from web tables (GN), pp. 1554–1557.
- SEKE-2012-AlrayesL #automation #web
- Automatic Acquisition of isA Relationships from Web Tables (NA, WSL), pp. 706–711.
- PADL-2012-HaveC #performance #program transformation #using
- Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
- RE-2012-Chernak #composition #requirements
- Requirements Composition Table explained (YC), pp. 273–278.
- SAC-2012-KarakasidisV
- Reference table based k-anonymous private blocking (AK, VSV), pp. 859–864.
- PLEASE-2012-BoffoliCCV #consistency #flexibility #process #product line
- Driving flexibility and consistency of business processes by means of product-line engineering and decision tables (NB, DC, DC, GV), pp. 33–36.
- PPoPP-2012-MetreveliZK #named
- CPHASH: a cache-partitioned hash table (ZM, NZ, MFK), pp. 319–320.
- ICLP-2012-SatoM #infinity #probability
- Tabling for infinite probability computation (TS, PM), pp. 348–358.
- ICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using
- Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.
- ICLP-J-2012-GorlinRS #logic programming #model checking #probability
- Model checking with probabilistic tabled logic programming (AG, CRR, SAS), pp. 681–700.
- ICLP-J-2012-ZhouH #performance
- Efficient tabling of structured data with enhanced hash-consing (NFZ, CTH), pp. 547–563.
- CASE-2011-YangXZCT #game studies #multi
- A vision system with multiple cameras designed for humanoid robots to play table tennis (PY, DX, ZZ, GC, MT), pp. 737–742.
- DocEng-2011-BilaucaH #pretty-printing #tool support
- Building table formatting tools (MB, PH), pp. 13–22.
- DocEng-2011-GangeMMS #automation #layout
- Optimal automatic table layout (GG, KM, PM, PJS), pp. 23–32.
- ICDAR-2011-ChenL #detection #documentation
- Table Detection in Noisy Off-line Handwritten Documents (JC, DPL), pp. 399–403.
- ICDAR-2011-DeckertSEG #comprehension
- Table Content Understanding in SmartFIX (FD, BS, ME, MG), pp. 488–492.
- ICDAR-2011-FangGBQTT #detection #documentation #multi #visual notation
- A Table Detection Method for Multipage PDF Documents via Visual Seperators and Tabular Structures (JF, LG, KB, RQ, XT, ZT), pp. 779–783.
- ICDAR-2011-KimL #identification #library
- Functional-Based Table Category Identification in Digital Library (SK, YL), pp. 1364–1368.
- ICDAR-2011-LiangWS #image #segmentation
- A Method of Evaluating Table Segmentation Results Based on a Table Image Ground Truther (YL, YW, ES), pp. 247–251.
- ICDAR-2011-NagySJEMK #web
- Data Extraction from Web Tables: The Devil is in the Details (GN, SCS, DJ, DWE, SM, MSK), pp. 242–246.
- ICDAR-2011-PanZSN #invariant #using
- Recognizing Characters with Severe Perspective Distortion Using Hash Tables and Perspective Invariants (PP, YZ, JS, SN), pp. 548–552.
- SIGMOD-2011-HerodotouBB #optimisation #query
- Query optimization techniques for partitioned tables (HH, NB, SB), pp. 49–60.
- SIGMOD-2011-LuADT #named #probability #query
- Schema-as-you-go: on probabilistic tagging and querying of wide tables (ML, DA, BTD, AKHT), pp. 181–192.
- SIGMOD-2011-TekleL #datalog #performance #query #set
- More efficient datalog queries: subsumptive tabling beats magic sets (KTT, YAL), pp. 661–672.
- VLDB-2011-VenetisHMPSWMW #semantics #web
- Recovering Semantics of Tables on the Web (PV, AYH, JM, MP, WS, FW, GM, CW), pp. 528–538.
- VLDB-2011-YosefHBSW #ambiguity #named #online
- AIDA: An Online Tool for Accurate Disambiguation of Named Entities in Text and Tables (MAY, JH, IB, MS, GW), pp. 1450–1453.
- ITiCSE-2011-Urquiza-FuentesMVR #animation #compilation #education
- Improving compilers education through symbol tables animations (JUF, FM, JÁVI, MRS), pp. 203–207.
- PLDI-2011-HarrisG #spreadsheet
- Spreadsheet table transformations from examples (WRH, SG), pp. 317–328.
- CHI-2011-HunterMSK #named
- MemTable: an integrated system for capture and recall of shared histories in group workspaces (SEH, PM, SDS, HK), pp. 3305–3314.
- CHI-2011-JamilOPKS #collaboration #interactive #learning
- The effects of interaction techniques on talk patterns in collaborative peer learning around interactive tables (IJ, KO, MJP, AK, SS), pp. 3043–3052.
- CSCW-2011-ConversyGCVDO #collaboration
- Supporting air traffic control collaboration with a TableTop system (SC, HGB, SC, SV, CD, CO), pp. 425–434.
- DUXU-v1-2011-BedekarK #research #what
- What Sustainability Brings to the Research Table (NB, SLK), pp. 363–367.
- DUXU-v1-2011-GeorgeADMW #collaboration #learning #multi
- Multitouch Tables for Collaborative Object-Based Learning (JG, EdA, DD, DSM, GW), pp. 237–246.
- HCI-ITE-2011-JokischBS #interactive #multi #testing #usability
- Usability Testing of the Interaction of Novices with a Multi-touch Table in Semi Public Space (MJ, TB, AS), pp. 71–80.
- HCI-MIIE-2011-XuS #performance #smarttech #web
- Enabling Efficient Browsing and Manipulation of Web Tables on Smartphone (WX, YS), pp. 117–126.
- ECMFA-2011-BarrettCB #detection
- Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (SB, PC, GB), pp. 329–344.
- ICSE-2011-ManganoOSCDK #information management
- Blending freeform and managed information in tables (NM, HO, IS, MC, MD, SK), pp. 840–843.
- ISMM-2011-Tarau #memory management #multi #prolog
- Integrated symbol table, engine and heap memory management in multi-engine prolog (PT), pp. 129–138.
- ICLP-J-2011-AreiasR #evaluation #logic programming #on the #source code
- On combining linear-based strategies for tabled evaluation of logic programs (MA, RR), pp. 681–696.
- ICLP-J-2011-CruzR #evaluation #logic programming #performance #retrieval #source code
- Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (FC, RR), pp. 697–712.
- ICLP-J-2011-RiguzziS #nondeterminism #reasoning
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty (FR, TS), pp. 433–449.
- DATE-2010-ZhangDYMZKCPS #code generation #compilation #evaluation
- A special-purpose compiler for look-up table and code generation for function evaluation (YZ, LD, PY, SPM, HZ, MTK, CC, NP, XS), pp. 1130–1135.
- DocEng-2010-BilaucaH #automation #layout
- A new model for automated table layout (MB, PH), pp. 169–176.
- DocEng-2010-BilaucaH10a #authoring #documentation #layout #performance #tool support
- Table layout performance of document authoring tools (MB, PH), pp. 199–202.
- DocEng-2010-Hassan #algorithm #evaluation #recognition #towards
- Towards a common evaluation strategy for table structure recognition algorithms (TH), pp. 255–258.
- DocEng-2010-MarinaiMS #documentation #recognition
- Table of contents recognition for converting PDF documents in e-book formats (SM, EM, GS), pp. 73–76.
- PODS-2010-HartmannL #dependence #logic #sql
- When data dependencies over SQL tables meet the logics of paradox and S-3 (SH, SL), pp. 317–326.
- SIGMOD-2010-GonzalezHJLMSSG #collaboration #data transformation
- Google fusion tables: web-centered data management and collaboration (HG, AYH, CSJ, AL, JM, RS, WS, JGK), pp. 1061–1066.
- VLDB-2010-LimayeSC #using #web
- Annotating and Searching Web Tables Using Entities, Types and Relationships (GL, SS, SC), pp. 1338–1347.
- STOC-2010-KasiviswanathanRSU #correlation #matrix #random
- The price of privately releasing contingency tables and the spectra of random matrices with correlated rows (SPK, MR, AS, JU), pp. 775–784.
- CIAA-2010-LiuGLT #automaton #composition #matrix #regular expression
- Compressing Regular Expressions’ DFA Table by Matrix Decomposition (YL, LG, PL, JT), pp. 282–289.
- CSCW-2010-CaoLHS #deployment
- Telling the whole story: anticipation, inspiration and reputation in a field deployment of TellTable (XC, SEL, JH, AS), pp. 251–260.
- CIKM-2010-CrestanP #fine-grained #taxonomy #web
- A fine-grained taxonomy of tables on the web (EC, PP), pp. 1405–1408.
- PPDP-2010-FodorK #logic #transaction
- Tabling for transaction logic (PF, MK), pp. 199–208.
- PADL-2010-AreiasR #implementation #linear #order #performance
- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.
- PADL-2010-MarquesSC #concurrent #implementation #performance
- A Simple and Efficient Implementation of Concurrent Local Tabling (RM, TS, JCC), pp. 264–278.
- PADL-2010-RaimundoR #evaluation
- Compact Lists for Tabled Evaluation (JR, RR), pp. 249–263.
- SAC-PL-J-2008-DennyM10 #algorithm #generative #lr #parsing
- The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 943–979.
- SAC-2010-AminBJ10a #wiki
- Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names (MSA, AB, HMJ), pp. 1656–1660.
- OSDI-2010-PowerL #distributed #named #performance #source code
- Piccolo: Building Fast, Distributed Programs with Partitioned Tables (RP, JL), pp. 293–306.
- ICLP-2010-MantadelisJ10 #probability
- Dedicated Tabling for a Probabilistic Setting (TM, GJ), pp. 124–133.
- ICLP-2010-RiguzziS10 #logic programming #reasoning #source code
- Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions (FR, TS), pp. 162–171.
- ICLP-J-2010-GuzmanCW #evaluation #on-demand
- Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (PCdG, MC, DSW), pp. 401–416.
- DATE-2009-LoiAB #configuration management #interface #network #synthesis
- Synthesis of low-overhead configurable source routing tables for network interfaces (IL, FA, LB), pp. 262–267.
- ICDAR-2009-GaoTLTC #analysis #clustering #documentation
- Analysis of Book Documents’ Table of Content Based on Clustering (LG, ZT, XL, XT, YC), pp. 911–915.
- ICDAR-2009-LiuBMG #bound #detection #fault #sequence
- Improving the Table Boundary Detection in PDFs by Fixing the Sequence Error of the Sparse Lines (YL, KB, PM, CLG), pp. 1006–1010.
- ICDAR-2009-Long #analysis #architecture
- An RDF-Based Blackboard Architecture for Improving Table Analysis (VL), pp. 916–920.
- ICDAR-2009-OroR #approach #documentation #named
- PDF-TREX: An Approach for Recognizing and Extracting Tables from PDF Documents (EO, MR), pp. 906–910.
- ICDAR-2009-Silva #analysis #documentation #learning #markov #modelling
- Learning Rich Hidden Markov Models in Document Analysis: Table Location (ACeS), pp. 843–847.
- VLDB-2009-DieuDFLS
- 1, 000 Tables Inside the From (ND, AD, FF, FL, ES), pp. 1450–1461.
- VLDB-2009-ElmeleegyMH #relational #web
- Harvesting Relational Tables from Lists on the Web (HE, JM, AYH), pp. 1078–1089.
- VLDB-2009-GuptaS #query #web
- Answering Table Augmentation Queries from Unstructured Lists on the Web (RG, SS), pp. 289–300.
- VLDB-2009-WillhalmPBPZS #in memory #named #performance #using
- SIMD-Scan: Ultra Fast in-Memory Table Scan using on-Chip Vector Processing Units (TW, NP, YB, HP, AZ, JS), pp. 385–394.
- SAS-2009-XiaFL #data flow
- Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.
- CIAA-2009-LiuYLT #automaton
- A Table Compression Method for Extended Aho-Corasick Automaton (YL, YY, PL, JT), pp. 84–93.
- SEFM-2009-HummelT #behaviour #specification #using
- Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables (BH, JT), pp. 137–146.
- CHI-2009-TaylorIKHG #interactive
- Turning the tables: an interactive surface for vjing (ST, SI, DSK, RHRH, AGM), pp. 1251–1254.
- HCI-NT-2009-YangXS #interactive #web
- Enabling Interactive Access to Web Tables (XY, WX, YS), pp. 760–768.
- ICML-2009-RamanFWDR
- The Bayesian group-Lasso for analyzing contingency tables (SR, TJF, PJW, ED, VR), pp. 881–888.
- PADL-2009-CostaR
- One Table Fits All (JC, RR), pp. 195–208.
- PADL-2009-GuzmanCH #execution #program transformation #towards
- Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
- SAC-2009-NeedelsK #distributed #peer-to-peer
- Secure routing in peer-to-peer distributed hash tables (KN, MK), pp. 54–58.
- SAC-2009-OwensMR #dataset #mining
- Capturing truthiness: mining truth tables in binary datasets (CCOI, TMM, NR), pp. 1467–1474.
- SAC-2009-XuMX #game studies
- A method to construct knowledge table-base in k-in-a-row games (CX, ZMM, XX), pp. 929–933.
- SLE-2009-SchwerdfegerW #composition #parsing
- Verifiable Parse Table Composition for Deterministic Parsing (AS, EVW), pp. 184–203.
- ICLP-2009-CostaRR #logic programming #source code
- A Term-Based Global Trie for Tabled Logic Programs (JC, JR, RR), pp. 205–219.
- ICLP-2009-Fodor #evaluation #logic programming #research #source code #summary #transaction
- Research Summary: Tabled Evaluation for Transaction Logic Programs (PF), pp. 525–526.
- ICLP-2009-GuzmanCH #implementation #multi
- A Tabling Implementation Based on Variables with Multiple Bindings (PCdG, MC, MVH), pp. 190–204.
- ICLP-2009-Zhou #constraints #encoding
- Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC (NFZ), pp. 402–416.
- LICS-2009-Baez
- Computation and the Periodic Table (JB), p. 211.
- SIGMOD-2008-EadonCSRSD #clustering
- Supporting table partitioning by reference in oracle (GE, EIC, SS, AR, JS, SD), pp. 1111–1122.
- SIGMOD-2008-SilbersteinCSVYR #distributed #order #performance
- Efficient bulk insertion into a distributed ordered table (AS, BFC, US, EV, RY, RR), pp. 765–778.
- VLDB-2008-CafarellaHWWZ #named #power of #web
- WebTables: exploring the power of tables on the web (MJC, AYH, DZW, EW, YZ), pp. 538–549.
- CSMR-2008-MarchettoRT #empirical #maintenance #web
- Comparing “Traditional” and Web Specific Fit Tables in Maintenance Tasks: A Preliminary Empirical Study (AM, FR, MT), pp. 284–288.
- ICSM-2008-RiccaPT #guidelines #lessons learnt #maintenance
- Guidelines on the use of Fit tables in software maintenance tasks: Lessons learned from 8 experiments (FR, MDP, MT), pp. 317–326.
- ICFP-2008-Jones08a #functional #morphism #perspective #polymorphism #programming
- Polymorphism and page tables: systems programming from a functional programmer’s perspective (MPJ), pp. 265–266.
- IFL-2008-LijnseP #automation #data type #database #programming #relational #using
- Between Types and Tables — Using Generic Programming for Automated Mapping between Data Types and Relational Databases (BL, RP), pp. 272–290.
- CIKM-2008-CandanCQS #summary
- Table summarization with the help of domain lattices (KSC, HC, YQ, MLS), pp. 1473–1474.
- CIKM-2008-KimC #multi #sql
- SQL extension for exploring multiple tables (SJK, JJC), pp. 1331–1332.
- CIKM-2008-LiuMG #bound #detection #documentation #identification
- Identifying table boundaries in digital documents via sparse line detection (YL, PM, CLG), pp. 1311–1320.
- ICPR-2008-JhaN #independence #layout #representation
- Wang Notation Tool: Layout independent representation of tables (PJ, GN), pp. 1–4.
- ICPR-2008-PadmanabhanN #query
- Query by table (RKP, GN), pp. 1–4.
- ICPR-2008-Wang #algorithm #string
- A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.
- ECMDA-FA-2008-ChevillatCSSW #generative #modelling
- Model-Based Generation of Interlocking Controller Software from Control Tables (CC, DAC, PAS, JGS, LW), pp. 349–360.
- PADL-2008-GuzmanCHSR #continuation #implementation
- An Improved Continuation Call-Based Implementation of Tabling (PCdG, MC, MVH, CS, RR), pp. 197–213.
- SAC-2008-DennyM #lr #parsing
- IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.
- ICSE-2008-RiccaPTTCV #evolution
- Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks (FR, MDP, MT, PT, MC, CAV), pp. 361–370.
- SLE-2008-BravenboerV #composition
- Parse Table Composition (MB, EV), pp. 74–94.
- ICLP-2008-CostaR #evaluation
- Global Storing Mechanisms for Tabled Evaluation (JC, RR), pp. 708–712.
- ICLP-2008-GuzmanCH #execution #program transformation #sketching
- A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
- CASE-2007-ZimmermannS #modelling #precise #simulation
- Modeling for Simulation and Control of a X-Y High Precision Positioning Table (JZ, OS), pp. 1093–1098.
- DATE-2007-BolotinCGK
- Routing table minimization for irregular mesh NoCs (EB, IC, RG, AK), pp. 942–947.
- DATE-2007-BonnyH #performance
- Efficient code density through look-up table compression (TB, JH), pp. 809–814.
- ICDAR-2007-HassanB #comprehension #recognition
- Table Recognition and Understanding from PDF Files (TH, RB), pp. 1143–1147.
- ICDAR-2007-KwonP #analysis #implementation #recognition
- Implementation of Content Analysis System for Recognition of Journals_ Table of Contents (YBK, JP), pp. 1018–1022.
- ICDAR-2007-LiuBMG #documentation
- Searching for Tables in Digital Documents (YL, KB, PM, CLG), pp. 934–938.
- ICDAR-2007-Silva #analysis #documentation #metric #performance
- New Metrics for Evaluating Performance in Document Analysis Tasks_Application to the Table Case (ACeS), pp. 481–485.
- PODS-2007-BarakCDKMT #consistency #privacy
- Privacy, accuracy, and consistency too: a holistic solution to contingency table release (BB, KC, CD, SK, FM, KT), pp. 273–282.
- SIGMOD-2007-ChuBN #approach #relational #set
- The case for a wide-table approach to manage sparse relational data sets (EC, JLB, JFN), pp. 821–832.
- VLDB-2007-BhattacharjeeMLMKBK #clustering #multi #performance
- Efficient Bulk Deletes for Multi Dimensionally Clustered Tables in DB2 (BB, TM, SL, SM, JAK, RVB, JK), pp. 1197–1206.
- CHI-2007-TseSGF #how #multimodal
- How pairs interact over a multimodal digital table (ET, CS, SG, CF), pp. 215–218.
- HCI-AS-2007-LaarniNK #collaboration #interface #process
- Affordance Table — A Collaborative Smart Interface for Process Control (JL, LN, HMKK), pp. 611–619.
- HCI-AS-2007-ShihPLC #collaboration
- Augmented Desk System: The Information Table of Collaborative and Cooperative (InfoTable) (CWS, SFP, MXL, HSC), pp. 735–741.
- HCI-IPT-2007-ChangC #design #implementation #interactive
- Implementing an Interactive Collage Table System with Design Puzzle Exploration (TWC, YBC), pp. 778–787.
- OCSC-2007-ZhengSR #authoring #collaboration #data transformation #named
- WikiTable: A New Tool for Collaborative Authoring and Data Management (XSZ, IS, RR), pp. 501–508.
- ECIR-2007-SzlavikTL #documentation #generative #xml
- Feature- and Query-Based Table of Contents Generation for XML Documents (ZS, AT, ML), pp. 456–467.
- PADL-2007-Rocha #evaluation #on the #performance #robust
- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation (RR), pp. 155–169.
- PADL-2007-Sarna-StarostaR #compilation #constraints #evaluation #performance
- Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
- SAC-2007-NevesCFB
- A table-form extraction with artefact removal (LAPN, JMdC, JF, FB), pp. 622–626.
- SAC-2007-TetsuyaAHN #ad hoc #generative #network #using
- Topology information generation methods using a routing table in ad hoc network applications (TT, AK, TH, SN), pp. 896–900.
- CSL-2007-MillerN #proving
- Incorporating Tables into Proofs (DM, VN), pp. 466–480.
- ICLP-2007-RochaSL #on the #program transformation #prolog
- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
- DAC-2006-YuL #modelling #simulation #statistics
- Lookup table based simulation and statistical modeling of Sigma-Delta ADCs (GY, PL), pp. 1035–1040.
- DATE-2006-ParkESNDP #automation #embedded #generative #performance
- Automatic generation of operation tables for fast exploration of bypasses in embedded processors (SP, EE, AS, AN, ND, YP), pp. 1197–1202.
- DocEng-2006-HurstMA #layout #problem
- Solving the simple continuous table layout problem (NH, KM, DWA), pp. 28–30.
- VLDB-2006-RamanS #how #query
- How to Wring a Table Dry: Entropy Compression of Relations and Querying of Compressed Relations (VR, GS), pp. 858–869.
- ITiCSE-2006-Urquiza-FuentesGGV #visualisation
- Visualizing the symbol table (JUF, MGC, FGB, JÁVI), p. 341.
- ICPR-v3-2006-ZhangDC #analysis #detection #game studies
- Ball Hit Detection in Table Tennis Games Based on Audio Analysis (BZ, WD, LC), pp. 220–223.
- MoDELS-2006-DiskinD #semantics #towards #uml
- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
- MoDELS-2006-DiskinD #semantics #towards #uml
- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
- PADL-2006-SahaR #evaluation #incremental #logic programming #prolog #source code
- Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs (DS, CRR), pp. 215–229.
- PADL-2006-SomogyiS #design #implementation
- Tabling in Mercury: Design and Implementation (ZS, KFS), pp. 150–167.
- SAC-2006-MandalCDC #detection #documentation #image #segmentation
- Detection and segmentation of tables and math-zones from document images (SM, SPC, AKD, BC), pp. 841–846.
- SAC-2006-NevesCFB #knowledge base
- A new table interpretation methodology with little knowledge base: table interpretation methodology (LAPN, JMdC, JF, FB), pp. 847–852.
- ICLP-2006-RamakrishnanRW #deduction #logic programming #spreadsheet #using
- Deductive Spreadsheets Using Tabled Logic Programming (CRR, IVR, DSW), pp. 391–405.
- ICLP-2006-Rocha #logic programming #source code
- Handling Incomplete and Complete Tables in Tabled Logic Programs (RR), pp. 427–428.
- ICLP-2006-SahaR #algorithm #evaluation #incremental #logic programming #source code
- A Local Algorithm for Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 56–71.
- ICLP-2006-SilvaRL #implementation #linear #prolog
- An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.
- DocEng-2005-DejeanM #documentation
- Structuring documents according to their table of contents (HD, JLM), pp. 2–9.
- DocEng-2005-HurstMM #towards
- Toward tighter tables (NH, KM, PM), pp. 74–83.
- ICDAR-2005-IshitaniFS #analysis #classification #documentation #xml
- Table Structure Analysis Based on Cell Classification and Cell Modification for XML Document Transformation (YI, KF, KS), pp. 1247–1252.
- ICDAR-2005-KboubiCA #evaluation #recognition
- Table Recognition Evaluation and Combination Methods (FK, AHC, MBA), pp. 1237–1241.
- ICDAR-2005-KieningerD #approach #benchmark #metric #recognition #towards
- An Approach towards Benchmarking of Table Structure Recognition Results (TK, AD), pp. 1232–1236.
- ICDAR-2005-LongDC #detection #documentation
- A Model for Detecting and Merging Vertically Spanned Table Cells in Plain Text Documents (VL, RD, SC), pp. 1242–1246.
- ICDAR-2005-YacoubP #documentation #identification
- Identification of Document Structure and Table of Content in Magazine Archives (SMY, JLAP), pp. 1253–1259.
- ITiCSE-2005-Gallego-CarrilloGUV #named #visualisation
- SOTA: a visualization tool for symbol tables (MGC, FGB, JUF, JÁVI), p. 385.
- CSMR-2005-YehL #database #diagrams #legacy
- Extracting Entity Relationship Diagram from a Table-Based Legacy Database (DY, YL), pp. 72–79.
- STOC-2005-CryanDR #approximate #bound
- Approximately counting integral flows and cell-bounded contingency tables (MC, MED, DR), pp. 413–422.
- SEKE-2005-ArdimentoBCV #information management
- Decision Tables for Knowledge Acquisition during Goal Interpretation (PA, MTB, DC, GV), pp. 404–407.
- SAC-2005-WattersZD
- Comparing table views for small devices (CRW, RZ, JD), pp. 975–980.
- CADE-2005-Pientka #higher-order #logic programming
- Tabling for Higher-Order Logic Programming (BP), pp. 54–68.
- ICLP-2005-RochaLSC #modelling #named #prolog
- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling (RR, RL, FMAS, VSC), pp. 416–417.
- ICLP-2005-RochaSC #evaluation #logic programming #source code
- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs (RR, FMAS, VSC), pp. 250–264.
- ICLP-2005-SahaR #data type #evaluation #graph #incremental #performance
- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.
- DAC-2004-YangM #adaptation #higher-order #modelling
- An Essentially Non-Oscillatory (ENO) high-order accurate Adaptive table model for device modeling (BY, BM), pp. 864–867.
- DATE-v2-2004-WanS #compilation #multi #simulation
- Hierarchical Multi-Dimensional Table Lookup for Model Compiler Based Circuit Simulation (BW, CJRS), pp. 1310–1315.
- DRR-2004-HeDP #documentation #logic
- Hierarchical logical structure extraction of book documents by analyzing tables of contents (FH, XD, LP), pp. 6–13.
- SIGMOD-2004-LermanGMK #automation #segmentation #using #web
- Using the Structure of Web Sites for Automatic Segmentation of Tables (KL, LG, SM, CAK), pp. 119–130.
- VLDB-2004-LightstoneB #automation #clustering #database #design #multi #relational
- Automating the design of multi-dimensional clustering tables in relational databases (SL, BB), pp. 1170–1181.
- FLOPS-2004-PemmasaniGDRR #logic programming #online #source code
- Online Justification for Tabled Logic Programs (GP, HFG, YD, CRR, IVR), pp. 24–38.
- DLT-2004-Truthe
- A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages (BT), pp. 406–417.
- CHI-2004-ShenVFR #interactive #named #tool support
- DiamondSpin: an extensible toolkit for around-the-table interaction (CS, FV, CF, MR), pp. 167–174.
- CSCW-2004-MatsushitaIOSKN #collaboration
- Lumisight table: a face-to-face collaboration support system that optimizes direction of projected information to each stakeholder (MM, MI, TO, YS, YK, TN), pp. 274–283.
- CSCW-2004-RyallFSM #interactive
- Exploring the effects of group size and table size on interactions with tabletop shared-display groupware (KR, CF, CS, MRM), pp. 284–293.
- ICEIS-v2-2004-MuesHVB #diagrams #using #visualisation
- Comprehensible Credit-Scoring Knowledge Visualization Using Decision Tables and Diagrams (CM, JH, JV, BB), pp. 226–232.
- CIKM-2004-JingYKT #locality #performance #similarity #transaction
- Localized signature table: fast similarity search on transaction data (QJ, RY, PK, AKHT), pp. 314–323.
- ICPR-v2-2004-AmanoAM #generative #recognition
- Modification Table Form Generation System based on the Form Recognition (AA, NA, MM), pp. 659–662.
- ICPR-v2-2004-HuR #classification #clustering #probability #using
- Probability Table Compression Using Distributional Clustering for Scanning N-Tuple Classifiers (JH, ER), pp. 533–536.
- KDD-2004-AgichteinG #automation #mining #segmentation
- Mining reference tables for automatic text segmentation (EA, VG), pp. 20–29.
- PPDP-2004-SagonasS
- Just enough tabling (KFS, PJS), pp. 78–89.
- PPDP-2004-ZhouSS #evaluation #linear
- Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.
- PADL-2004-GuoG #programming
- Simplifying Dynamic Programming via Tabling (HFG, GG), pp. 163–177.
- HPDC-2004-DubnickiUK #distributed #named
- FPN: A Distributed Hash Table for Commercial Applications (CD, CU, WK), pp. 120–128.
- ICLP-2004-RochaSC #logic programming #source code
- Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.
- ICLP-2004-SchrijversW #constraints #execution
- Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.
- DATE-2003-LomenaLWK #approach #explosion #performance #scheduling
- An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling (AGL, MLLV, YW, AK), pp. 10428–10435.
- ICDAR-2003-AmanoA #analysis #documentation #grammarware #graph grammar
- Graph Grammar Based Analysis System of Complex Table Form Document (AA, NA), pp. 916–920.
- ICDAR-2003-ChoPR #probability #recognition
- Probability Table Compression for Handwritten Character Recognition (SJC, MPP, EHR), p. 173–?.
- ICDAR-2003-Hurst #approach #constraints
- A Constraint-based Approach to Table Structure Derivation (MH), pp. 911–915.
- ICDAR-2003-MandalCDC #automation #detection #documentation #image #segmentation
- Automated Detection and Segmentation of Table of Contents Page from Document Images (SM, SPC, AKD, BC), pp. 398–402.
- ICDAR-2003-NielsonB #recognition
- Consensus-Based Table Form Recognition (HEN, WAB), pp. 906–910.
- ICDAR-2003-RamelCVF #detection #representation
- Detection, Extraction and Representation of Tables (JYR, MC, NV, CF), pp. 374–378.
- VLDB-2003-AltinelBKMPR #adaptation #database
- Cache Tables: Paving the Way for an Adaptive Database Cache (MA, CB, SK, CM, HP, BR), pp. 718–729.
- VLDB-2003-BhattacharjeePMLCH #clustering #multi #performance #query
- Efficient Query Processing for Multi-Dimensionally Clustered Tables in DB2 (BB, SP, TM, TL, LC, MH), pp. 963–974.
- ESOP-2003-CastroW #approximate #logic programming
- Approximate Pruning in Tabled Logic Programming (LFC, DSW), pp. 69–83.
- ICEIS-v2-2003-BaesensMBVS #using
- Building Intelligent Credit Scoring Systems Using Decision Tables (BB, CM, MDB, JV, RS), pp. 19–25.
- SIGIR-2003-PintoMWC #random #using
- Table extraction using conditional random fields (DP, AM, XW, WBC), pp. 235–242.
- PPDP-2003-ZhouS #fixpoint #linear #performance
- Efficient fixpoint computation in linear tabling (NFZ, TS), pp. 275–283.
- CGO-2003-LinCHY #using
- Speculative Register Promotion Using Advanced Load Address Table (ALAT) (JL, TC, WCH, PCY), pp. 125–134.
- ICLP-2003-GuoG
- A New Mode Declaration for Tabled Predicates (HFG, GG), pp. 485–486.
- ICLP-2003-PemmasaniGDRR #logic programming #online #source code
- Online Justification for Tabled Logic Programs (GP, HFG, YD, CRR, IVR), pp. 500–501.
- ICLP-2003-SahaR #evaluation #incremental #logic programming #source code
- Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 392–406.
- VMCAI-2003-YangRS #encoding #logic #mobile #model checking #process #using #π-calculus
- A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution (PY, CRR, SAS), pp. 116–131.
- DocEng-2002-TubbsE
- Recognizing records from the extracted cells of microfilm tables (KMT, DWE), pp. 149–156.
- SIGMOD-2002-MarklL #learning
- Learning table access cardinalities with LEO (VM, GML), p. 613.
- VLDB-2002-KarayannidisTSPMRFEB #clustering #query
- Processing Star Queries on Hierarchically-Clustered Fact Tables (NK, AT, TKS, RP, VM, FR, RF, KE, RB), pp. 730–741.
- ICSM-2002-LinH #approach #reduction #testing
- A Table Reduction Approach for Software Structure Testing (JCL, LHH), pp. 414–421.
- ICSM-2002-Wu #case study #re-engineering
- Case Study on Software Engineering Practices with Parnas Tables (ZLW), p. 572.
- STOC-2002-CryanD #algorithm #approximate #constant #polynomial
- A polynomial-time algorithm to approximately count contingency tables when the number of rows is constant (MC, MED), pp. 240–249.
- CAiSE-2002-FilhaSLE #query #representation #using #web
- Using Nested Tables for Representing and Querying Semistructured Web Data (IMREF, ASdS, AHFL, DWE), pp. 719–723.
- ICEIS-2002-Castro-SchezJMR #fuzzy
- Simple Decision Support System Based on Fuzzy Repertory Table (JJCS, LJ, JMG, LRB), pp. 424–430.
- CIKM-2002-ChongSDFYJTKJ
- A mapping mechanism to support bitmap index and other auxiliary structures on tables stored as primary B±trees (EIC, JS, SD, CF, AY, MJ, ATT, RK, RJ), pp. 625–628.
- CIKM-2002-SharafC #semantics #summary
- Semantic-based delivery of OLAP summary tables in wireless environments (MAS, PKC), pp. 84–92.
- ICPR-v3-2002-CesariMSS #documentation #image
- Trainable Table Location in Document Images (FC, SM, LS, GS), pp. 236–240.
- KR-2002-RandellW #axiom #composition #scalability
- Building Large Composition Tables via Axiomatic Theories (DAR, MW), pp. 26–36.
- SIGIR-2002-DavulcuMSR #named
- CuTeX: a system for extracting data from text tables (HD, SM, AS, IVR), p. 457.
- OOPSLA-2002-ZibinG #algorithm #multi #performance
- Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching (YZ, JYG), pp. 142–160.
- LOPSTR-2002-AbdennadherR #constraints #logic programming #synthesis #theorem proving #using
- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (SA, CR), pp. 32–47.
- LOPSTR-2002-ClaytonCPU #bottom-up #logic programming
- Tabling Structures for Bottom-Up Logic Programming (RC, JGC, BP, MU), pp. 50–51.
- ICLP-2002-PemmasaniRR #constraints #logic programming #model checking #performance #realtime #using
- Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints (GP, CRR, IVR), pp. 100–114.
- ICLP-2002-Pientka #higher-order #logic programming
- A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming (BP), pp. 271–286.
- DocEng-2001-Silberhorn #approach #named
- TabulaMagica: an integrated approach to manage complex tables (HS), pp. 68–75.
- ICDAR-2001-AmanoAMSS #analysis #documentation #grammarware #synthesis
- Table Form Document Synthesis by Grammar-Based Structure Analysis (AA, NA, TM, TS, KS), pp. 533–539.
- ICDAR-2001-BourgeoisEB #comprehension #documentation #probability #using
- Document Understanding Using Probabilistic Relaxation: Application on Tables of Contents of Periodicals (FL, HE, SSB), pp. 508–512.
- ICDAR-2001-Couasnon #automation #documentation #generative #named #recognition
- DMOS: A Generic Document Recognition Method, Application to an Automatic Generator of Musical Scores, Mathematical Formulae and Table Structures Recognition Systems (BC), pp. 215–220.
- ICDAR-2001-HuKLWN #why
- Why Table Ground-Truthing is Hard (JH, RSK, DPL, GTW, GN), pp. 129–133.
- ICDAR-2001-Hurst #layout #using
- Layout and Language: Exploring Text Block Discovery in Tables Using Linguistic Resources (MH), pp. 523–527.
- ICDAR-2001-KieningerD #recognition
- Applying the T-Recs Table Recognition System to the Business Letter Domain (TK, AD), pp. 518–522.
- ICDAR-2001-KleinGKD #industrial
- Three Approaches to “Industrial” Table Spotting (BK, SG, TK, AD), pp. 513–517.
- ICDAR-2001-TsuruokaTYST #image #segmentation
- Region Segmentation for Table Image with Unknown Complex Structure (ST, TT, TY, TS, KT), pp. 709–715.
- ICDAR-2001-WangHP #automation #generative
- Automatic Table Ground Truth Generation and a Background-Analysis-Based Table Structure Extraction Method (YW, RMH, ITP), pp. 528–532.
- IWPC-J-1999-CifuentesE01
- Recovery of jump table case statements from binary code (CC, MVE), pp. 171–188.
- SIGIR-2001-SakaiR #feedback #flexibility #optimisation #pseudo #using
- Flexible Pseudo-Relevance Feedback Using Optimization Tables (TS, SER), pp. 396–397.
- SAC-2001-CunninghamW #abstraction #framework
- Building a layered framework for the table abstraction (HCC, JW), pp. 668–674.
- CC-2001-TiceG #generative #robust
- A Practical, Robust Method for Generating Variable Range Tables (CT, SLG), pp. 102–117.
- HPCA-2001-GoemanVB #difference #performance #predict
- Differential FCM: Increasing Value Prediction Accuracy by Improving Table Usage Efficiency (BG, HV, KDB), pp. 207–216.
- ICLP-2001-BasuMRRV #bisimulation #constraints #logic programming #using
- Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming (SB, MM, CRR, IVR, RMV), pp. 166–180.
- ICLP-2001-GuoG #implementation #logic programming #order
- A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives (HFG, GG), pp. 181–196.
- ICLP-2001-RochaSC #on the
- On a Tabling Engine That Can Exploit Or-Parallelism (RR, FMAS, VSC), pp. 43–58.
- SIGMOD-2000-LehnerSPC #automation #maintenance #summary
- Maintenance of Automatic Summary Tables (WL, RS, HP, RC), pp. 512–513.
- SIGMOD-2000-ZaharioudakisCLPU #automation #query #sql #summary #using
- Answering Complex SQL Queries Using Automatic Summary Tables (MZ, RC, GL, HP, MU), pp. 105–116.
- VLDB-2000-LuL #classification #scalability
- Decision Tables: Scalable Classification Exploring RDBMS Capabilities (HL, HL), pp. 373–384.
- VLDB-2000-SrinivasanDFCJYKTDB
- Oracle8i Index-Organized Table and Its Application to New Domains (JS, SD, CF, EIC, MJ, AY, RK, ATT, SD, JB), pp. 285–296.
- ICPR-v2-2000-ChenC #recursion
- Recursive Conversion of Chain Code into Quadtree with Table Lookup (ZC, IPC), pp. 6054–6057.
- ICPR-v4-2000-BelaidPV #recognition
- Part-of-Speech Tagging for Table of Contents Recognition (AB, LP, NV), pp. 4451–4454.
- TOOLS-PACIFIC-2000-PowerM #c++
- Symbol Table Construction and Name Lookup in ISO C++ (JFP, BAM), pp. 57–69.
- PPDP-2000-RoychoudhuryRR #proving #using
- Justifying proofs using memo tables (AR, CRR, IVR), pp. 178–189.
- PADL-2000-ZhouSYY #implementation #linear
- Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.
- ISMM-2000-Tarditi #garbage collection
- Compact Garbage Collection Tables (DT), pp. 50–58.
- CL-2000-CuiW #constraints #logic programming
- A System for Tabled Constraint Logic Programming (BC, DSW), pp. 478–492.
- CL-2000-YangK #implementation #logic #named #performance #using
- FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine (GY, MK), pp. 1078–1093.
- HT-1999-SeebergSRFS #learning
- Individual Tables of Contents in Web-Based Learning Systems (CS, AS, KR, SF, RS), pp. 167–168.
- VLDB-1999-JaedickeM
- User-Defined Table Operators: Enhancing Extensibility for ORDBMS (MJ, BM), pp. 494–505.
- IWPC-1999-CifuentesE
- Recovery of Jump Table Case Statements from Binary Code (CC, MVE), pp. 192–199.
- FLOPS-1999-JohnsonRRR #evaluation #logic programming #performance #source code
- A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs (EJ, CRR, IVR, PR), pp. 284–300.
- FLOPS-1999-VerbaetenS #analysis #logic programming #source code #termination #using
- Termination Analysis of Tabled Logic Programs Using Mode and Type Information (SV, DDS), pp. 163–178.
- DLT-1999-DrewesKK
- Table-driven and context-sensitive collage languages (FD, RKH, HJK), pp. 326–337.
- ICALP-1999-GavoilleH #bound #graph
- Compact Routing Tables for Graphs of Bounded Genus (CG, NH), pp. 351–360.
- AGTIVE-1999-Rahgozar #documentation #graph grammar #recognition
- Document Table Recognition by Graph Rewriting (MAR), pp. 279–295.
- HCI-EI-1999-AarasRH
- Can a more neutral position and support of the forearms at the Table top reduce pain for VDU operators. Laboratory and field studies (AA, OR, GH), pp. 51–55.
- CIKM-1999-LimN #approach #automation #html
- An Automated Approach for Retrieving Hierarchical Data from HTML Tables (SJL, YKN), pp. 466–474.
- PPDP-1999-VerbaetenSS #composition #prolog #proving #termination
- Modular Termination Proofs for Prolog with Tabling (SV, KFS, DDS), pp. 342–359.
- PADL-1999-DemoenS #approach #chat #named
- CHAT: The Copy-Hybrid Approach to Tabling (BD, KFS), pp. 106–121.
- PADL-1999-RochaSC
- Or-Parallelism within Tabling (RR, FMAS, VSC), pp. 137–151.
- LCTES-1999-TomoyoshiK #embedded #realtime
- Table-based QoS Control for Embedded Real-Time Systems (TS, KT), pp. 65–72.
- CADE-1999-AdamsGLM #named
- VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.
- ICLP-1999-AlferesPS #abduction #source code
- Well-founded Abduction via Tabled Dual Programs (JJA, LMP, TS), pp. 426–440.
- ICLP-1999-CuiW #logic programming #multi
- Multiple Terms in a Tabled Logic Programming System (BC, DSW), pp. 305–319.
- ICLP-1999-ZhouSYY #linear
- A Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), p. 618.
- DAC-1998-LillisB
- Table-Lookup Methods for Improved Performance-Driven Routing (JL, PB), pp. 368–373.
- ICALP-1998-DyerG #algorithm #polynomial
- A Genuinely Polynomial-Time Algorithms for Sampling Two-Rowed Contingency Tables (MED, CSG), pp. 339–350.
- KDD-1998-KohaviS #classification
- Targeting Business Users with Decision Table Classifiers (RK, DS), pp. 249–253.
- ALP-PLILP-1998-DemoenS #approach #named
- CAT: The Copying Approach to Tabling (BD, KFS), pp. 21–35.
- ASPLOS-1998-JacobM #memory management
- A Look at Several Memory Management Units, TLB-Refill Mechanisms, and Page Table Organizations (BLJ, TNM), pp. 295–306.
- ISMM-1998-DemoenS #memory management #prolog
- Memory Management for Prolog with Tabling (BD, KFS), pp. 97–106.
- JICSLP-1998-RaoRR #on the #scheduling
- On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution (PR, CRR, IVR), pp. 310–324.
- DAC-1997-CroixW #logic #performance #synthesis
- A Fast And Accurate Technique To Optimize Characterization Tables For Logic Synthesis (JFC, DFW), pp. 337–340.
- DAC-1997-Schneider #parallel #trade-off
- A Parallel/Serial Trade-Off Methodology for Look-Up Table Based Decoders (CS), pp. 498–503.
- ICDAR-1997-HurstD #layout
- Layout and Language: Preliminary Investigations in Recognizing the Structure of Tables (MH, SD), pp. 1043–1047.
- ICDAR-1997-ShamilianBW
- A retargetable table reader (JHS, HSB, TLW), pp. 158–163.
- ICDAR-1997-Zuyev #image #segmentation
- Table Image Segmentation (KZ), pp. 705–708.
- SIGMOD-1997-MumickQM #maintenance #summary
- Maintenance of Data Cubes and Summary Tables in a Warehouse (ISM, DQ, BSM), pp. 100–111.
- TACAS-1997-OwreRS #integration #model checking
- Integration in PVS: Tables, Types, and Model Checking (SO, JMR, NS), pp. 366–383.
- HCI-CC-1997-Vanderheiden97a #architecture #interface
- Use of a Common Table Architecture for Creating Hands Free, Eyes Free, Noisy Environment (Flex-Modal, Flex-Input) Interfaces (GCV), pp. 449–452.
- HCI-SEC-1997-SantucciT #interactive #query
- Table Expander: Hypertabular Interaction with Query Results (GS, LT), pp. 731–734.
- OOPSLA-1997-ZendraCC #compilation #performance
- Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.
- TOOLS-USA-1997-HolstS #incremental #object-oriented
- Incremental Table-Based Method Dispatch for Reflective Object-Oriented Languages (WH, DS), p. 63–?.
- LOPSTR-1997-DecorteSLMS #analysis #logic programming #termination
- Termination Analysis for Tabled Logic Programming (SD, DDS, ML, BM, KFS), pp. 111–127.
- LOPSTR-1997-LeuschelMS #logic programming #source code #termination
- Preserving Termination of Tabled Logic Programs While Unfolding (ML, BM, KFS), pp. 189–205.
- CAV-1997-RamakrishnanRRSSW #model checking #performance #using
- Efficient Model Checking Using Tabled Resolution (YSR, CRR, IVR, SAS, TS, DSW), pp. 143–154.
- CAV-1997-SawadaH #approach #pipes and filters #verification
- Trace Table Based Approach for Pipeline Microprocessor Verification (JS, WAHJ), pp. 364–375.
- ILPS-1997-FreireW
- Controlling the Search in Tabled Evaluations (JF, DSW), p. 409.
- DAC-1996-LiG #optimisation #using
- HDL Optimization Using Timed Decision Tables (JL, RKG), pp. 51–54.
- PODS-1996-GyssensLS #paradigm #query
- Tables as a Paradigm for Querying and Restructuring (MG, LVSL, INS), pp. 93–103.
- SIGMOD-1996-SrikantA #mining #relational #scalability
- Mining Quantitative Association Rules in Large Relational Tables (RS, RA), pp. 1–12.
- WIA-1996-Maurel #automaton
- Building Automata on Schemata and Acceptability Tables: Application to French Data Adverbials (DM), pp. 72–86.
- AKDDM-1996-ZembowiczZ #database
- From Contingency Tables to Various Forms of Knowledge in Databases (RZ, JMZ), pp. 329–349.
- PLILP-1996-FreireSW #logic programming #scheduling #source code
- Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.
- SAC-1996-BhatiaS #database #image
- Near perfect hash table for image databases (SKB, CLS), pp. 442–446.
- CC-1996-VitekH #object-oriented
- Compact Dispatch Tables for Dynamically Typed Object Oriented Languages (JV, RNH), pp. 309–325.
- JICSLP-1996-RaoRR #concurrent #thread
- A Thread in Time Saves Tabling Time (PR, CRR, IVR), pp. 112–126.
- DAC-1995-SawkarT #clustering #multi
- Multi-way Partitioning for Minimum Delay for Look-Up Table Based FPGAs (PS, DET), pp. 201–205.
- ICDAR-v1-1995-GreenK #analysis #modelling
- Model-based analysis of printed tables (EAG, MSK), pp. 214–217.
- ICDAR-v1-1995-HoriD #analysis #reasoning #robust
- Robust table-form structure analysis based on box-driven reasoning (OH, DSD), pp. 218–221.
- ICDAR-v2-1995-Hirayama #analysis #using
- A method for table structure analysis using DP matching (YH), pp. 583–586.
- ICDAR-v2-1995-WatanabeF #comprehension #documentation #framework #image #validation
- A framework for validating recognized results in understanding table-form document images (TW, TF), pp. 536–539.
- CIKM-1995-WakeF #library #named
- SortTables: A Browser for a Digital Library (WCW, EAF), pp. 175–181.
- KDD-1995-SkowronS #approach #concurrent #modelling #set
- Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach (AS, ZS), pp. 288–293.
- SEKE-1995-Junkermann #design #process
- A Dedicated Process Design Language based on EER-models, Statecharts and Tables (GJ), pp. 487–496.
- OOPSLA-1995-DriesenH
- Minimizing Row Displacement Dispatch Tables (KD, UH), pp. 141–155.
- PLILP-1995-DawsonRR #design #implementation #logic programming #performance #source code
- Design and Implementation of Jump Tables for Fast Indexing of Logic Programs (SD, CRR, IVR), pp. 133–150.
- PLILP-1995-FreireHSW #parallel
- Exploiting Parallelism in Tabled Evaluations (JF, RH, TS, DSW), pp. 115–132.
- ICSE-1995-Janicki #semantics #towards
- Towards a Formal Semantics of Parnas Tables (RJ), pp. 231–240.
- SOSP-1995-TalluriHK
- A New Page Table for 64-bit Address Spaces (MT, MDH, YYAK), pp. 184–200.
- ICLP-1995-RamakrishnanRSSW #logic programming #performance #source code
- Efficient Tabling Mechanisms for Logic Programs (IVR, PR, KFS, TS, DSW), pp. 697–711.
- CHI-1994-RaoC94a #interactive #lens #visual notation #visualisation
- The table lens: merging graphical and symbolic representations in an interactive focus + context visualization for tabular information (RR, SKC), pp. 318–322.
- SEKE-1994-VanthienenW #database #relational
- Managing decision table knowledge in a relational database environment (JV, GW), pp. 352–357.
- OOPSLA-1994-AmielGS #multi #optimisation #using
- Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables (EA, OG, ES), pp. 244–258.
- DAC-1993-MurgaiBS #array #programmable #synthesis
- Sequential Synthesis for Table Look Up Programmable Gate Arrays (RM, RKB, ALSV), pp. 224–229.
- DAC-1993-SawkarT #performance
- Performance Directed Technology Mapping for Look-Up Table Based FPGAs (PS, DET), pp. 208–212.
- ICDAR-1993-Itonori #recognition
- Table structure recognition based on textblock arrangement and ruled line position (KI), pp. 765–768.
- ICDAR-1993-WatanabeLS #comprehension #documentation #framework #information management #representation #towards
- Toward a practical document understanding of table-form documents: its framework and knowledge representation (TW, QL, NS), pp. 510–515.
- ICALP-1993-Frederickson
- Searching among Intervals and Compact Routing Tables (GNF), pp. 28–39.
- OOPSLA-1993-Driesen #array
- Selector Table Indexing & Sparse Arrays (KD), pp. 259–270.
- RTA-1993-Lippe #bottom-up #generative
- Generating Tables for Bottom-Up Matching (EL), pp. 274–288.
- DAC-1992-SawkarT #array #programmable
- Area and Delay Mapping for Table-Look-Up Based Field Programmable Gate Arrays (PS, DET), pp. 368–373.
- SIGMOD-1992-MohanN #algorithm #scalability
- Algorithms for Creating Indexes for Very Large Tables Without Quiescing Updates (CM, IN), pp. 361–370.
- PLDI-1992-Proebsting #generative #performance
- Simple and Efficient BURS Table Generation (TAP), pp. 331–340.
- CC-1992-Assmann #problem
- Another Solution of Scoping Problems in Symbol Tables (WA), pp. 66–71.
- CADE-1992-RandellCC #automation #challenge #proving #theorem proving
- Computing Transivity Tables: A Challenge For Automated Theorem Provers (DAR, AGC, ZC), pp. 786–790.
- DAC-1991-FrancisRV #named #performance
- Chortle-crf: Fast Technology Mapping for Lookup Table-Based FPGAs (RJF, JR, ZGV), pp. 227–233.
- DAC-1991-Karplus #array #named #programmable
- Xmap: A Technology Mapper for Table-Lookup Field-Programmable Gate Arrays (KK), pp. 240–243.
- PODS-1991-MalvestutoMR #2d #information management #statistics
- Suppressing Marginal Cells to Protect Sensitive Information in a Two-Dimensional Statistical Table (FMM, MM, MR), pp. 252–258.
- SIGMOD-1991-HansenU #dependence
- An Extended Memoryless Inference Control Method: Accounting for Dependence in Table-level Controls (SCH, EAU), pp. 348–356.
- DAC-1990-FrancisRC #array #named #programmable
- Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays (RJF, JR, KC), pp. 613–619.
- STOC-1990-OgiwaraW #bound #on the #polynomial #set
- On Polynomial Time Bounded Truth-Table Reducibility of NP Sets to Sparse Sets (MO, OW), pp. 457–467.
- PODS-1989-Grahne #database #performance
- Horn Tables — An Efficient Tool for Handling Incomplete Information in Databases (GG), pp. 75–82.
- STOC-1988-FiatNSSS #multi
- Storing and Searching a Multikey Table (Extended Abstract) (AF, MN, AAS, JPS, AS), pp. 344–353.
- STOC-1988-PelegU #performance #trade-off
- A Tradeoff between Space and Efficiency for Routing Tables (Extended Abstract) (DP, EU), pp. 43–52.
- ICALP-1988-TangB #polynomial #reduction #set
- Separating Polynomial-Time Turing and Truth-Table Reductions by Tally Sets (ST, RVB), pp. 591–599.
- STOC-1987-Munro
- Searching a Two Key Table Under a Single Key (JIM), pp. 383–387.
- ICLP-1987-BarklundM87 #logic programming
- Hash Tables in Logic Programming (JB, HM), pp. 411–427.
- SLP-1987-Dietrich87 #logic programming
- Extension Tables: Memo Relations in Logic Programming (SWD), pp. 264–272.
- SIGMOD-1986-DadamKABEGLPW #prototype
- A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies (PD, KK, FA, HMB, RE, JG, VYL, PP, GW), pp. 356–367.
- PODS-1985-OzsoyogluM #on the #optimisation #query
- On Optimizing Summary-Table-by-Example Queries (GÖ, VM), pp. 38–50.
- SIGMOD-1985-OzsoyogluOM #physics #summary
- A Language and a Physical Organization Technique for Summary Tables (GÖ, ZMÖ, FM), pp. 3–16.
- VLDB-1984-YangD
- A Dynamic Perfect Hash Function Defined by an Extended Hash Indicator Table (WPY, MWD), pp. 245–254.
- ICSE-1984-BiggerstaffEF #editing #named #object-oriented
- TABLE: Object Oriented Editing of Complex Structures (TJB, DME, IRF), pp. 334–345.
- SCC-1982-Bird #code generation #generative #implementation #specification
- An Implementation of a Code Generator Specification Language for Table Driven Code Generators (PLB), pp. 44–55.
- SCC-1982-GrahamHS #code generation #empirical
- An Experiment in Table Driven Code Generation (SLG, RRH, RAS), pp. 32–43.
- ASPLOS-1982-Reed #memory management #on the
- On a General Property of Memory Mapping Tables (KR), pp. 81–86.
- ICALP-1981-ItaiKR #implementation
- A Sparse Table Implementation of Priority Queues (AI, AGK, MR), pp. 417–431.
- DAC-1980-Ulrich #flexibility #logic #performance #simulation
- Table lookup techniques for fast and flexible digital logic simulation (EU), pp. 560–563.
- VLDB-1980-Litwin #linear
- Linear Hashing: A New Tool for File and Table Addressing (WL), pp. 212–223.
- ICALP-1980-SchmidtS
- An Improved Program for Constructing Open Hash Tables (JPS, ES), pp. 569–581.
- SIGMOD-1979-Lomet #multi
- Multi-Table Search for B-Tree Files (DBL), pp. 35–42.
- SCC-1979-GrahamJR
- Hashed symbol tables for languages with explicit scope control (SLG, WNJ, OR), pp. 50–57.
- ICSE-1976-BillawalaST #data type #multi #simulation
- A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems (NB, SAS, EWT), pp. 151–157.
- ICSE-1976-LewT #programming #reliability
- Decision Table Programming and Reliability (AL, DT), pp. 345–349.
- VLDB-1975-Zloof #named
- Query-by-Example: the Invocation and Definition of Tables and Forms (MMZ), pp. 1–24.
- SIGFIDET-1971-Knott #retrieval
- Expandable Open Addressing Hash Table Storage and Retrieval (GDK), pp. 187–206.
- STOC-1971-Terrine #algorithm #bottom-up #context-free grammar #generative #parsing #set
- An Algorithm Generating the Decision Table of a Deterministic Bottom Up Parser for a Subset of Context Free Grammars (GT), pp. 185–205.
- DAC-1970-SmithT #heuristic #scalability
- A simplification heuristic for large flow tables (RJSI, JHT), pp. 47–53.