Stem summari$ (all stems)

201 papers:

DocEng-2015-BanerjeeMS #generative #summary

Generating Abstractive Summaries from Meeting Transcripts (SB, PM, KS), pp. 51–60.

PODS-2015-Cormode #dataset #scalability #summary

Compact Summaries over Large Datasets (GC), pp. 157–158.

SIGMOD-2015-FakasCM #keyword #summary

Diverse and Proportional Size-l Object Summaries for Keyword Search (GJF, ZC, NM), pp. 363–375.

VLDB-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.

ICSME-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.

HIMI-IKD-2015-ImajiF #generative #summary #visual notation

Generating Summary Videos Based on Visual and Sound Information from Movies (YI, MF), pp. 190–203.

SIGIR-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.

POPL-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-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.

ICLP-2015-Charwat #diagrams #programming #research #summary #using

Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).

DocEng-2014-HughesBBA #documentation #generative #summary

Generating summary documents for a variable-quality PDF document collection (JH, DFB, SRB, CEA), pp. 49–52.

SIGMOD-2014-XiaoE #database #named #relational

InsightNotes: summary-based annotation management in relational databases (DX, MYE), pp. 661–672.

TACAS-2014-Beyer #contest #summary #verification

Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.

ICSME-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.

AFL-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.

ICALP-v1-2014-ColeK #algorithm #performance #summary

Fast Algorithms for Constructing Maximum Entropy Summary Trees (RC, HJK), pp. 332–343.

ICGT-2014-JansenN #generative #graph #pointer #source code #summary

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.

CIKM-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.

ECIR-2014-ChhabraB #generative #summary #towards

Towards Generating Text Summaries for Entity Chains (SC, SB), pp. 136–147.

SIGIR-2014-WanZ #named #summary

CTSUM: extracting more certain summaries for news articles (XW, JZ), pp. 787–796.

ASE-2013-PalepuXJ #dependence #dynamic analysis #performance #summary

Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.

TACAS-2013-Beyer #contest #summary #verification

Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.

TACAS-2013-GantyIK #approximate #integer #source code #summary

Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.

ICPC-2013-KamimuraM #generative #summary #testing #towards

Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.

ICPC-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.

ICPC-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.

ICSM-2013-Perez #design #lessons learnt #refactoring #smell #summary

Refactoring Planning for Design Smell Correction: Summary, Opportunities and Lessons Learned (JP), pp. 572–577.

DUXU-NTE-2013-Gasser #design #summary

Humor Illustration Design, a Summary of Illustrations, Designs, and Projects (JG), pp. 513–519.

HCI-AS-2013-DePaloPS #documentation #summary #using

Healthcare Interoperability: CDA Documents Consolidation Using Transport Record Summary (TRS) Construction (PD, KEP, YTS), pp. 56–65.

ICEIS-v1-2013-PuyanaQ #automation #generative #named #summary

GReAT — A Model for the Automatic Generation of Text Summaries (CGP, APQ), pp. 280–288.

SIGIR-2013-AgeevLA #behaviour #summary #using

Improving search result summaries by using searcher behavior data (MA, DL, EA), pp. 13–22.

SIGIR-2013-BonzaniniMR #summary

Extractive summarisation via sentence removal: condensing relevant sentences into a short summary (MB, MMA, TR), pp. 893–896.

SIGIR-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.

SIGIR-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.

PODS-2012-AgarwalCHPWY #summary

Mergeable summaries (PKA, GC, ZH, JMP, ZW, KY), pp. 23–34.

ICALP-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.

CIKM-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.

KDIR-2012-WenerstromK #multi #summary

Search Result Summaries Improved by Structure and Multimedia (BW, MK), pp. 181–186.

KEOD-2012-WandeltM #ontology #semantics #summary #towards

Towards Semantic Summaries over Ontologies (SW, RM), pp. 196–201.

CGO-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.

CGO-2012-ShangXX #analysis #on-demand #points-to

On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.

HPDC-2012-GeorgakoudisLN #manycore #migration #summary #symmetry

Dynamic binary rewriting and migration for shared-ISA asymmetric, multicore processors: summary (GG, SL, DSN), pp. 127–128.

HT-2011-GoedeMNW #network #social #summary #using

Succinct summaries of narrative events using social networks (BdG, MM, AN, JvW), pp. 299–304.

PODS-2011-WeiY #query #summary

Beyond simple aggregates: indexing for summary queries (ZW, KY), pp. 117–128.

VLDB-2011-YangPS11a #database #graph #relational #summary

Summary Graphs for Relational Database Schemas (XY, CMP, DS), pp. 899–910.

VLDB-2012-FakasCM11 #keyword #relational #summary

Size-l Object Summaries for Relational Keyword Search (GJF, ZC, NM), pp. 229–240.

CSEET-2011-Jazayeri #education #re-engineering #summary #tutorial

Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.

ICPC-2011-SridharaPV #generative #parametricity #summary

Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.

ICSM-2011-RastkarMB #generative #natural language #source code #summary

Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.

PLDI-2011-DilligDAS #composition #precise #source code #summary

Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.

SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.

ICEIS-v2-2011-JiananDF #summary

Summary of LASSO and Relative Methods (XJ, SD, XF), pp. 131–134.

CC-2011-NaeemL #alias #analysis #performance #set #summary #using

Faster Alias Set Analysis Using Summaries (NAN, OL), pp. 82–103.

ASE-2010-SridharaHMPV #automation #generative #java #summary #towards

Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.

CASE-2010-SudarsanSNSLLK #framework #metric #standard #summary

Sustainable Manufacturing: Metrics, Standards, and Infrastructure — Workshop summary (RS, RDS, AN, PS, JL, KWL, SJK), pp. 144–149.

HT-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.

SIGMOD-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.

SIGMOD-2010-TaoYSPL #summary

Logging every footstep: quantile summaries for the entire history (YT, KY, CS, JP, FL), pp. 639–650.

CIAA-2010-Rudie #problem #summary

A Summary of Some Discrete-Event System Control Problems (KR), pp. 4–16.

CIKM-2010-TakamuraO #learning #summary

Learning to generate summary as structured output (HT, MO), pp. 1437–1440.

ECIR-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.

SIGIR-2010-WanLX #named #summary

EUSUM: extracting easy-to-understand english summaries for non-native readers (XW, HL, JX), pp. 491–498.

ICSE-2010-Firesmith #requirements #summary #tutorial

Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.

ASE-2009-VakilianDBOAJ #summary

Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.

VLDB-2009-ChenLFCYH #graph #mining #random #summary

Mining Graph Patterns Efficiently via Randomized Summaries (CC, CXL, MF, MC, XY, JH), pp. 742–753.

HIMI-II-2009-AllamrajuC #clustering #documentation #heuristic #preprocessor

Enhancing Document Clustering through Heuristics and Summary-Based Pre-processing (SHA, RC), pp. 105–113.

CIKM-2009-KimZ #comparative #generative #summary

Generating comparative summaries of contradictory opinions in text (HDK, CZ), pp. 385–394.

ECIR-2009-AliCL #navigation #representation #retrieval #summary #xml

Representing User Navigation in XML Retrieval with Structural Summaries (MSA, MPC, BL), pp. 719–723.

ICML-2009-BennettBC #information retrieval #machine learning #summary #tutorial

Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.

ICML-2009-BeygelzimerLZ #machine learning #reduction #summary #tutorial

Tutorial summary: Reductions in machine learning (AB, JL, BZ), p. 12.

ICML-2009-DasguptaL #learning #summary #tutorial

Tutorial summary: Active learning (SD, JL), p. 18.

ICML-2009-Even-DarM #convergence #summary #tutorial

Tutorial summary: Convergence of natural dynamics to equilibria (EED, VSM), p. 13.

ICML-2009-Leskovec #ml #network #scalability #social #summary #tutorial

Tutorial summary: Large social and information networks: opportunities for ML (JL), p. 19.

ICML-2009-Niv #learning #summary #tutorial

Tutorial summary: The neuroscience of reinforcement learning (YN), p. 16.

ICML-2009-Smith #natural language #predict #summary #tutorial

Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.

ICML-2009-TrespY #dependence #learning #summary #tutorial

Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.

ICML-2009-WarmuthV #bibliography #optimisation #perspective #summary #tutorial

Tutorial summary: Survey of boosting from an optimization perspective (MKW, SVNV), p. 15.

KDD-2009-PoernomoG #named #representation

CP-summary: a concise representation for browsing frequent itemsets (AKP, VG), pp. 687–696.

SIGIR-2009-TurpinSJWC #evaluation #summary

Including summaries in system evaluation (AT, FS, KJ, MW, JSC), pp. 508–515.

ICLP-2009-Ashley-Rollman #distributed #logic programming #research #summary

Research Summary: Logic Programming for Massively Distributed Systems (MPAR), pp. 527–529.

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-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.

ICLP-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.

ICLP-2009-Paolucci #natural language #research #summary #tool support

Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.

ICLP-2009-Pilozzi #research #summary #termination

Research Summary: Termination of CHR (PP), pp. 534–535.

ICLP-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.

ICLP-2009-Voets #analysis #logic programming #research #source code #summary

Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.

SIGMOD-2008-PeiHTL #nondeterminism #probability #query #summary #tutorial

Query answering techniques on uncertain and probabilistic data: tutorial summary (JP, MH, YT, XL), pp. 1357–1364.

VLDB-2008-MoroVT #summary #xml

XML Structural Summaries (MMM, ZV, VJT), pp. 1524–1525.

CIKM-2008-YinPM #named #summary

PBFilter: indexing flash-resident data through partitioned summaries (SY, PP, XM), pp. 1333–1334.

KDD-2008-KiernanT #scalability #sequence #summary

Constructing comprehensive summaries of large event sequences (JK, ET), pp. 417–425.

SIGIR-2008-JohoHJ #documentation #summary #using

Emulating query-biased summaries using document titles (HJ, DH, JMJ), pp. 709–710.

POPL-2008-YorshYC #generative #precise #summary

Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.

SAC-2008-AntonellisMT #clustering #documentation #named #summary #using #xml

XEdge: clustering homogeneous and heterogeneous XML documents using edge summaries (PA, CM, NT), pp. 1081–1088.

ISMM-2008-JungY #detection #memory management #summary

Practical memory leak detector based on parameterized procedural summaries (YJ, KY), pp. 131–140.

ESOP-2007-GulwaniT #analysis #interprocedural #summary

Computing Procedure Summaries for Interprocedural Analysis (SG, AT), pp. 253–267.

CIKM-2007-BechchiRM #database #distributed #summary

Merging distributed database summaries (MB, GR, NM), pp. 419–428.

KDD-2007-AgarwalBGYKS #effectiveness #performance #summary

Efficient and effective explanation of change in hierarchical summaries (DA, DB, DG, NEY, FK, DS), pp. 6–15.

SAC-2007-PaulK #precise #slicing #using

Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.

CC-2007-CheremR #analysis #lightweight #summary

A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.

ICEIS-AIDSS-2006-Nair #development #image #multi #summary

Development of Summaries of Certain Patterns in Multi-Band Satellite Images (HN), pp. 278–284.

CIKM-2006-HoseLS #distributed #summary #using

Processing relaxed skylines in PDMS using distributed data summaries (KH, CL, KUS), pp. 425–434.

ECIR-2006-LiangDT #summary #web

Evaluating Web Search Result Summaries (SFL, SD, JT), pp. 96–106.

HPDC-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.

WICSA-2005-KnodelLM #architecture #evaluation #summary

Static Evaluation of Software Architectures — A Short Summary (JK, ML, DM), pp. 237–238.

VLDB-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.

ESOP-2005-PodelskiSW #recursion #source code #summary

Summaries for While Programs with Recursion (AP, IS, SW), pp. 94–107.

CHI-2005-LamB #summary #web

Summary thumbnails: readable overviews for small screen web browsers (HL, PB), pp. 681–690.

CIKM-2005-EdaOY #query #summary #xml #xpath

Processing XPath queries with XML summaries (TE, MO, MY), pp. 223–224.

CIKM-2005-MullerEH #network #retrieval #scalability #summary

Scalable summary based retrieval in P2P networks (WM, ME, AH), pp. 586–593.

MLDM-2005-BarbuHAT #clustering #documentation #graph #image #summary #using

Clustering Document Images Using Graph Summaries (EB, PH, SA, ÉT), pp. 194–202.

SEKE-2005-LeeWC #summary #video #web

Integrating Web Information to Generate Chinese Video Summaries (YSL, YCW, CHC), pp. 514–519.

SIGIR-2005-McKeownPENH #question #summary

Do summaries help? (KM, RJP, DKE, AN, JH), pp. 210–217.

ICLP-2005-Schrijvers #analysis #constraints #optimisation #summary

Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary (TS), pp. 435–436.

WCRE-2004-MurrayL #comprehension #summary

A Brief Summary of Cognitive Patterns for Program Comprehension (AM, TCL), pp. 304–305.

SAS-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.

CIKM-2004-ZhaoK #clustering #documentation #summary

Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.

SIGMOD-2003-LakshmananPZ #named #performance #semantics #summary

QC-Trees: An Efficient Summary Structure for Semantic OLAP (LVSL, JP, YZ), pp. 64–75.

SIGMOD-2003-QunLO #adaptation #summary

D(k)-Index: An Adaptive Structural Summary for Graph-Structured Data (CQ, AL, KWO), pp. 134–144.

KDD-2003-SripadaRHY #generative #summary #using

Generating English summaries of time series data using the Gricean maxims (SS, ER, JH, JY), pp. 187–196.

SIGIR-2003-AhmadVO #categorisation #evaluation #summary

Summary evaluation and text categorization (KA, BV, PCFdO), pp. 443–444.

SIGIR-2003-LawrieC #generative #summary #web

Generating hierarchical summaries for web searches (DJL, WBC), pp. 457–458.

SAC-2003-Tufts-ConradZZ #feature model #named #summary

SOM — Feature Extraction from Patient Discharge Summaries (DJTC, ANZH, DZ), pp. 263–267.

CIKM-2002-SharafC #semantics #summary

Semantic-based delivery of OLAP summary tables in wireless environments (MAS, PKC), pp. 84–92.

SAC-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.

SAC-2002-SweeneyCT #mobile #summary #using

Mobile delivery of news using hierarchical query-biased summaries (SOS, FC, AT), pp. 634–639.

DATE-2001-WongMYCMPCLV #concurrent #summary

Task concurrency management methodology summary (CW, PM, PY, FC, HDM, ASP, NC, RL, DV), p. 813.

ICDAR-2001-GongL #summary

Creating Generic Text Summaries (YG, XL), pp. 903–907.

PODS-2001-GilbertKMS #approximate #statistics #summary

Optimal and Approximate Computation of Summary Statistics for Range Aggregates (ACG, YK, SM, MS).

VLDB-2001-GilbertKMS #approximate #query #summary

Surfing Wavelets on Streams: One-Pass Summaries for Approximate Aggregate Queries (ACG, YK, SM, MS), pp. 79–88.

ITiCSE-2001-Cassel #problem #student #summary

Reading summaries: relating class to student’s problems with the current reading assignment (LNC), p. 188.

ICSM-2001-Ernst #invariant #summary

Summary of Dynamically Discovering Likely Program Invariants (MDE), pp. 540–544.

KDD-2001-ShekharLZ #algorithm #detection #graph #summary

Detecting graph-based spatial outliers: algorithms and applications (a summary of results) (SS, CTL, PZ), pp. 371–376.

SIGIR-2001-AllanGK #summary #topic

Temporal Summaries of News Topics (JA, RG, VK), pp. 10–18.

SIGIR-2001-SakaiJ #information retrieval #summary

Generic Summaries for Indexing in Information Retrieval (TS, KSJ), pp. 190–198.

SIGIR-2001-Zechner #automation #generative #strict #summary

Automatic Generation of Concise Summaries of Spoken Dialogues in Unrestricted Domains (KZ), pp. 199–207.

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.

CHI-2000-HeSGG #summary

Comparing presentation summaries: slides vs. reading vs. listening (LH, ES, AG, JG), pp. 177–184.

CIKM-2000-GoldsteinMCC #multi #summary

Creating and Evaluating Multi-Document Sentence Extract Summaries (JG, VOM, JGC, JPC), pp. 165–172.

FM-v2-1999-AlexanderRB #summary

A Brief Summary of VSPEC (PA, MR, PB), pp. 1068–1086.

KDD-1999-GantiGR #category theory #clustering #named #summary #using

CACTUS — Clustering Categorical Data Using Summaries (VG, JG, RR), pp. 73–83.

SIGIR-1999-JingM #composition #summary

The Decomposition of Human-Written Summary Sentences (HJ, KM), pp. 129–136.

SIGIR-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.

ICSE-1999-Ernst #detection #invariant #research #summary

Research Summary for Dynamic Detection of Program Invariants (MDE), pp. 718–719.

SIGMOD-1998-GibbonsM #approximate #query #statistics #summary

New Sampling-Based Summary Statistics for Improving Approximate Query Answers (PBG, YM), pp. 331–342.

CSCW-1998-FinholtA #summary

Tutorials (Summary) (TAF, MSA), pp. 427–431.

SIGIR-1998-CarbonellG #documentation #order #ranking #summary

The Use of MMR, Diversity-Based Reranking for Reordering Documents and Producing Summaries (JGC, JG), pp. 335–336.

SIGIR-1998-TombrosS #information retrieval #query #summary

Advantages of Query Biased Summaries in Information Retrieval (AT, MS), pp. 2–10.

ICDAR-1997-ChenB #documentation #summary

Extraction of Indicative Summary Sentences from Imaged Documents (FC, DSB), pp. 227–232.

SIGMOD-1997-MumickQM #maintenance #summary

Maintenance of Data Cubes and Summary Tables in a Warehouse (ISM, DQ, BSM), pp. 100–111.

VLDB-1997-FaloutsosJS #summary

Recovering Information from Summary Data (CF, HVJ, NS), pp. 36–45.

SIGIR-1997-Saracevic #summary

Users Lost: Reflections on the Past, Future, and Limits of Information Science (Summary) (TS), pp. 1–2.

LICS-1996-AspinallC #dependent type #summary #type system

Subtyping Dependent Types (Summary) (DA, ABC), pp. 86–97.

SIGIR-1995-McKeownR #generative #multi #summary

Generating Summaries of Multiple News Articles (KM, DRR), pp. 74–82.

PODS-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.

CSCW-1994-KatzenbergM #summary

Meaning-Making in the Creation of Useful Summary Reports (BK, JPM), pp. 199–206.

CIKM-1993-LeeK #database #refinement #summary

A Hypothesis Refinement Method for Summary Discovery in Databases (DL, MHK), pp. 274–282.

TRI-Ada-C-1992-HartDDEKKOO #concept #process #summary

STARS Process Concepts Summary (HH, JD, DD, WHE, JK, HK, LO, JO), pp. 570–594.

KBSE-1991-White #knowledge-based #summary

The Knowledge-Based Software Assistant: A Program Summary (DAW), pp. 2–6.

KDD-1991-ChenM #estimation #summary #using

Summary Data Estimation Using Decision Trees (MCC, LM), pp. 309–324.

KDD-1991-Yager #on the #summary

On Linguistic Summaries of Data (RRY), pp. 347–366.

ICALP-1990-MatiasV #integer #on the #parallel #sorting #summary

On Parallel Hashing and Integer Sorting (Extended Summary) (YM, UV), pp. 729–743.

LICS-1990-KfouryT #polymorphism #re-engineering #summary #λ-calculus

Type Reconstruction in Finite-Rank Fragments of the Polymorphic λ-Calculus (Extended Summary) (AJK, JT), pp. 2–11.

LICS-1989-Leivant #morphism #polymorphism #summary

Stratified Polymorphism (Extended Summary) (DL), pp. 39–47.

RTA-1989-Christian #performance #summary

Fast Knuth-Bendix Completion: Summary (JC), pp. 551–555.

TAV-1989-Gerhart #assessment #formal method #summary

Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems (SLG), pp. 152–155.

SIGMOD-1988-Malvestuto #problem #summary

The Derivation Problem for Summary Data (FMM), pp. 82–89.

PLDI-1988-Callahan #analysis #data flow #graph #interprocedural #summary

The Program Summary Graph and Flow-Sensitive Interprocedural Data Flow Analysis (DC), pp. 47–56.

CADE-1988-LincolnC #commutative #summary #unification

Adventures in Associative-Commutative Unification (A Summary) (PL, JC), pp. 358–367.

CADE-1988-PaseK #summary

m-NEVER System Summary (BP, SK), pp. 738–739.

JICSCP-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.

STOC-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.

ICALP-1986-BrzozowskiS #analysis #network #simulation #summary

Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary) (JAB, CJHS), pp. 69–78.

LFP-1986-Hudak #abstraction #semantics #summary

A Semantic Model of Reference Counting and its Abstraction (Detailed Summary) (PH), pp. 351–363.

LFP-1986-Mitchell #approach #polymorphism #reduction #semantics #summary

A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary) (JCM), pp. 308–319.

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.

ICALP-1985-Vishkin #parallel #pattern matching #string #summary

Optimal Parallel Pattern Matching in Strings (Extended Summary) (UV), pp. 497–508.

SCC-1984-CooperK #interprocedural #performance #summary

Efficient computation of flow insensitive interprocedural summary information (KDC, KK), pp. 247–258.

SOSP-1983-SchroederBN #distributed #experience #summary

Experience with Grapevine: The Growth of a Distributed System (Summary) (MDS, AB, RMN), pp. 141–142.

SCC-1982-Sethi #aspect-oriented #compilation #control flow #semantics #summary

Control Flow Aspects of Semantics Directed Compiling (Summary) (RS), pp. 245–260.

SIGMOD-1981-Johnson #modelling #summary

Modelling Summary Data (RRJ), pp. 93–97.

SIGMOD-1981-Sato #database #summary

Handling Summary Information in a Database: Derivability (HS), pp. 98–107.

SOSP-1981-BirrellLNS #distributed #named #summary

Gravevine: An Exercise in Distributed Computing (summary) (AB, RL, RMN, MDS), pp. 178–179.

SOSP-1981-Gifford #authentication #encryption #summary

Cryptographic Sealing for Information Secrecy and Authentication (Summary) (DKG), pp. 123–124.

SOSP-1981-Spector #network #summary

Performing Remore Operations Efficiently on a Local Computer Network (Summary) (AZS), pp. 76–77.

SOSP-1979-CanonFHHMR #evaluation #performance #summary #virtual machine

A Virtual Machine Emulator for Performance Evaluation (Summary) (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.

SOSP-1979-LampsonR #experience #monitoring #process #summary

Experience with Processes and Monitors in Mesa (Summary) (BWL, DDR), pp. 43–44.

SOSP-1979-OusterhoutSS #distributed #empirical #named #operating system #summary

Medusa: An Experiment in Distributed Operating System Structure (Summary) (JKO, DAS, PSS), pp. 115–116.

SOSP-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.

DAC-1971-Olsten #architecture #summary

A summary of architectural involvement with computers (CJO), pp. 50–55.

SIGFIDET-1970-Bastian #summary #validation

Data Validation (pre-discussion summary) (ALB), p. 276.

SIGFIDET-1970-Dodd #database #scalability #summary

Large Data Bases (pre-discussion summary) (GGD), p. 286.

SIGFIDET-1970-Fry70a #summary

Storage Structure Definition Language (pre-discussion summary) (JPF), p. 279.

SIGFIDET-1970-Gosden #summary

Translation (Inter-System) (pre-discussion summary) (JAG), p. 284.

SIGFIDET-1970-Hatfield #summary

Data Description of Text Structures/Text Processing (pre-discussion summary) (DJH), p. 285.

SIGFIDET-1970-Metaxides #database #summary

Data Base Task Group (pre-discussion summary) (AM), pp. 280–281.

SIGFIDET-1970-Olle #summary #trade-off

Storage and Processing Trade-Offs (pre-discussion summary) (TWO), pp. 287–288.

SIGFIDET-1970-Sibley #summary

Restructuring (Intra-System) (pre-discussion summary) (EHS), pp. 282–283.

SIGFIDET-1970-Stieger #database #summary

Data Base Administrator (pre-discussion summary) (WHS), pp. 277–278.