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:
system (39)
design (17)
softwar (15)
project (14)
data (14)

Stem overview$ (all stems)

218 papers:

SIGMODSIGMOD-2015-IdreosPC #bibliography #data analysis
Overview of Data Exploration Techniques (SI, OP, SC), pp. 277–281.
SIGIRSIGIR-2015-KneesS #bibliography #music #perspective #recommendation #retrieval #tutorial
Music Retrieval and Recommendation: A Tutorial Overview (PK, MS), pp. 1133–1136.
SLESLE-2015-Burger #attribute grammar #bibliography #graph grammar #motivation #perspective
Reference attribute grammar controlled graph rewriting: motivation and overview (CB), pp. 89–100.
LICSLICS-2015-Ong #bibliography #higher-order #model checking #perspective
Higher-Order Model Checking: An Overview (LO), pp. 1–15.
DATEDATE-2014-RuhrmairS #bibliography #modelling #perspective
PUF modeling attacks: An introduction and overview (UR, JS), pp. 1–6.
CSCWCSCW-2014-BossenJ #bibliography #how
How physicians “achieve overview”: a case-based study in a hospital ward (CB, LGJ), pp. 257–268.
HCIDUXU-DI-2014-PalomakiHVH #bibliography #mobile #perspective #process
Methods to Study Everyday Activities in a Mobile Work Context — A Literature Overview (EP, KH, MV, MH), pp. 301–312.
HCILCT-NLE-2014-ParmaxiZ #bibliography
The Evolvement of Constructionism: An Overview of the Literature (AP, PZ), pp. 452–461.
EDOCEDOC-2014-KormanSHBE #assessment #bibliography #enterprise #risk management #security
Overview of Enterprise Information Needs in Information Security Risk Assessment (MK, TS, JH, JEB, ME), pp. 42–51.
ECIRECIR-2014-StangeN #bibliography #collaboration #traceability
Search Maps — Enhancing Traceability and Overview in Collaborative Information Seeking (DS, AN), pp. 763–766.
SACSAC-2014-Silva #approach #automation #bibliography #quality #requirements #specification #validation
Quality of requirements specifications: a preliminary overview of an automatic validation approach (ARdS), pp. 1021–1022.
SIGMODSIGMOD-2013-HullSV #bibliography #data transformation #perspective #process #tutorial
Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.
VLDBVLDB-2013-ElmeleegyL0WWKDC #bibliography #data transformation #framework
Overview of Turn Data Management Platform for Digital Advertising (HE, YL, YQ, PW, MW, SK, AD, SC), pp. 1138–1149.
TACASTACAS-2013-CranenGKSVWW #bibliography #tool support
An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
CHICHI-2013-GilbertBCT #bibliography #statistics
“I need to try this”?: a statistical overview of pinterest (EG, SB, SC, LGT), pp. 2427–2436.
HCIHIMI-D-2013-PetersSHKSJLJ #bibliography #locality #user interface
Overview of Global User Interfaces for Localization (CP, MS, MH, JK, SKS, DHJ, SL, HJ), pp. 357–364.
HCIHIMI-D-2013-ZeshanMA #bibliography #ontology #quality #web #web service
Quality of Service Ontology Languages for Web Services Discovery: An Overview and Limitations (FZ, RM, MNA), pp. 400–407.
EDOCEDOC-2013-BraunE #bibliography #concept #network #online #risk management #social #towards
Towards a Conceptualization of Corporate Risks in Online Social Networks: A Literature Based Overview of Risks (RB, WE), pp. 267–274.
ICEISICEIS-J-2013-HernandesBF13a #bibliography #process
An Overview of Experimental Studies on Software Inspection Process (EMH, AB, SF), pp. 118–134.
DACDAC-2012-CampanoniJHWB #bibliography
The HELIX project: overview and directions (SC, TMJ, GHH, GYW, DMB), pp. 277–282.
CHICHI-2012-MulloniSDBS
360° panoramic overviews for location-based services (AM, HS, AD, PB, DS), pp. 2565–2568.
HILTHILT-2012-Nilsen #bibliography #comprehension #java #memory management #safety #tutorial
Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.
HILTHILT-2012-Sanden #approach #bibliography #design #modelling #multi #tutorial
Design of Multitask Software: The Entity-life Modeling Approach (tutorial overview) (BIS), pp. 1–2.
RecSysRecSys-2012-NunesH #bibliography #perspective #recommendation
Personality-based recommender systems: an overview (MASNN, RH), pp. 5–6.
SEKESEKE-2012-FerreiraS #approach #bibliography
An Overview of the RSLingo Approach (DdAF, ARdS), pp. 66–69.
SLESLE-2012-StevensonC #bibliography #grammar inference #re-engineering #state of the art
Grammatical Inference in Software Engineering: An Overview of the State of the Art (AS, JRC), pp. 204–223.
PPoPPPPoPP-2012-GongHZ #bibliography #in the cloud #network #performance
An overview of CMPI: network performance aware MPI in the cloud (YG, BH, JZ), pp. 297–298.
PPoPPPPoPP-2012-ZhongH #bibliography #graph
An overview of Medusa: simplified graph processing on GPUs (JZ, BH), pp. 283–284.
IJCARIJCAR-2012-KuhlweinLTUH #bibliography #evaluation #scalability
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (DK, TvL, ET, JU, TH), pp. 378–392.
ICDARICDAR-2011-AbedWM #analysis #bibliography #contest #documentation #perspective #recognition
International Conference on Document Analysis and Recognition (ICDAR 2011) — Competitions Overview (HEA, LW, VM), pp. 1437–1443.
CSEETCSEET-2011-PeixotoPRP #bibliography #design #education #game studies #re-engineering #simulation
An overview of the main design characteristics of simulation games in Software Engineering education (DCCP, RMP, RFR, CIPSP), pp. 101–110.
SCAMSCAM-2011-KellyAAH #bibliography #topic
Recovering a Balanced Overview of Topics in a Software Domain (MBK, JSA, BA, AEH), pp. 135–144.
CHICHI-2011-JakobsenH #bibliography #interface #visualisation
Sizing up visualizations: effects of display size in focus+context, overview+detail, and zooming interfaces (MRJ, KH), pp. 1451–1460.
CHICHI-2011-WongsuphasawatGPWTS #bibliography #named #sequence #visualisation
LifeFlow: visualizing an overview of event sequences (KW, JAGG, CP, TDW, MTM, BS), pp. 1747–1756.
HCIHIMI-v2-2011-ProctorV #bibliography #design #interactive #interface #perspective #web
Designing Web Sites and Interfaces to Optimize Successful User Interactions: Symposium Overview (RWP, KPLV), pp. 62–65.
ICEISICEIS-v4-2011-Kong11a #bibliography
The Brief Overview of the Supply Chain Finance (LK), pp. 708–711.
TOOLSTOOLS-EUROPE-2011-BockischSMA #bibliography #execution
An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
SACSAC-2011-Mammar #approach #bibliography #c #detection
An overview of a proof-based approach to detecting C vulnerabilities (AM), pp. 1343–1344.
SIGMODSIGMOD-2010-Brown #analysis #array #bibliography #scalability
Overview of sciDB: large scale array storage, processing and analysis (PGB), pp. 963–968.
SIGMODSIGMOD-2010-TaranovSKNKPBTAFPVZGGL #bibliography #database #named #xml
Sedna: native XML database management system (internals overview) (IT, IS, AK, LN, SDK, RP, AB, DT, KA, AF, PP, PV, NZ, MG, MPG, DL), pp. 1037–1046.
SEFMSEFM-2010-Pavlovic #bibliography #effectiveness #perspective #security
The Unreasonable Ineffectiveness of Security Engineering: An Overview (DP), pp. 12–18.
ICEISICEIS-ISAS-2010-BaraoS #bibliography #perspective
The SNARE Language Overview (AB, ARdS), pp. 344–349.
KDDKDD-2010-KarguptaSG #bibliography #data mining #distributed #mining #performance
MineFleet®: an overview of a widely adopted distributed vehicle performance data mining system (HK, KS, MG), pp. 37–46.
KMISKMIS-2010-Jezek #bibliography #implementation #repository
Universal Extra-functional Properties Repository — Model Overview and Implementation (KJ), pp. 382–385.
RERE-2010-SawahMR #bibliography #elicitation #modelling #perspective #requirements #using
Using Cognitive Mapping to Elicit Modelling Requirements: An Overview (SES, AM, MR), pp. 357–363.
SACSAC-2010-JuniorPC #aspect-oriented #bibliography #empirical #evaluation #framework #uml
An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks (JUJ, RDP, VVdC), pp. 2289–2296.
ICSEICSE-2010-MetayerMTMPCFH #approach #bibliography #case study #re-engineering
Liability in software engineering: overview of the LISE approach and illustration on a case study (DLM, MM, VVTT, EM, MLP, NC, SF, RH), pp. 135–144.
HPDCHPDC-2010-GrossmanGMSSW #bibliography #open science
An overview of the Open Science Data Cloud (RLG, YG, JM, MS, ASS, KPW), pp. 377–384.
DATEDATE-2009-LiC #architecture #bibliography #memory management #tool support
An overview of non-volatile memory technology and the implication for tools and architectures (HL, YC), pp. 731–736.
ICDARICDAR-2009-BaudrierBCDLM #bibliography #perspective #retrieval
Retrieval of the Ornaments from the Hand-Press Period: An Overview (EB, SB, SC, MD, JL, FMN), pp. 496–500.
PEPMPEPM-2009-Acar #bibliography #self
Self-adjusting computation: (an overview) (UAA), pp. 1–6.
HCIHCI-NIMT-2009-ElliottCR #bibliography #visual notation
Overview of Meta-analyses Investigating Vibrotactile versus Visual Display Options (LRE, MDC, ESR), pp. 435–443.
ICLPICLP-2009-ArandaAOPRTV #bibliography #declarative
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (JA, GA, CO, JAP, CR, MT, FDV), pp. 509–513.
CSEETCSEET-2008-JohnsgardM #bibliography #programming #using
Using Alice in Overview Courses to Improve Success Rates in Programming I (KJ, JM), pp. 129–136.
CSEETCSEET-2008-ThompsonE #bibliography #experience #student
Overview and Introduction to the Workshop: The Roles of Student Projects and Work Experience in Undergraduate and Taught Postgraduate Programmes (JBT, HME), pp. 267–270.
KDDKDD-2008-LingMZS #mining #multi #topic
Mining multi-faceted overviews of arbitrary topics in a text collection (XL, QM, CZ, BRS), pp. 497–505.
ICDARICDAR-2007-Smith #bibliography
An Overview of the Tesseract OCR Engine (RS), pp. 629–633.
PASTEPASTE-2007-AikenBDDHH #bibliography
An overview of the saturn project (AA, SB, ID, TD, BH, PH), pp. 43–48.
HCIHCI-IPT-2007-MavrommatiD #bibliography #perspective #tool support
End User Tools for Ambient Intelligence Environments: An Overview (IM, JD), pp. 864–872.
HCIOCSC-2007-WangLS #bibliography #community #open source #perspective
Open Source Communities in China (Mainland): An Overview (YW, FL, JS), pp. 465–474.
ICEISICEIS-SAIC-2007-PetrieLZ #bibliography #challenge #perspective
SWS Challenge — First Year Overview (CJP, HL, MZ), pp. 407–412.
ICSEICSE-2007-FroihoferGOG #bibliography #constraints #evaluation #java #validation
Overview and Evaluation of Constraint Validation Approaches in Java (LF, GG, JO, KMG), pp. 313–322.
DACDAC-2006-Martin #bibliography #challenge #design
Overview of the MPSoC design challenge (GM), pp. 274–279.
PODSPODS-2006-Halpern #bibliography #knowledge base #perspective #statistics
From statistical knowledge bases to degrees of belief: an overview (JYH), pp. 110–113.
CHICHI-2006-NekrasovskiBMGM #bibliography #evaluation #navigation #perspective
An evaluation of pan & zoom and rubber sheet navigation with and without an overview (DN, AB, JM, FG, TM), pp. 11–20.
CIKMCIKM-2006-Garcia-Molina #bibliography #challenge
Pair-Wise entity resolution: overview and challenges (HGM), p. 1.
ICSEICSE-2006-Selic #bibliography #named #tutorial #uml
Tutorial: an overview of UML 2 (BS), pp. 1069–1070.
DATEDATE-2005-Schattkowsky #bibliography #design #uml
UML 2.0 — Overview and Perspectives in SoC Design (TS), pp. 832–833.
ITiCSEITiCSE-2005-Impagliazzo #bibliography #education
Computing curricula overview project (JI), p. 347.
ICALPICALP-2005-Libkin #bibliography #logic #perspective
Logics for Unranked Trees: An Overview (LL), pp. 35–50.
CHICHI-2005-LamB #summary #web
Summary thumbnails: readable overviews for small screen web browsers (HL, PB), pp. 681–690.
GPCEGPCE-2005-NierstraszDD #bibliography #object-oriented #perspective #re-engineering
Object-Oriented Reengineering Patterns — An Overview (ON, SD, SD), pp. 1–9.
VMCAIVMCAI-2005-Martel #bibliography #semantics #source code #validation
An Overview of Semantics for the Validation of Numerical Programs (MM), pp. 59–77.
ITiCSEITiCSE-WGR-2004-Gorgone #bibliography #education #information management
Information systems and the overview report for computing curricula 2004 (JTG), pp. 15–16.
AdaEuropeAdaEurope-2004-Vinoski #bibliography #middleware
An Overview of Middleware (SV), pp. 35–51.
ICEISICEIS-v2-2004-Azevedo #bibliography #order #requirements
Order Planning Decision Support System for Customer Driven Manufacturing: Overview of Main System Requirements (HP, ALA), pp. 417–422.
SIGIRSIGIR-2004-Collins-ThompsonC #bibliography #information retrieval
Information retrieval for language tutoring: an overview of the REAP project (KCT, JC), pp. 544–545.
ICSEICSE-2004-Selic #bibliography #named #tutorial #uml
Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.
ASEASE-2003-HallZ #bibliography #validation
Overview of OpenModel-based Validation with Partial Information (RJH, AZ), pp. 347–351.
SIGMODSIGMOD-2003-JohnsonD #bibliography #perspective #quality
Data Quality and Data Cleaning: An Overview (TJ, TD), p. 681.
AdaEuropeAdaEurope-2003-Kienzle #bibliography #fault tolerance #perspective
Software Fault Tolerance: An Overview (JK), pp. 45–67.
ICEISICEIS-v3-2003-BritoM #aspect-oriented #bibliography #development #perspective
Aspect-Oriented Software Development: An Overview (ISB, AMDM), pp. 531–534.
ICEISICEIS-v4-2003-SerraoFM #bibliography #e-commerce #perspective
E-Commerce Payment Systems — An Overview (CS, PF, JM), pp. 486–493.
SEKESEKE-2003-KendalAC #bibliography #development #hybrid #information management
A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information Systems (SLK, KA, XC), pp. 322–326.
ICSEICSE-2003-Selic #bibliography #tutorial #uml
Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.
DATEDATE-2002-Martin02a #bibliography #design #embedded #motivation #perspective #specification #uml
UML for Embedded Systems Specification and Design: Motivation and Overview (GM), pp. 773–775.
CHICHI-2002-BaudischGBS #comparative #evaluation
Keeping things in context: a comparative evaluation of focus plus context screens, overviews, and zooming (PB, NG, VB, PKS), pp. 259–266.
CHICHI-2002-SuhWRG #bibliography #documentation #interface
Popout prism: adding perceptual principles to overview+detail document interfaces (BS, AW, RR, AG), pp. 251–258.
SIGIRSIGIR-2002-JonesPRSSKW #bibliography #information retrieval #ontology
Spatial information retrieval and geographical ontologies an overview of the SPIRIT project (CBJ, RP, AR, MS, MS, MJvK, RW), pp. 387–388.
SPLCSPLC-2002-Linden #architecture #bibliography #perspective #process #product line
Engineering Software Architectures, Processes and Platforms for System Families — ESAPS Overview (FvdL), pp. 383–398.
ICLPICLP-2002-Angelopoulos #bibliography #finite #perspective #probability
Probabilistic Finite Domains: A Brief Overview (NA), p. 475.
ICLPICLP-2002-BoigelotW #automaton #bibliography #constraints #finite #perspective #representation
Representing Arithmetic Constraints with Finite Automata: An Overview (BB, PW), pp. 1–19.
VLDBVLDB-2001-Draluk #bibliography #perspective #web #web service
Discovering Web Services: An Overview (VD), pp. 637–640.
PASTEPASTE-2001-Reiss #bibliography
An overview of BLOOM (SPR), pp. 2–5.
CHICHI-2001-HornbaekF #bibliography #documentation #interface #linear #usability
Reading of electronic documents: the usability of linear, fisheye, and overview+detail interfaces (KH, EF), pp. 293–300.
VISSOFTSVIS-2001-WinterKR #bibliography #graph
An Overview of the GXL Graph Exchange Language (AW, BK, VR), pp. 324–336.
KDDKDD-T-2001-HanLP #bibliography #mining #perspective #scalability
Scalable frequent-pattern mining methods: an overview (JH, LVSL, JP), pp. 264–324.
ECOOPECOOP-2001-KiczalesHHKPG #aspectj #bibliography
An Overview of AspectJ (GK, EH, JH, MK, JP, WGG), pp. 327–353.
TOOLSTOOLS-USA-2001-Mogyorodi #bibliography #perspective #testing
Requirements-Based Testing: An Overview (GM), pp. 286–295.
TOOLSTOOLS-USA-2001-Webre #bibliography #perspective
Object Technology: An Executive Overview (HW), p. 331.
HPDCHPDC-2001-JohnstonTJ #bibliography #security
Overview of Security Considerations for Computational and Data Grids (WEJ, ST, KRJ), pp. 439–440.
CAVCAV-2001-Leroy #bibliography #bytecode #java #perspective #verification
Java Bytecode Verification: An Overview (XL), pp. 265–285.
ASEASE-2000-LaleauM #bibliography #generative #specification #uml
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.
VLDBVLDB-2000-Ramaswamy #bibliography #perspective
E.piphany Epicenter Technology Overview (SR), p. 723.
WRLAWRLA-2000-Millen #analysis #bibliography #encryption #protocol #term rewriting
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk (JKM), pp. 229–234.
WRLAWRLA-2000-Nakashima #bibliography #information management
Cyber Assistance for Situtated Human Information Processing Overview of the invited talk (HN), pp. 292–293.
CAiSECAiSE-2000-DupuyLC #bibliography #specification #uml
An Overview of RoZ: A Tool for Integrating UML and Z Specifications (SD, YL, MCP), pp. 417–430.
SIGIRSIGIR-2000-SwanA #automation #bibliography #generative #timeline
Automatic generation of overview timelines (RCS, JA), pp. 49–56.
TOOLSTOOLS-USA-2000-Ritchie #bibliography #perspective
Object Technology: An Executive Overview (CR), pp. 387–390.
ICLPCL-2000-Miller #bibliography #perspective #syntax
Abstract Syntax for Variable Binders: An Overview (DM), pp. 239–253.
ASEASE-1999-BousquetZ #bibliography #testing
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software (LdB, NZ), pp. 208–215.
IFMIFM-1999-MahonyD #bibliography #semantics
Overview of the Semantics of TCOZ (BPM, JSD), pp. 66–85.
HCIHCI-CCAD-1999-RizzoBNCRLKKTH #bibliography #process
Virtual environments for targeting cognitive processes: an overview of projects at the University of Southern California (AAR, JGB, UN, CC, AvR, PL, KK, CK, MT, LH), pp. 1095–1099.
AdaSIGAda-1999-Lopes #ada #bibliography #perspective #sql
Ada+SQL — an overview (AVL), pp. 157–162.
ICEISICEIS-1999-Chattopadhyay #bibliography #enterprise #using
Overview of Enterprise Management Using SAP R/3 (SPC), p. VIII.
ICEISICEIS-1999-Pinto #bibliography #distributed #framework #network
Distributed Networking Computer Model: SUNs JINI as an Advance in the Technology-An Overview of Javas Distributed Platform (HJPBPP), p. 790.
TOOLSTOOLS-USA-1999-Liu #bibliography #database #deduction #object-oriented
Overview of the ROL2 Deductive Object-Oriented Database System (ML), p. 63–?.
ICSEICSE-1999-Kontio #bibliography #development #risk management
Risk Management in Software Development: A Technology Overview and the Riskit Method (JK), pp. 679–680.
HPDCHPDC-1999-TakefusaMNAN #algorithm #bibliography #evaluation #performance #scheduling
Overview of a Performance Evaluation System for Global Computing Scheduling Algorithms (AT, SM, HN, KA, UN), pp. 97–104.
LICSLICS-1999-HalpernF #bibliography #metric #perspective #reasoning
Plausibility Measures and Default Reasoning: An Overview (JYH, NF), pp. 130–135.
PODSPODS-1998-Chaudhuri #bibliography #optimisation #query #relational
An Overview of Query Optimization in Relational Systems (SC), pp. 34–43.
WRLAWRLA-1998-BorovanskyKKMR #bibliography
An overview of ELAN (PB, CK, HK, PEM, CR), pp. 55–70.
WRLAWRLA-1998-DiaconescuF #bibliography
An overview of CafeOBJ (RD, KF), pp. 285–298.
FMFM-1998-Canada #bibliography #perspective
Z/EVES Version 1.5: An Overview (OC), pp. 367–376.
FMFM-1998-Slotosch #bibliography #named
QUEST: Overview over the Project (OS), pp. 346–350.
SACSAC-1998-Konstantas #bibliography #distributed
Overview of a telepresence environment for distributed musical rehearsals (DK), pp. 456–457.
SACSAC-1998-PandaG #bibliography #information management
An overview of post information warfare data recovery (BP, JG), pp. 253–254.
DACDAC-1997-Tang #bibliography #design #process
Overview of Microelectromechanical Systems and Design Processes (WCT), pp. 670–673.
SASSAS-1997-Jones #abstract interpretation #bibliography #partial evaluation
Combining Abstract Interpretation and Partial Evaluation (Brief Overview) (NDJ), pp. 396–405.
HCIHCI-CC-1997-AarasHBRT #bibliography #multi #perspective
A Three Years Follow-up Multidisciplinary Ergonomic Interventions. Overview (AA, GH, HHB, OR, MT), pp. 631–634.
HCIHCI-SEC-1997-OhtaA #bibliography #network
A Sensor Network Management System-An Overview and Example (MO, YA), pp. 197–200.
KDDKDD-1997-ProvostK #algorithm #bibliography #induction #perspective #scalability
Scaling Up Inductive Algorithms: An Overview (FJP, VK), pp. 239–242.
TOOLSTOOLS-ASIA-1997-LiGMY #bibliography #component #library
An Overview of JB (Jade Bird) Component Library System JBCL (KL, LG, HM, FY), pp. 206–213.
ICSEICSE-1997-Perry #architecture #bibliography #state of the art
An Overview of the State of the Art in Software Architecture (DEP), pp. 590–591.
ITiCSEITiCSE-1996-BerginBPMNRWGKJ #bibliography #design #visualisation
An overview of visualization: its use and design: report of the working group in visualization (JB, KB, MPM, MFM, TLN, SHR, JW, MG, SK, RJP), pp. 192–200.
CSCWCSCW-1996-GrudinPP #bibliography #tutorial
CSCW Overview (Tutorial) (JG, SEP, JFP), p. 3.
KDDAKDDM-1996-FayyadPS #bibliography #data mining #information management #mining #perspective
From Data Mining to Knowledge Discovery: An Overview (UMF, GPS, PS), pp. 1–34.
KDDKDD-1996-Piatetsky-ShapiroBKKS #bibliography #data mining #industrial #information management #mining
An Overview of Issues in Developing Industrial Data Mining and Knowledge Discovery Applications (GPS, RJB, TK, WK, ES), pp. 89–95.
SIGMODSIGMOD-1995-BaruFGHJPW #bibliography #parallel
An Overview of DB2 Parallel Edition (CKB, GF, AG, HIH, AJ, SP, WGW), pp. 460–462.
SIGMODSIGMOD-1995-MattosM #bibliography #sql #standard #tutorial
An Overview of the Emerging Third-Generation SQL Standard (Tutorial) (NMM, JM), p. 468.
DLTDLT-1995-BordihnF #bibliography #perspective
Accepting Grammars and Systems: An Overview (HB, HF), pp. 199–208.
CIKMCIKM-1995-SegevWB #bibliography
Electronic Catalogs: a Technology Overview and Survey Results (AS, DW, CB), pp. 11–18.
HPDCHPDC-1995-Richer #bibliography #challenge
Invited Paper: Overview of the MAGIC Project — Challenges and Accomplishments (IR), p. 139.
ICLPILPS-1995-HarlandPW #bibliography #perspective #programming
Programming in Lygon: A Brief Overview (JH, DJP, MW), p. 636.
ICLPILPS-1995-LevyR #bibliography #logic
Combining Rules and Description Logics: An Overview of CARIN (AYL, MCR), p. 635.
DATEEDAC-1994-ByrneMLD #bibliography #optimisation #using
An Overview of Analogue Optimisation Using “AD-OPT” (EB, OM, DL, BD), pp. 540–545.
VLDBVLDB-1994-BernsteinD #bibliography #repository
An Overview of Repository Technology (PAB, UD), pp. 705–713.
CHICHI-1994-TaniHYTF94a #bibliography #named #scalability
Courtyard: integrating shared overview on a large screen and per-user detail on individual screens (MT, MH, KY, KT, MF), pp. 44–50.
KDDKDD-1994-ImamM #bibliography
From Facts to Rules to Decisions: An Overview of the FRD-1 System (IFI, RSM), pp. 229–236.
CCCC-1994-Hedin #attribute grammar #bibliography
An Overview of Door Attribute Grammars (GH), pp. 31–51.
HPDCHPDC-1994-Sakai #bibliography #parallel
Overview of RWC Massively Parallel Computer Project (SS), p. 5.
FMFME-1993-Jonkers #bibliography
An Overview of the SPRINT Method (HBMJ), pp. 403–427.
SIGIRSIGIR-1993-Harman #bibliography #retrieval
Overview of the First Text REtrieval Conference (DH), pp. 36–47.
TOOLSTOOLS-EUROPE-1993-CattaneoCLZ #analysis #bibliography #database #evolution #object-oriented
Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution (FC, ACP, LL, RZ), pp. 63–74.
TOOLSTOOLS-USA-1993-Henderson-SellersE #bibliography #perspective
Associated Paper: MOSES: An Overview (BHS, JME), pp. 561–571.
TOOLSTOOLS-USA-1993-Wang93a #architecture #bibliography #perspective
Bedrock Architecture Overview (GW), pp. 577–581.
RERE-1993-JarkeBRSV #bibliography #requirements
Theories underlying requirements engineering: an overview of NATURE at Genesis (MJ, JABJ, CR, AGS, YV), pp. 19–31.
ICSEICSE-1993-Iscoe #bibliography #domain model #modelling #research
Domain Modeling — Overview & Ongoing Research at EDS (NI), pp. 198–200.
ICLPILPS-1993-GudjonssonW #bibliography
Update In Place: Overview of the Siva Project (GG, WHW), pp. 94–113.
CHICHI-1992-Clancey #bibliography #learning #research
Overview of the Institute for Research on Learning (WJC), pp. 571–572.
CHICHI-1992-GrayJA #bibliography #validation
The precis of Project Ernestine or an overview of a validation of GOMS (WDG, BEJ, MEA), pp. 307–312.
TOOLSTOOLS-EUROPE-1992-Ege #bibliography #object-oriented #programming language
Overview of Object-Oriented Programming Languages (RKE), p. 427.
ISMMIWMM-1992-WeemeeuwD #bibliography #garbage collection #perspective
Garbage Collection in Aurora: An Overview (PW, BD), pp. 454–472.
CADECADE-1992-UribeFM #automation #bibliography #framework #proving
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems (TEU, AMF, MKM), pp. 721–725.
FMVDME-1991-1-Bear #bibliography
An Overview of HP-SL (SB), pp. 571–587.
FMVDME-1991-1-CraigenKMPS #bibliography #named #perspective
EVES: An Overview (DC, SK, IM, BP, MS), pp. 389–405.
KDDKDD-1991-FrawleyPM #bibliography #database #information management #perspective
Knowledge Discovery in Databases: An Overview (WJF, GPS, CJM), pp. 1–30.
KDDKDD-1991-McLeishYGS #bibliography
Discovery of Medical Diagnostic Information: An Overview of Methods and Results (MM, PY, MG, TS), pp. 477–490.
PPDPPLILP-1991-LegeardL #bibliography
Short Overview of the CLPS System (BL, EL), pp. 431–433.
CAVCAV-1991-NicollinS #algebra #bibliography #process #synthesis
An Overview and Synthesis on Timed Process Algebras (XN, JS), pp. 376–398.
ICLPICLP-1991-AggounB #bibliography #compilation
Overview of the CHIP Compiler System (AA, NB), pp. 775–789.
ICLPICLP-1991-Scowen #bibliography #problem #prolog #standard
An Overview of Prolog Standardization — Progress, Problems and Solutions (RSS), pp. 922–936.
ICTSSIWPTS-1991-Berghe #bibliography #consistency #specification #standard #tool support
Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation (FvdB), pp. 297–310.
HTECHT-1990-ShermanHMN #bibliography #hypermedia #multi #tool support
Building Hypertext on a Multimedia Toolkit: An Overview of Andrew Toolkit Hypermedia Facilities (MS, WJH, MM, TPN), pp. 13–24.
CAiSECAiSE-1990-Folkmanis #bibliography #perspective
ESPRIT Today — An Overview (JF), p. 283.
SIGMODSIGMOD-1989-Kent #bibliography #problem #version control
An Overview of the Versioning Problem (WK), pp. 5–7.
VLDBVLDB-1989-VelezBD #bibliography #perspective
The O2 Object Manager: an Overview (FV, GB, VD), pp. 357–366.
RTARTA-1989-GarlandG #bibliography
An Overview of LP, The Larch Power (SJG, JVG), pp. 137–151.
RTARTA-1989-KapurZ #bibliography
An Overview of Rewrite Rule Laboratory (RRL) (DK, HZ), pp. 559–563.
ECOOPECOOP-1988-LaenensV #bibliography #database #object-oriented #programming language
An Overview of OOPS+, An Object-Oriented Database Programming Language (EL, DV), pp. 350–373.
OOPSLAOOPSLA-1988-Wirfs-BrockW #bibliography #composition #smalltalk
An Overview of Modular Smalltalk (AWB, BW), pp. 123–134.
CCCCHSC-1988-LippsMW #bibliography #case study #experience #named #program transformation #specification
OPTRAN — A Language/System for the Specification of Program Transformations: System Overview and Experiences (PL, UM, RW), pp. 52–65.
ICLPJICSCP-1988-NadathurM88 #bibliography #prolog
An Overview of λ-PROLOG (GN, DM), pp. 810–827.
DACDAC-1987-OwensI #bibliography #design
An Overview of the Penn State Design System (RMO, MJI), pp. 516–522.
DACDAC-1987-Trevillyan #bibliography #logic #synthesis
An Overview of Logic Synthesis Systems (LT), pp. 166–172.
HCIHCI-CE-1987-Shackel #bibliography #research
An Overview of Research on Electronic Journals (BS), pp. 193–206.
ECOOPECOOP-1987-DeMichielG #bibliography #lisp #object-oriented #perspective
The Common Lisp Object System: An Overview (LGD, RPG), pp. 151–170.
ECOOPECOOP-1987-HurC #bibliography #object-oriented #parallel
Overview of a Parallel Object-Oriented Language CLIX (JHH, KC), pp. 265–273.
DACDAC-1986-Shahdad #bibliography
An overview of VHDL language and technology (MS), pp. 320–326.
VLDBVLDB-1986-FushimiKT #bibliography #database #parallel #relational
An Overview of The System Software of A Parallel Relational Database Machine GRACE (SF, MK, HT), pp. 209–219.
CADECADE-1986-BoyerM #bibliography #logic
Overview of a Theorem-Prover for A Computational Logic (RSB, JSM), pp. 675–678.
ICLPICLP-1986-MorrisUG86 #bibliography #design #exclamation
Design Overview of the NAIL! System (KAM, JDU, AVG), pp. 554–568.
DACDAC-1985-GranackiKP #automation #bibliography #design #interface #natural language
The ADAM advanced design automation system: overview, planner and natural language interface (JJG, DK, ACP), pp. 727–730.
SIGIRSIGIR-1985-Fox #bibliography #documentation #perspective #retrieval
Composite Document Extended Retrieval — An Overview (EAF), pp. 42–53.
ICSEICSE-1985-Schaul #bibliography #design #education #re-engineering #using
Design Using Software Engineering Principles: Overview of an Educational Program (MS), pp. 201–209.
DACDAC-1984-Trischler #automation #bibliography #design #generative #perspective #testing
An integrated design for testability and automatic test pattern generation system: An overview (ET), pp. 209–215.
SIGMODSIGMOD-1984-FishmanLW #bibliography #database
Overview of the Jasmin Database Machine (DHF, MYL, WKW), pp. 234–239.
ICALPICALP-1984-FaginV #bibliography #dependence #formal method #perspective
The Theory of Data Dependencies — An Overview (RF, MYV), pp. 1–22.
DACDAC-1983-Dunn #bibliography #design #verification
An overview of the design and verification subsystem of the Engineering Design System (LND), pp. 237–238.
SIGMODSIGMOD-1983-ChanDFGRS #ada #bibliography #database #distributed
Overview of an Ada Compatible Distributed Database Manager (AC, UD, SF, NG, DRR, DS), pp. 228–237.
DACDAC-1982-Collins #bibliography
IBM 3081 system overview and technology (CAC), pp. 75–82.
PLDISCC-1982-AuslanderH #bibliography #compilation
An Overview of the PL.8 Compiler (MAA, MH), pp. 22–31.
PLDIBest-of-PLDI-1982-AuslanderH #bibliography #compilation
An overview of the PL.8 compiler (with retrospective) (MAA, MH), pp. 38–48.
LISPLFP-1982-Steele #bibliography #lisp
An Overview of Common Lisp (GLSJ), pp. 98–107.
ASPLOSASPLOS-1982-JohnssonW #architecture #bibliography
An Overview of the Mesa Processor Architecture (RKJ, JDW), pp. 20–29.
DACDAC-1981-AtkinsLO #bibliography #design
Overview of an Arithmetic Design System (DEA, WL, SO), pp. 314–321.
LISPLISP-1980-BurtonMBHKS #bibliography #lisp
Overview and Status of DoradoLISP (RRB, LM, DGB, WH, RMK, BAS), p. 243–?.
POPLPOPL-1980-Klint #bibliography #programming language
An Overview of the Summer Programming Language (PK), pp. 47–55.
FMFM-1979-BergFM #bibliography #correctness #perspective
Correctness of Software — An Overview (HKB, WRF, TGM), pp. 237–354.
FMFM-1979-BoydPW #bibliography #design
An Overview of RDM: Rational Design Methodology (DLB, AP, WTW), pp. 79–110.
ICSEICSE-1979-McKeeman #bibliography #on the #perspective
On An Overview (WMM), p. 340.
DACDAC-1978-Rosene #bibliography #perspective
Phoenix system overview (AFR), p. 231.
VLDBVLDB-1978-AdibaCDGB #bibliography #database #distributed #perspective
Issues in Distributed Data Base Management Systems: A Technical Overview (MEA, JCC, RD, GG, JLB), pp. 89–110.
SIGIRSIGIR-1978-Infodata #bibliography #perspective
Inquire System Overview (IS), pp. 171–174.
ICSEICSE-1976-BallFLRR #bibliography
RIG, Rochester’s Intelligent Gateway: System Overview (Abstract) (JEB, JAF, JRL, RFR, PR), p. 132.
ICSEICSE-1976-Browne #bibliography #evaluation #performance
A Critical Overview of Computer Performance Evaluation (JCB), pp. 138–145.
SOSPSOSP-1975-WulfLP #bibliography #development #operating system
Overview of the HYDRA Operating System Development (WAW, RL, CP), pp. 122–131.
SIGMODSIGFIDET-1971-Browne #bibliography #perspective #privacy
Data Privacy and Integrity: An Overview (PSB), pp. 237–240.

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.