BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
generat (23)
data (23)
use (23)
base (22)
system (15)

Stem summari$ (all stems)

201 papers:

DocEngDocEng-2015-BanerjeeMS #generative #summary
Generating Abstractive Summaries from Meeting Transcripts (SB, PM, KS), pp. 51–60.
PODSPODS-2015-Cormode #dataset #scalability #summary
Compact Summaries over Large Datasets (GC), pp. 157–158.
SIGMODSIGMOD-2015-FakasCM #keyword #summary
Diverse and Proportional Size-l Object Summaries for Keyword Search (GJF, ZC, NM), pp. 363–375.
VLDBVLDB-2015-ConsensFKP #bisimulation #query #summary
S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems (MPC, VF, SK, GP), pp. 2028–2039.
ICSMEICSME-2015-AbidDCM #automation #c++ #generative #natural language #summary #using
Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
HCIHIMI-IKD-2015-ImajiF #generative #summary #visual notation
Generating Summary Videos Based on Visual and Sound Information from Movies (YI, MF), pp. 190–203.
SIGIRSIGIR-2015-TrippasSSC #communication #comprehension #summary #towards #web
Towards Understanding the Impact of Length in Web Search Result Summaries over a Speech-only Communication Channel (JRT, DS, MS, LC), pp. 991–994.
POPLPOPL-2015-TangWZXZM #analysis #data flow
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.
ESEC-FSEESEC-FSE-2015-SenNGC #execution #multi #named #summary #symbolic computation #using
MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.
ICLPICLP-2015-Charwat #diagrams #programming #research #summary #using
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).
DocEngDocEng-2014-HughesBBA #documentation #generative #summary
Generating summary documents for a variable-quality PDF document collection (JH, DFB, SRB, CEA), pp. 49–52.
SIGMODSIGMOD-2014-XiaoE #database #named #relational
InsightNotes: summary-based annotation management in relational databases (DX, MYE), pp. 661–672.
TACASTACAS-2014-Beyer #contest #summary #verification
Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
ICSMEICSME-2014-YeasminRS #debugging #evolution #interactive #summary #topic #using #visualisation
Interactive Visualization of Bug Reports Using Topic Evolution and Extractive Summaries (SY, CKR, KAS), pp. 421–425.
AFLAFL-2014-GruberH #automaton #complexity #finite #regular expression #summary
From Finite Automata to Regular Expressions and Back — A Summary on Descriptional Complexity (HG, MH), pp. 25–48.
ICALPICALP-v1-2014-ColeK #algorithm #performance #summary
Fast Algorithms for Constructing Maximum Entropy Summary Trees (RC, HJK), pp. 332–343.
ICGTICGT-2014-JansenN #generative #graph #pointer #source code #summary
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
CIKMCIKM-2014-SeolJYCL #problem #summary
A Problem-Action Relation Extraction Based on Causality Patterns of Clinical Events in Discharge Summaries (JWS, SHJ, WY, JC, KSL), pp. 1971–1974.
ECIRECIR-2014-ChhabraB #generative #summary #towards
Towards Generating Text Summaries for Entity Chains (SC, SB), pp. 136–147.
SIGIRSIGIR-2014-WanZ #named #summary
CTSUM: extracting more certain summaries for news articles (XW, JZ), pp. 787–796.
ASEASE-2013-PalepuXJ #dependence #dynamic analysis #performance #summary
Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
TACASTACAS-2013-Beyer #contest #summary #verification
Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
TACASTACAS-2013-GantyIK #approximate #integer #source code #summary
Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
ICPCICPC-2013-KamimuraM #generative #summary #testing #towards
Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
ICPCICPC-2013-MorenoASMPV #automation #generative #java #natural language #summary
Automatic generation of natural language summaries for Java classes (LM, JA, GS, AM, LLP, KVS), pp. 23–32.
ICPCICPC-2013-MorenoMPV #automation #generative #java #named #natural language #summary
JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
ICSMEICSM-2013-Perez #design #lessons learnt #refactoring #smell #summary
Refactoring Planning for Design Smell Correction: Summary, Opportunities and Lessons Learned (JP), pp. 572–577.
HCIDUXU-NTE-2013-Gasser #design #summary
Humor Illustration Design, a Summary of Illustrations, Designs, and Projects (JG), pp. 513–519.
HCIHCI-AS-2013-DePaloPS #documentation #summary #using
Healthcare Interoperability: CDA Documents Consolidation Using Transport Record Summary (TRS) Construction (PD, KEP, YTS), pp. 56–65.
ICEISICEIS-v1-2013-PuyanaQ #automation #generative #named #summary
GReAT — A Model for the Automatic Generation of Text Summaries (CGP, APQ), pp. 280–288.
SIGIRSIGIR-2013-AgeevLA #behaviour #summary #using
Improving search result summaries by using searcher behavior data (MA, DL, EA), pp. 13–22.
SIGIRSIGIR-2013-BonzaniniMR #summary
Extractive summarisation via sentence removal: condensing relevant sentences into a short summary (MB, MMA, TR), pp. 893–896.
SIGIRSIGIR-2013-SakaiD #evaluation #framework #information management #retrieval #summary
Summaries, ranked retrieval and sessions: a unified framework for information access evaluation (TS, ZD), pp. 473–482.
SIGIRSIGIR-2013-SakaiDYLZKSI #mining #summary #topic
Summary of the NTCIR-10 INTENT-2 task: subtopic mining and search result diversification (TS, ZD, TY, YL, MZ, MPK, RS, MI), pp. 761–764.
PODSPODS-2012-AgarwalCHPWY #summary
Mergeable summaries (PKA, GC, ZH, JMP, ZW, KY), pp. 23–34.
ICALPICALP-v2-2012-Harel #experience #summary
Standing on the Shoulders of a Giant — One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture) (DH), pp. 16–22.
CIKMCIKM-2012-GutierrezDFG #feedback #information management #ontology #student #summary
Providing grades and feedback for student summaries by ontology-based information extraction (FG, DD, SF, GG), pp. 1722–1726.
KDIRKDIR-2012-WenerstromK #multi #summary
Search Result Summaries Improved by Structure and Multimedia (BW, MK), pp. 181–186.
KEODKEOD-2012-WandeltM #ontology #semantics #summary #towards
Towards Semantic Summaries over Ontologies (SW, RM), pp. 196–201.
CGOCGO-2012-MatosevicA #analysis #bottom-up #data access #performance #summary
Efficient bottom-up heap analysis for symbolic path-based data access summaries (IM, TSA), pp. 252–263.
CGOCGO-2012-ShangXX #analysis #on-demand #points-to
On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.
HPDCHPDC-2012-GeorgakoudisLN #manycore #migration #summary #symmetry
Dynamic binary rewriting and migration for shared-ISA asymmetric, multicore processors: summary (GG, SL, DSN), pp. 127–128.
HTHT-2011-GoedeMNW #network #social #summary #using
Succinct summaries of narrative events using social networks (BdG, MM, AN, JvW), pp. 299–304.
PODSPODS-2011-WeiY #query #summary
Beyond simple aggregates: indexing for summary queries (ZW, KY), pp. 117–128.
VLDBVLDB-2011-YangPS11a #database #graph #relational #summary
Summary Graphs for Relational Database Schemas (XY, CMP, DS), pp. 899–910.
VLDBVLDB-2012-FakasCM11 #keyword #relational #summary
Size-l Object Summaries for Relational Keyword Search (GJF, ZC, NM), pp. 229–240.
CSEETCSEET-2011-Jazayeri #education #re-engineering #summary #tutorial
Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.
ICPCICPC-2011-SridharaPV #generative #parametricity #summary
Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.
ICSMEICSM-2011-RastkarMB #generative #natural language #source code #summary
Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.
PLDIPLDI-2011-DilligDAS #composition #precise #source code #summary
Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.
SASSAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
ICEISICEIS-v2-2011-JiananDF #summary
Summary of LASSO and Relative Methods (XJ, SD, XF), pp. 131–134.
CCCC-2011-NaeemL #alias #analysis #performance #set #summary #using
Faster Alias Set Analysis Using Summaries (NAN, OL), pp. 82–103.
ASEASE-2010-SridharaHMPV #automation #generative #java #summary #towards
Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.
CASECASE-2010-SudarsanSNSLLK #framework #metric #standard #summary
Sustainable Manufacturing: Metrics, Standards, and Infrastructure — Workshop summary (RS, RDS, AN, PS, JL, KWL, SJK), pp. 144–149.
HTHT-2010-WolffMZ #approach #feedback #hypermedia #summary #visual notation
Visual summaries of data: a spatial hypertext approach to user feedback (AW, PM, ZZ), pp. 287–288.
SIGMODSIGMOD-2010-SiferLWB #corpus #keyword #multi #summary
Integrating keyword search with multiple dimension tree views over a summary corpus data cube (MS, JL, YW, SB), pp. 1167–1170.
SIGMODSIGMOD-2010-TaoYSPL #summary
Logging every footstep: quantile summaries for the entire history (YT, KY, CS, JP, FL), pp. 639–650.
CIAACIAA-2010-Rudie #problem #summary
A Summary of Some Discrete-Event System Control Problems (KR), pp. 4–16.
CIKMCIKM-2010-TakamuraO #learning #summary
Learning to generate summary as structured output (HT, MO), pp. 1437–1440.
ECIRECIR-2010-KabadjovSSPP #evaluation #summary #taxonomy #using
Enhancing N-Gram-Based Summary Evaluation Using Information Content and a Taxonomy (MAK, JS, RS, MP, BP), pp. 662–666.
SIGIRSIGIR-2010-WanLX #named #summary
EUSUM: extracting easy-to-understand english summaries for non-native readers (XW, HL, JX), pp. 491–498.
ICSEICSE-2010-Firesmith #requirements #summary #tutorial
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.
ASEASE-2009-VakilianDBOAJ #summary
Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.
VLDBVLDB-2009-ChenLFCYH #graph #mining #random #summary
Mining Graph Patterns Efficiently via Randomized Summaries (CC, CXL, MF, MC, XY, JH), pp. 742–753.
HCIHIMI-II-2009-AllamrajuC #clustering #documentation #heuristic #preprocessor
Enhancing Document Clustering through Heuristics and Summary-Based Pre-processing (SHA, RC), pp. 105–113.
CIKMCIKM-2009-KimZ #comparative #generative #summary
Generating comparative summaries of contradictory opinions in text (HDK, CZ), pp. 385–394.
ECIRECIR-2009-AliCL #navigation #representation #retrieval #summary #xml
Representing User Navigation in XML Retrieval with Structural Summaries (MSA, MPC, BL), pp. 719–723.
ICMLICML-2009-BennettBC #information retrieval #machine learning #summary #tutorial
Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.
ICMLICML-2009-BeygelzimerLZ #machine learning #reduction #summary #tutorial
Tutorial summary: Reductions in machine learning (AB, JL, BZ), p. 12.
ICMLICML-2009-DasguptaL #learning #summary #tutorial
Tutorial summary: Active learning (SD, JL), p. 18.
ICMLICML-2009-Even-DarM #convergence #summary #tutorial
Tutorial summary: Convergence of natural dynamics to equilibria (EED, VSM), p. 13.
ICMLICML-2009-Leskovec #ml #network #scalability #social #summary #tutorial
Tutorial summary: Large social and information networks: opportunities for ML (JL), p. 19.
ICMLICML-2009-Niv #learning #summary #tutorial
Tutorial summary: The neuroscience of reinforcement learning (YN), p. 16.
ICMLICML-2009-Smith #natural language #predict #summary #tutorial
Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.
ICMLICML-2009-TrespY #dependence #learning #summary #tutorial
Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.
ICMLICML-2009-WarmuthV #bibliography #optimisation #perspective #summary #tutorial
Tutorial summary: Survey of boosting from an optimization perspective (MKW, SVNV), p. 15.
KDDKDD-2009-PoernomoG #named #representation
CP-summary: a concise representation for browsing frequent itemsets (AKP, VG), pp. 687–696.
SIGIRSIGIR-2009-TurpinSJWC #evaluation #summary
Including summaries in system evaluation (AT, FS, KJ, MW, JSC), pp. 508–515.
ICLPICLP-2009-Ashley-Rollman #distributed #logic programming #research #summary
Research Summary: Logic Programming for Massively Distributed Systems (MPAR), pp. 527–529.
ICLPICLP-2009-Fodor #evaluation #logic programming #research #source code #summary #transaction
Research Summary: Tabled Evaluation for Transaction Logic Programs (PF), pp. 525–526.
ICLPICLP-2009-Ji #approach #architecture #programming #research #set #summary
A Cognitive Architecture for a Service Robot: An Answer Set Programming Approach (Research Summary) (JJ), pp. 532–533.
ICLPICLP-2009-Li #algorithm #constraints #difference #functional #integer #research #summary
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
ICLPICLP-2009-Paolucci #natural language #research #summary #tool support
Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.
ICLPICLP-2009-Pilozzi #research #summary #termination
Research Summary: Termination of CHR (PP), pp. 534–535.
ICLPICLP-2009-Raiser #constraints #graph transformation #research #summary #using
Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (Research Summary) (FR), pp. 540–541.
ICLPICLP-2009-Voets #analysis #logic programming #research #source code #summary
Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.
SIGMODSIGMOD-2008-PeiHTL #nondeterminism #probability #query #summary #tutorial
Query answering techniques on uncertain and probabilistic data: tutorial summary (JP, MH, YT, XL), pp. 1357–1364.
VLDBVLDB-2008-MoroVT #summary #xml
XML Structural Summaries (MMM, ZV, VJT), pp. 1524–1525.
CIKMCIKM-2008-YinPM #named #summary
PBFilter: indexing flash-resident data through partitioned summaries (SY, PP, XM), pp. 1333–1334.
KDDKDD-2008-KiernanT #scalability #sequence #summary
Constructing comprehensive summaries of large event sequences (JK, ET), pp. 417–425.
SIGIRSIGIR-2008-JohoHJ #documentation #summary #using
Emulating query-biased summaries using document titles (HJ, DH, JMJ), pp. 709–710.
POPLPOPL-2008-YorshYC #generative #precise #summary
Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.
SACSAC-2008-AntonellisMT #clustering #documentation #named #summary #using #xml
XEdge: clustering homogeneous and heterogeneous XML documents using edge summaries (PA, CM, NT), pp. 1081–1088.
ISMMISMM-2008-JungY #detection #memory management #summary
Practical memory leak detector based on parameterized procedural summaries (YJ, KY), pp. 131–140.
ESOPESOP-2007-GulwaniT #analysis #interprocedural #summary
Computing Procedure Summaries for Interprocedural Analysis (SG, AT), pp. 253–267.
CIKMCIKM-2007-BechchiRM #database #distributed #summary
Merging distributed database summaries (MB, GR, NM), pp. 419–428.
KDDKDD-2007-AgarwalBGYKS #effectiveness #performance #summary
Efficient and effective explanation of change in hierarchical summaries (DA, DB, DG, NEY, FK, DS), pp. 6–15.
SACSAC-2007-PaulK #precise #slicing #using
Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.
CCCC-2007-CheremR #analysis #lightweight #summary
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.
ICEISICEIS-AIDSS-2006-Nair #development #image #multi #summary
Development of Summaries of Certain Patterns in Multi-Band Satellite Images (HN), pp. 278–284.
CIKMCIKM-2006-HoseLS #distributed #summary #using
Processing relaxed skylines in PDMS using distributed data summaries (KH, CL, KUS), pp. 425–434.
ECIRECIR-2006-LiangDT #summary #web
Evaluating Web Search Result Summaries (SFL, SD, JT), pp. 96–106.
HPDCHPDC-2006-GrimshawKMM #grid #integration #legacy #named #standard #summary
Summary: Integration of Legacy Grid Systems with Emerging Grid Standards (ASG, WK, DM, MMM), pp. 337–338.
WICSAWICSA-2005-KnodelLM #architecture #evaluation #summary
Static Evaluation of Software Architectures — A Short Summary (JK, ML, DM), pp. 237–238.
VLDBVLDB-2005-BartaCM #data access #multi #query #summary #xml
Benefits of Path Summaries in an XML Query Optimizer Supporting Multiple Access Methods (AB, MPC, AOM), pp. 133–144.
ESOPESOP-2005-PodelskiSW #recursion #source code #summary
Summaries for While Programs with Recursion (AP, IS, SW), pp. 94–107.
CHICHI-2005-LamB #summary #web
Summary thumbnails: readable overviews for small screen web browsers (HL, PB), pp. 681–690.
CIKMCIKM-2005-EdaOY #query #summary #xml #xpath
Processing XPath queries with XML summaries (TE, MO, MY), pp. 223–224.
CIKMCIKM-2005-MullerEH #network #retrieval #scalability #summary
Scalable summary based retrieval in P2P networks (WM, ME, AH), pp. 586–593.
MLDMMLDM-2005-BarbuHAT #clustering #documentation #graph #image #summary #using
Clustering Document Images Using Graph Summaries (EB, PH, SA, ÉT), pp. 194–202.
SEKESEKE-2005-LeeWC #summary #video #web
Integrating Web Information to Generate Chinese Video Summaries (YSL, YCW, CHC), pp. 514–519.
SIGIRSIGIR-2005-McKeownPENH #question #summary
Do summaries help? (KM, RJP, DKE, AN, JH), pp. 210–217.
ICLPICLP-2005-Schrijvers #analysis #constraints #optimisation #summary
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary (TS), pp. 435–436.
WCREWCRE-2004-MurrayL #comprehension #summary
A Brief Summary of Cognitive Patterns for Program Comprehension (AM, TCL), pp. 304–305.
SASSAS-2004-NystromKH #analysis #bottom-up #pointer #top-down
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.
CIKMCIKM-2004-ZhaoK #clustering #documentation #summary
Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.
SIGMODSIGMOD-2003-LakshmananPZ #named #performance #semantics #summary
QC-Trees: An Efficient Summary Structure for Semantic OLAP (LVSL, JP, YZ), pp. 64–75.
SIGMODSIGMOD-2003-QunLO #adaptation #summary
D(k)-Index: An Adaptive Structural Summary for Graph-Structured Data (CQ, AL, KWO), pp. 134–144.
KDDKDD-2003-SripadaRHY #generative #summary #using
Generating English summaries of time series data using the Gricean maxims (SS, ER, JH, JY), pp. 187–196.
SIGIRSIGIR-2003-AhmadVO #categorisation #evaluation #summary
Summary evaluation and text categorization (KA, BV, PCFdO), pp. 443–444.
SIGIRSIGIR-2003-LawrieC #generative #summary #web
Generating hierarchical summaries for web searches (DJL, WBC), pp. 457–458.
SACSAC-2003-Tufts-ConradZZ #feature model #named #summary
SOM — Feature Extraction from Patient Discharge Summaries (DJTC, ANZH, DZ), pp. 263–267.
CIKMCIKM-2002-SharafC #semantics #summary
Semantic-based delivery of OLAP summary tables in wireless environments (MAS, PKC), pp. 84–92.
SACSAC-2002-ChanLMLHL #concept #documentation #mobile #multi #navigation #summary #using
Multiple related document summary and navigation using concept hierarchies for mobile clients (DLC, RWPL, WKM, HVL, EKSH, QL), pp. 627–632.
SACSAC-2002-SweeneyCT #mobile #summary #using
Mobile delivery of news using hierarchical query-biased summaries (SOS, FC, AT), pp. 634–639.
DATEDATE-2001-WongMYCMPCLV #concurrent #summary
Task concurrency management methodology summary (CW, PM, PY, FC, HDM, ASP, NC, RL, DV), p. 813.
ICDARICDAR-2001-GongL #summary
Creating Generic Text Summaries (YG, XL), pp. 903–907.
PODSPODS-2001-GilbertKMS #approximate #statistics #summary
Optimal and Approximate Computation of Summary Statistics for Range Aggregates (ACG, YK, SM, MS).
VLDBVLDB-2001-GilbertKMS #approximate #query #summary
Surfing Wavelets on Streams: One-Pass Summaries for Approximate Aggregate Queries (ACG, YK, SM, MS), pp. 79–88.
ITiCSEITiCSE-2001-Cassel #problem #student #summary
Reading summaries: relating class to student’s problems with the current reading assignment (LNC), p. 188.
ICSMEICSM-2001-Ernst #invariant #summary
Summary of Dynamically Discovering Likely Program Invariants (MDE), pp. 540–544.
KDDKDD-2001-ShekharLZ #algorithm #detection #graph #summary
Detecting graph-based spatial outliers: algorithms and applications (a summary of results) (SS, CTL, PZ), pp. 371–376.
SIGIRSIGIR-2001-AllanGK #summary #topic
Temporal Summaries of News Topics (JA, RG, VK), pp. 10–18.
SIGIRSIGIR-2001-SakaiJ #information retrieval #summary
Generic Summaries for Indexing in Information Retrieval (TS, KSJ), pp. 190–198.
SIGIRSIGIR-2001-Zechner #automation #generative #strict #summary
Automatic Generation of Concise Summaries of Spoken Dialogues in Unrestricted Domains (KZ), pp. 199–207.
SIGMODSIGMOD-2000-LehnerSPC #automation #maintenance #summary
Maintenance of Automatic Summary Tables (WL, RS, HP, RC), pp. 512–513.
SIGMODSIGMOD-2000-ZaharioudakisCLPU #automation #query #sql #summary #using
Answering Complex SQL Queries Using Automatic Summary Tables (MZ, RC, GL, HP, MU), pp. 105–116.
CHICHI-2000-HeSGG #summary
Comparing presentation summaries: slides vs. reading vs. listening (LH, ES, AG, JG), pp. 177–184.
CIKMCIKM-2000-GoldsteinMCC #multi #summary
Creating and Evaluating Multi-Document Sentence Extract Summaries (JG, VOM, JGC, JPC), pp. 165–172.
FMFM-v2-1999-AlexanderRB #summary
A Brief Summary of VSPEC (PA, MR, PB), pp. 1068–1086.
KDDKDD-1999-GantiGR #category theory #clustering #named #summary #using
CACTUS — Clustering Categorical Data Using Summaries (VG, JG, RR), pp. 73–83.
SIGIRSIGIR-1999-JingM #composition #summary
The Decomposition of Human-Written Summary Sentences (HJ, KM), pp. 129–136.
SIGIRSIGIR-1999-WitbrockM #approach #generative #named #statistics #summary
Ultra-Summarization: A Statistical Approach to Generating Highly Condensed Non-Extractive Summaries (poster abstract) (MJW, VOM), pp. 315–316.
ICSEICSE-1999-Ernst #detection #invariant #research #summary
Research Summary for Dynamic Detection of Program Invariants (MDE), pp. 718–719.
SIGMODSIGMOD-1998-GibbonsM #approximate #query #statistics #summary
New Sampling-Based Summary Statistics for Improving Approximate Query Answers (PBG, YM), pp. 331–342.
CSCWCSCW-1998-FinholtA #summary
Tutorials (Summary) (TAF, MSA), pp. 427–431.
SIGIRSIGIR-1998-CarbonellG #documentation #order #ranking #summary
The Use of MMR, Diversity-Based Reranking for Reordering Documents and Producing Summaries (JGC, JG), pp. 335–336.
SIGIRSIGIR-1998-TombrosS #information retrieval #query #summary
Advantages of Query Biased Summaries in Information Retrieval (AT, MS), pp. 2–10.
ICDARICDAR-1997-ChenB #documentation #summary
Extraction of Indicative Summary Sentences from Imaged Documents (FC, DSB), pp. 227–232.
SIGMODSIGMOD-1997-MumickQM #maintenance #summary
Maintenance of Data Cubes and Summary Tables in a Warehouse (ISM, DQ, BSM), pp. 100–111.
VLDBVLDB-1997-FaloutsosJS #summary
Recovering Information from Summary Data (CF, HVJ, NS), pp. 36–45.
SIGIRSIGIR-1997-Saracevic #summary
Users Lost: Reflections on the Past, Future, and Limits of Information Science (Summary) (TS), pp. 1–2.
LICSLICS-1996-AspinallC #dependent type #summary #type system
Subtyping Dependent Types (Summary) (DA, ABC), pp. 86–97.
SIGIRSIGIR-1995-McKeownR #generative #multi #summary
Generating Summaries of Multiple News Articles (KM, DRR), pp. 74–82.
PODSPODS-1994-Harel #summary
Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary) (DH), pp. 1–3.
CSCWCSCW-1994-KatzenbergM #summary
Meaning-Making in the Creation of Useful Summary Reports (BK, JPM), pp. 199–206.
CIKMCIKM-1993-LeeK #database #refinement #summary
A Hypothesis Refinement Method for Summary Discovery in Databases (DL, MHK), pp. 274–282.
AdaTRI-Ada-C-1992-HartDDEKKOO #concept #process #summary
STARS Process Concepts Summary (HH, JD, DD, WHE, JK, HK, LO, JO), pp. 570–594.
ASEKBSE-1991-White #knowledge-based #summary
The Knowledge-Based Software Assistant: A Program Summary (DAW), pp. 2–6.
KDDKDD-1991-ChenM #estimation #summary #using
Summary Data Estimation Using Decision Trees (MCC, LM), pp. 309–324.
KDDKDD-1991-Yager #on the #summary
On Linguistic Summaries of Data (RRY), pp. 347–366.
ICALPICALP-1990-MatiasV #integer #on the #parallel #sorting #summary
On Parallel Hashing and Integer Sorting (Extended Summary) (YM, UV), pp. 729–743.
LICSLICS-1990-KfouryT #polymorphism #re-engineering #summary #λ-calculus
Type Reconstruction in Finite-Rank Fragments of the Polymorphic λ-Calculus (Extended Summary) (AJK, JT), pp. 2–11.
LICSLICS-1989-Leivant #morphism #polymorphism #summary
Stratified Polymorphism (Extended Summary) (DL), pp. 39–47.
RTARTA-1989-Christian #performance #summary
Fast Knuth-Bendix Completion: Summary (JC), pp. 551–555.
ISSTATAV-1989-Gerhart #assessment #formal method #summary
Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems (SLG), pp. 152–155.
SIGMODSIGMOD-1988-Malvestuto #problem #summary
The Derivation Problem for Summary Data (FMM), pp. 82–89.
PLDIPLDI-1988-Callahan #analysis #data flow #graph #interprocedural #summary
The Program Summary Graph and Flow-Sensitive Interprocedural Data Flow Analysis (DC), pp. 47–56.
CADECADE-1988-LincolnC #commutative #summary #unification
Adventures in Associative-Commutative Unification (A Summary) (PL, JC), pp. 358–367.
CADECADE-1988-PaseK #summary
m-NEVER System Summary (BP, SK), pp. 738–739.
ICLPJICSCP-1988-LinK88 #execution #logic programming #memory management #multi #source code #summary
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results (YJL, VK), pp. 1123–1141.
STOCSTOC-1987-Awerbuch #algorithm #distributed #problem #summary
Optimal Distributed Algorithms for Minimum Weight Spanning Tree, Counting, Leader Election and Related Problems (Detailed Summary) (BA), pp. 230–240.
ICALPICALP-1986-BrzozowskiS #analysis #network #simulation #summary
Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary) (JAB, CJHS), pp. 69–78.
LISPLFP-1986-Hudak #abstraction #semantics #summary
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary) (PH), pp. 351–363.
LISPLFP-1986-Mitchell #approach #polymorphism #reduction #semantics #summary
A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary) (JCM), pp. 308–319.
PODSPODS-1985-OzsoyogluM #on the #optimisation #query
On Optimizing Summary-Table-by-Example Queries (, VM), pp. 38–50.
SIGMODSIGMOD-1985-OzsoyogluOM #physics #summary
A Language and a Physical Organization Technique for Summary Tables (, ZMÖ, FM), pp. 3–16.
ICALPICALP-1985-Vishkin #parallel #pattern matching #string #summary
Optimal Parallel Pattern Matching in Strings (Extended Summary) (UV), pp. 497–508.
PLDISCC-1984-CooperK #interprocedural #performance #summary
Efficient computation of flow insensitive interprocedural summary information (KDC, KK), pp. 247–258.
SOSPSOSP-1983-SchroederBN #distributed #experience #summary
Experience with Grapevine: The Growth of a Distributed System (Summary) (MDS, AB, RMN), pp. 141–142.
PLDISCC-1982-Sethi #aspect-oriented #compilation #control flow #semantics #summary
Control Flow Aspects of Semantics Directed Compiling (Summary) (RS), pp. 245–260.
SIGMODSIGMOD-1981-Johnson #modelling #summary
Modelling Summary Data (RRJ), pp. 93–97.
SIGMODSIGMOD-1981-Sato #database #summary
Handling Summary Information in a Database: Derivability (HS), pp. 98–107.
SOSPSOSP-1981-BirrellLNS #distributed #named #summary
Gravevine: An Exercise in Distributed Computing (summary) (AB, RL, RMN, MDS), pp. 178–179.
SOSPSOSP-1981-Gifford #authentication #encryption #summary
Cryptographic Sealing for Information Secrecy and Authentication (Summary) (DKG), pp. 123–124.
SOSPSOSP-1981-Spector #network #summary
Performing Remore Operations Efficiently on a Local Computer Network (Summary) (AZS), pp. 76–77.
SOSPSOSP-1979-CanonFHHMR #evaluation #performance #summary #virtual machine
A Virtual Machine Emulator for Performance Evaluation (Summary) (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.
SOSPSOSP-1979-LampsonR #experience #monitoring #process #summary
Experience with Processes and Monitors in Mesa (Summary) (BWL, DDR), pp. 43–44.
SOSPSOSP-1979-OusterhoutSS #distributed #empirical #named #operating system #summary
Medusa: An Experiment in Distributed Operating System Structure (Summary) (JKO, DAS, PSS), pp. 115–116.
SOSPSOSP-1979-RedellDHLLMMP #named #operating system #summary
Pilot: An Operating System for a Personal Computer (Summary) (DDR, YKD, TRH, HCL, WCL, PRM, HGM, SCP), pp. 106–107.
DACDAC-1971-Olsten #architecture #summary
A summary of architectural involvement with computers (CJO), pp. 50–55.
SIGMODSIGFIDET-1970-Bastian #summary #validation
Data Validation (pre-discussion summary) (ALB), p. 276.
SIGMODSIGFIDET-1970-Dodd #database #scalability #summary
Large Data Bases (pre-discussion summary) (GGD), p. 286.
SIGMODSIGFIDET-1970-Fry70a #summary
Storage Structure Definition Language (pre-discussion summary) (JPF), p. 279.
SIGMODSIGFIDET-1970-Gosden #summary
Translation (Inter-System) (pre-discussion summary) (JAG), p. 284.
SIGMODSIGFIDET-1970-Hatfield #summary
Data Description of Text Structures/Text Processing (pre-discussion summary) (DJH), p. 285.
SIGMODSIGFIDET-1970-Metaxides #database #summary
Data Base Task Group (pre-discussion summary) (AM), pp. 280–281.
SIGMODSIGFIDET-1970-Olle #summary #trade-off
Storage and Processing Trade-Offs (pre-discussion summary) (TWO), pp. 287–288.
SIGMODSIGFIDET-1970-Sibley #summary
Restructuring (Intra-System) (pre-discussion summary) (EHS), pp. 282–283.
SIGMODSIGFIDET-1970-Stieger #database #summary
Data Base Administrator (pre-discussion summary) (WHS), pp. 277–278.

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.