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:
base (22)
report (17)
system (16)
model (15)
softwar (15)

Stem progress$ (all stems)

189 papers:

CASECASE-2015-ChanW #optimisation #segmentation
Progressive segmentation for MRR-based feed-rate optimization in CNC machining (KCC, CCLW), pp. 691–696.
DATEDATE-2015-ChenYCK #migration #named
PWL: a progressive wear leveling to minimize data migration overheads for nand flash devices (FHC, MCY, YHC, TWK), pp. 1209–1212.
CHICHI-2015-ButlerASGP #analysis #automation #design #game studies
Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.
HCIHCI-DE-2015-VlachostergiouC #human-computer
HCI and Natural Progression of Context-Related Questions (AV, GC, AR, SDK), pp. 530–541.
ICEISICEIS-v2-2015-BaldassarreBCV #metric
Tracking Project Progress with Earned Value Management Metrics — A Real Case (MTB, NB, DC, GV), pp. 502–508.
KDDKDD-2015-MayaMMAY #clustering #using
Discovery of Glaucoma Progressive Patterns Using Hierarchical MDL-Based Clustering (SM, KM, HM, RA, KY), pp. 1979–1988.
KDDKDD-2015-RiondatoU #mining
Mining Frequent Itemsets through Progressive Sampling with Rademacher Averages (MR, EU), pp. 1005–1014.
ICSEICSE-v1-2015-MullerF #developer
Stuck and Frustrated or in Flow and Happy: Sensing Developers’ Emotions and Progress (SCM, TF), pp. 688–699.
PPoPPPPoPP-2015-ZhangHCB #memory management #semantics #transaction
Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
DACDAC-2014-CongGGGGR #architecture
Accelerator-Rich Architectures: Opportunities and Progresses (JC, MAG, MG, BG, KG, GR), p. 6.
DATEDATE-2014-LiuBC #hardware #image
Image progressive acquisition for hardware systems (JL, CSB, PYKC), pp. 1–6.
SIGMODSIGMOD-2014-PangKFF #commit #named #predict
PLANET: making progress with commit processing in unpredictable environments (GP, TK, MJF, AF), pp. 3–14.
VLDBVLDB-2014-AltowimKM #approach #relational
Progressive Approach to Relational Entity Resolution (YA, DVK, SM), pp. 999–1010.
ITiCSEITiCSE-2014-LobodaGHB #education #open source #social #visualisation
Mastery grids: an open-source social educational progress visualization (TDL, JG, RH, PB), p. 357.
PLDIPLDI-2014-MitraLABSG #analysis #debugging #parallel #scalability
Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.
SASSAS-2014-LeeOY
A Progress Bar for Static Analyzers (WL, HO, KY), pp. 184–200.
CHICHI-2014-GlueckKW #exclamation #navigation #realtime #visualisation
Dive in!: enabling progressive loading for real-time navigation of data visualizations (MG, AK, DJW), pp. 561–570.
CHICHI-2014-LiuGFXHK #analysis
CHI 1994-2013: mapping two decades of intellectual progress through co-word analysis (YL, JG, DF, BX, SH, VK), pp. 3553–3562.
ICPRICPR-2014-AodhaSBTGJ #interactive #machine learning
Putting the Scientist in the Loop — Accelerating Scientific Progress with Interactive Machine Learning (OMA, VS, GJB, MT, MAG, KEJ), pp. 9–17.
KDDKDD-2014-WangSW #learning #modelling
Unsupervised learning of disease progression models (XW, DS, FW), pp. 85–94.
KRKR-2014-BelleL #how
How to Progress Beliefs in Continuous Domains (VB, HJL).
KRKR-2014-BelleL14a #multi #on the
On the Progression of Knowledge in Multiagent Systems (VB, GL).
CASECASE-2013-JunKZRK #automation
Automation for individualization of Kinect-based quantitative progressive exercise regimen (SkJ, SK, XZ, DKR, VNK), pp. 243–248.
ICDARICDAR-2013-TangHF #analysis #approach #recognition
A Progressive Structural Analysis Approach for Handwritten Chemical Formula Recognition (PT, SCH, CWF), pp. 359–363.
VLDBVLDB-2013-ChandramouliGQ #big data #in the cloud #scalability
Scalable Progressive Analytics on Big Data in the Cloud (BC, JG, AQ), pp. 1726–1737.
IFMIFM-2013-HudonH #design
Systems Design Guided by Progress Concerns (SH, TSH), pp. 16–30.
CHICHI-2013-AndersenGP #education #framework
A trace-based framework for analyzing and synthesizing educational progressions (EA, SG, ZP), pp. 773–782.
HCIHCI-AS-2013-EshraghiERYEMH #case study
Study on Relationship between Foot Pressure Pattern and Hallux Valgus (HV) Progression (SE, IIE, PR, MY, ME, AM, SH), pp. 76–83.
SACSAC-2013-SimaoV
A progress and profile-driven cloud-VM for resource-efficiency and fairness in e-science environments (JS, LV), pp. 357–362.
CAVCAV-2013-ReiterBCN #named
TTP: Tool for Tumor Progression (JGR, IB, KC, MAN), pp. 101–106.
DATEDATE-2012-RayB #scalability #verification
Scalable progress verification in credit-based flow-control systems (SR, RKB), pp. 905–910.
CSCWCSCW-2012-BardzellNPB
Come meet me at Ulduar: progression raiding in world of warcraft (JB, JN, TP, SB), pp. 603–612.
KDDKDD-2012-ZhouLNY #modelling
Modeling disease progression via fused sparse group lasso (JZ, JL, VAN, JY), pp. 1095–1103.
KMISKMIS-2012-Damtew #community #health
Accelerating Health Service and Data Capturing Trough Community Health Workers in Rural Ethiopia — A Pre-requisite to Progress (ZAD), pp. 168–177.
SEKESEKE-2012-XiePDMRTR #categorisation #clustering #grid #power management
Progressive Clustering with Learned Seeds: An Event Categorization System for Power Grid (BX, RJP, HD, JYM, AR, AT, CR), pp. 100–105.
OnwardOnward-2012-PolitzVK
Progressive types (JGP, HQdlV, SK), pp. 55–66.
QAPLQAPL-2012-CormieBowinsB #ltl #model checking #probability
Measuring Progress of Probabilistic LTL Model Checking (ECB, FvB), pp. 33–47.
ICLPICLP-2012-Balduccini #set #source code
An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.
SMTSMT-2012-PhanBM #quantifier #satisfiability
Anatomy of Alternating Quantifier Satisfiability (Work in progress) (ADP, NB, DM), pp. 120–130.
WICSAWICSA-2011-HarrisonC #architecture #scalability
Attempting to Understand the Progress of Software Architecture Decision-Making on Large Australian Defence Projects (TCH, APC), pp. 42–45.
DACDAC-2011-HuangSH #power management
Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips (TWH, HYS, TYH), pp. 741–746.
ICDARICDAR-2011-FerilliBEB #recognition
A Contour-Based Progressive Technique for Shape Recognition (SF, TMAB, FE, MB), pp. 723–727.
ICDARICDAR-2011-LundWR #fault #multi
Progressive Alignment and Discriminative Error Correction for Multiple OCR Engines (WBL, DDW, EKR), pp. 764–768.
VLDBVLDB-2012-KonigDCN11 #approach #estimation #robust #statistics #towards
A Statistical Approach Towards Robust Progress Estimation (ACK, BD, SC, VRN), pp. 382–393.
CSMRCSMR-2011-KraftKNCH #embedded #maintenance #predict #research
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems (JK, HMK, TN, IC, HH), pp. 335–338.
ICALPICALP-v2-2011-ZhangB #model checking #probability
A Progress Measure for Explicit-State Probabilistic Model-Checkers (XZ, FvB), pp. 283–294.
KDDKDD-2011-ZhouYLY #learning #multi #predict
A multi-task learning formulation for predicting disease progression (JZ, LY, JL, JY), pp. 814–822.
SACSAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread
Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
SIGMODSIGMOD-2010-MortonBG #graph #named #pipes and filters
ParaTimer: a progress indicator for MapReduce DAGs (KM, MB, DG), pp. 507–518.
SIGMODSIGMOD-2010-RaghavanR #framework #generative #multi #named #query
ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.
ITiCSEITiCSE-2010-Friese #logic programming
Measuring of and reacting to learners’ progress in logic programming courses (SF), pp. 152–154.
CHICHI-2010-HarrisonDH #evaluation #image
Evaluation of progressive image loading schemes (CH, AKD, SEH), pp. 1549–1552.
CHICHI-2010-HarrisonYH #performance #visual notation
Faster progress bars: manipulating perceived duration with visual augmentations (CH, ZY, SEH), pp. 1545–1548.
CHICHI-2010-WilcoxLLFJ
Physician-driven management of patient progress notes in an intensive care unit (LW, JL, JCL, SF, DAJ), pp. 1879–1888.
ICPRICPR-2010-TanakaKO
Progressive MAP-based Deconvolution with Pixel-Dependent Gaussian Prior (MT, TK, MO), pp. 4428–4431.
KDIRKDIR-2010-AddisAV #categorisation
Assessing Progressive Filtering to Perform Hierarchical Text Categorization in Presence of Input Imbalance (AA, GA, EV), pp. 14–23.
KEODKEOD-2010-KambhampatiSP #metric #predict
Dysphonia Measures in Parkinson’s Disease and Their use in Prediction of Its Progression (CK, MS, NP), pp. 104–109.
KRKR-2010-ZhangZ #bound #on the #semantics #set #source code
On the Progression Semantics and Boundedness of Answer Set Programs (YZ, YZ).
DATEDATE-2009-EberleMNGCBTV #challenge
Health-care electronics The market, the challenges, the progress (WE, ASM, TKTN, GGEG, RC, AB, CT, BV), pp. 1030–1034.
VLDBVLDB-2009-ChandramouliGM #detection #on the fly #query
On-the-fly Progress Detection in Iterative Stream Queries (BC, JG, DM), pp. 241–252.
ITiCSEITiCSE-2009-Djordjevic
Progressive assignment in CS1 (MD), p. 346.
ICSMEICSM-2009-AlamAH #dependence #using
Measuring the progress of projects using the time dependence of code changes (OA, BA, AEH), pp. 329–338.
PLDIPLDI-2009-GulwaniJK #analysis #bound #control flow #invariant #refinement
Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.
PLDIPLDI-2009-PetrankMS #bound #parallel #source code
Progress guarantee for parallel programs via bounded lock-freedom (EP, MM, BS), pp. 144–154.
HCIHCD-2009-MarcusGS #maturity #standard #usability #validation
Validating a Standardized Usability/User-Experience Maturity Model: A Progress Report (AM, RG, RS), pp. 104–109.
CIKMCIKM-2009-ChenLY #evaluation #maintenance #network #query
Progressive skyline query evaluation and maintenance in wireless sensor networks (BC, WL, JXY), pp. 1445–1448.
SIGIRSIGIR-2009-HannaRR #music #retrieval #robust #similarity
A robust retrieval system of polyphonic music based on chord progression similarity (PH, TR, MR), pp. 768–769.
POPLPOPL-2009-GuerraouiK #memory management #semantics #transaction
The semantics of progress in lock-based transactional memory (RG, MK), pp. 404–415.
SACSAC-2009-FalconeFM #classification #monitoring
Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
CADECADE-2009-SutcliffeBBT #automation #development #higher-order #logic #proving #theorem proving
Progress in the Development of Automated Theorem Proving for Higher-Order Logic (GS, CB, CEB, FT), pp. 116–130.
CAVCAV-2009-AbadiBC #modelling #protocol #proving #security
Models and Proofs of Protocol Security: A Progress Report (MA, BB, HCL), pp. 35–49.
VMCAIVMCAI-2009-Emerson #model checking #problem
Model Checking: Progress and Problems (EAE), p. 1.
CASECASE-2008-AzarnasabHAF #case study #design
Progressive simulation-based design: A case study example on software defined radio (EA, XH, PA, BFB), pp. 394–399.
DACDAC-2008-YuhSYC #algorithm
A progressive-ILP based routing algorithm for cross-referencing biochips (PHY, SSS, CLY, YWC), pp. 284–289.
PEPMPEPM-2008-FeiginM #hardware
Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.
CIAACIAA-2008-El-FakihY #automaton #equation
Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.
ICEISICEIS-HCI-2008-TrulockH #case study #implementation #web
Assessing the Progress of Implementing Web Accessibility — An Irish Case Study (VT, RH), pp. 105–111.
KRKR-2008-VassosLL #first-order
First-Order Strong Progression for Local-Effect Basic Action Theories (SV, GL, HJL), pp. 662–672.
RecSysRecSys-2008-Koren #collaboration #tutorial
Tutorial on recent progress in collaborative filtering (YK), pp. 333–334.
DACDAC-2007-VermaBI #composition #heuristic
Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits (AKV, PB, PI), pp. 404–409.
HTHT-2007-WellsD
Progressive enhancement in the real world (JW, CD), pp. 55–56.
SIGMODSIGMOD-2007-HanNMKK #database #optimisation #parallel
Progressive optimization in a shared-nothing parallel database (WSH, JN, VM, HK, MK), pp. 809–820.
SIGMODSIGMOD-2007-XinHC #ad hoc #ranking
Progressive and selective merge: computing top-k with ad-hoc ranking functions (DX, JH, KCCC), pp. 103–114.
VLDBVLDB-2007-ChaudhuriN #database #self
Self-Tuning Database Systems: A Decade of Progress (SC, VRN), pp. 3–14.
CSMRCSMR-2007-GuptaSCMRL #case study
A Case Study of Defect-Density and Change-Density and their Progress over Time (AG, OPNS, RC, PM, HR, EL), pp. 7–16.
HCIHIMI-IIE-2007-AndoM #education #student
A New Method for Teachers and Students to Record Daily Progress in a Class (AA, KM), pp. 245–251.
SACSAC-2007-BarratT #learning #recognition
A progressive learning method for symbols recognition (SB, ST), pp. 627–631.
CASECASE-2006-PengWL #image
A Strategy Improving Registration Accuracy Progressively for INSAR Complex Image (SP, YW, GL), pp. 626–629.
DACDAC-2006-ChoP #named
BoxRouter: a new global router based on box expansion and progressive ILP (MC, DZP), pp. 373–378.
VLDBVLDB-2006-KacheHMRE #named #optimisation #query
POP/FED: Progressive Query Optimization for Federated Queries in DB2 (HK, WSH, VM, VR, SE), pp. 1175–1178.
VLDBVLDB-2006-Keogh #database #mining #scalability
A Decade of Progress in Indexing and Mining Large Time Series Databases (EJK), p. 1268.
VLDBVLDB-2006-ZhangDXT #query
Progressive Computation of the Min-Dist Optimal-Location Query (DZ, YD, TX, YT), pp. 643–654.
FASEFASE-2006-TowellD #implementation
A Software Implementation Progress Model (DT, JD), pp. 93–106.
SCAMSCAM-2006-SawinR #algorithm #graph #runtime
Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.
PLDIPLDI-2006-KoesG
A global progressive register allocator (DRK, SCG), pp. 204–215.
DLTDLT-J-2005-AnanichevPV06 #word
Collapsing Words: a Progress Report (DSA, IVP, MVV), pp. 507–518.
CIKMCIKM-2006-HuangTOC #mining #on the
On progressive sequential pattern mining (JWH, CYT, JCO, MSC), pp. 850–851.
ECIRECIR-2006-LalmasRTY #information retrieval
Progress in Information Retrieval (ML, SMR, TT, AY), pp. 1–11.
KDDKDD-2006-ZhangHL #mining
Mining progressive confident rules (MZ, WH, MLL), pp. 803–808.
RERE-2006-SeaterJ #problem
Requirement Progression in Problem Frames Applied to a Proton Therapy System (RS, DJ), pp. 166–175.
ICSTSAT-2006-SheiniS06a #modulo theories #satisfiability
A Progressive Simplifier for Satisfiability Modulo Theories (HMS, KAS), pp. 184–197.
SIGMODSIGMOD-2005-ChaudhuriKR #query #question #sql #trust
When Can We Trust Progress Estimators for SQL Queries? (SC, RK, RR), pp. 575–586.
SIGMODSIGMOD-2005-JahangiriS #data analysis #named
ProDA: a suite of web-services for progressive data analysis (MJ, CS), pp. 894–896.
DLTDLT-2005-AnanichevPV #word
Collapsing Words: A Progress Report (DSA, IVP, MVV), pp. 11–21.
ICMLICML-2005-PaiementEBB #embedded #visual notation
A graphical model for chord progressions embedded in a psychoacoustic space (JFP, DE, SB, DB), pp. 641–648.
KDDKDD-2005-PearsonKH #database #modelling
Disease progression modeling from historical clinical databases (RKP, RJK, AH), pp. 788–793.
CGOCGO-2005-KoesG #architecture
A Progressive Register Allocator for Irregular Architectures (DK, SCG), pp. 269–280.
PPoPPPPoPP-2005-YangBHM #correctness #monitoring #source code #trust #verification
Trust but verify: monitoring remotely executing programs for progress and correctness (SY, ARB, YCH, SPM), pp. 196–205.
VMCAIVMCAI-2005-Feret #abstract domain #geometry
The Arithmetic-Geometric Progression Abstract Domain (JF), pp. 42–58.
SIGMODSIGMOD-2004-ChaudhuriNR #query #sql
Estimating Progress of Long Running SQL Queries (SC, VRN, RR), pp. 803–814.
SIGMODSIGMOD-2004-LuoNEW #database #query #towards
Toward a Progress Indicator for Database Queries (GL, JFN, CJE, MW), pp. 791–802.
SIGMODSIGMOD-2004-MarklRSLP #optimisation #query #robust
Robust Query Processing through Progressive Optimization (VM, VR, DES, GML, HP), pp. 659–670.
VLDBVLDB-2004-RamanMSLP #optimisation
Progressive Optimization in Action (VR, VM, DES, GML, HP), pp. 1337–1340.
TACASTACAS-2004-Schmidt #automation #generative
Automated Generation of a Progress Measure for the Sweep-Line Method (KS0), pp. 192–204.
KRKR-2004-Gabaldon #algorithm
Precondition Control and the Progression Algorithm (AG), pp. 634–643.
SACSAC-J-2003-Weyuker04 #how #testing
How to judge testing progress (EJW), pp. 323–328.
ICDARICDAR-2003-DoermannLL #analysis #documentation #image
Progress in Camera-Based Document Image Analysis (DSD, JL, HL), p. 606–?.
SIGMODSIGMOD-2003-PapadiasTFS #algorithm #query
An Optimal and Progressive Algorithm for Skyline Queries (DP, YT, GF, BS), pp. 467–478.
SACSAC-2003-Weyuker #testing #using
Using Operational Distributions to Judge Testing Progress (EJW), pp. 1118–1122.
PODSPODS-2002-SchmidtS #how #multi #query
How to Evaluate Multiple Range-Sum Queries Progressively (RRS, CS), pp. 133–141.
VLDBVLDB-2002-DittrichSTW #algorithm
Progressive Merge Join: A Generic and Non-blocking Sort-based Join Algorithm (JPD, BS, DST, PW), pp. 299–310.
ICEISICEIS-2002-Greene #enterprise #information management #network
Enterprise Information Systems and the Global Information Network: Change is Certain, Progress is Optional (TG), p. 5.
ICPRICPR-v1-2002-Spitz #documentation #re-engineering
Progress in Document Reconstruction (ALS), pp. 464–467.
ICPRICPR-v3-2002-FengH #performance
Confidence Guided Progressive Search and Fast Match Techniques for High Performance Chinese/English OCR (ZDF, QH), pp. 89–92.
ICSEICSE-2002-DinkelackerGMN #open source
Progressive open source (JD, PKG, RM, DN), pp. 177–184.
SATSAT-2002-AloulSS #backtracking
A tool for measuring progress of backtrack-search solvers (FAA, BS, KS), p. 28.
DATEDATE-2001-GajskiVRGBPECJ #concurrent #specification
C/C++: progress or deadlock in system-level specification (DG, EV, WR, VG, DB, JP, SEE, PC, GGdJ), pp. 136–137.
HTHT-2001-Wideroos #process #tool support
Awt (Associative writing tool): supporting writing process with a ZigZag based writing tool — work in progress (KW), pp. 35–36.
VLDBVLDB-2001-TanEO #performance
Efficient Progressive Skyline Computation (KLT, PKE, BCO), pp. 301–310.
CSEETCSEET-2001-DuleyVM #experience
Educating Professional Software Engineers: Pathways and Progress in the Australian Experience (RD, DV, SPM), pp. 213–220.
ICSEICSE-2001-KrishnamurthyS #distributed #quantifier #specification #testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems (PK, PAGS), pp. 201–210.
SIGMODSIGMOD-2000-LiBCS #image #named #retrieval
SPIRE: A Progressive Content-Based Spatial Image Retrieval Engine (CSL, LDB, VC, JRS), p. 598.
ITiCSEITiCSE-2000-KajavaV
The professional growth of ICT experts through progressive sandwich training (poster session) (JK, RV), p. 189.
CIKMCIKM-2000-WuAA #approximate #composition #query #using
Using Wavelet Decomposition to Support Progressive and Approximate Range-Sum Queries over Data Cubes (YLW, DA, AEA), pp. 414–421.
ICPRICPR-v1-2000-MinPB #automation #evaluation #image #segmentation
Progress in Automated Evaluation of Curved Surface Range Image Segmentation (JM, MWP, KWB), pp. 1644–1647.
ICPRICPR-v1-2000-SalousPC #image #modelling #segmentation
Iconic Modeling for the Progressive Transmission of Neurological Images: Segmentation (MNS, DP, GSC), pp. 1512–1515.
ICPRICPR-v3-2000-GalambosKM #probability #using
Using Gradient Information to Enhance the Progressive Probabilistic Hough Transform (CG, JK, JM), pp. 3564–3567.
ISSTAISSTA-2000-Wittenberg #component #testing
Progress in testing component-based software (abstract only) (CHW), p. 178.
CHICHI-1999-SingerHSW #less is more
Tangible Progress: Less is More in Somewire Audio Spaces (AS, DH, LS, SW), pp. 104–111.
KDDKDD-1999-ProvostJO #performance
Efficient Progressive Sampling (FJP, DJ, TO), pp. 23–32.
SACSAC-1999-Bugarin #approximate #linear #polynomial
Linear Quadratic Approximation for Solving a Model Economy Distorted by Progressive Taxation (MNSB), pp. 52–56.
SACSAC-1999-FinkH #assessment #multi #risk management
The Disease Progression Explorer: Risk Assessment Support in Chronic, Multifactorial Diseases (PKF, LTH), pp. 46–51.
ESECESEC-FSE-1999-GiannakopoulouMK #question
Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.
ICSEICSE-1999-ConcepcionLS #concurrent #development #monitoring #multi #predict #re-engineering #recursion #thread
The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress (AIC, SL, SJS), pp. 660–663.
SOSPSOSP-1999-DouceurB #process
Progress-based regulation of low-importance processes (JRD, WJB), pp. 247–260.
CHICHI-1998-ChinR #collaboration #design #evolution #learning #staged
Progressive Design: Staged Evolution of Scenarios in the Design of a Collaborative Science Learning Environment (GCJ, MBR), pp. 611–618.
CHICHI-1998-LohRRGRE #design #tool support
The Progress Portfolio: Designing Reflective Tools for a Classroom Context (BL, JR, ER, LMG, BJR, DCE), pp. 627–634.
ICPRICPR-1998-ChenC #network #performance #recursion #representation
Recursive representation and progressive display of binary objects for efficient network browsing (IPC, ZC), pp. 395–399.
ICPRICPR-1998-MahlmeisterSS #image
Sample-guided progressive image coding (UM, MS, GS), pp. 1257–1259.
KRKR-1998-EiterLMPS #benchmark #metric
The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.
HCIHCI-CC-1997-Long #human-computer #question
Twenty-Five Years of HCI: Growth Without Progress? (JL), pp. 197–200.
HCIHCI-CC-1997-Marcus #design #user interface
Cultural Diversity for User Interface Design: A Progress Report (AM), pp. 145–148.
CAVCAV-1997-BozgaMPY #automaton #verification
Some Progress in the Symbolic Verification of Timed Automata (MB, OM, AP, SY), pp. 179–190.
DACDAC-1996-CarleyGRS #synthesis #tool support
Synthesis Tools for Mixed-Signal ICs: Progress on Frontend and Backend Strategies (LRC, GGEG, RAR, WMCS), pp. 298–303.
CSEETCSEE-1996-MackeKNHCCM #industrial
An Industry/Academic Partnership that Worked: An In Progress Report (SM, SK, JN, IH, JC, AC, BM), pp. 234–247.
ICPRICPR-1996-LinLC #3d #modelling #using
Recovery of 3-D closed surfaces using progressive shell models (RL, WCL, CTC), pp. 95–99.
ICPRICPR-1996-LinLC96a #adaptation #modelling
Adaptive finite-element meshes for progressive contour models (RL, WCL, CTC), pp. 125–129.
ISSTAISSTA-1996-PomakisA #analysis #feature model #interactive #reachability
Reachability Analysis of Feature Interactions: A Progress Report (KPP, JMA), pp. 216–223.
VLDBVLDB-1995-Lindsay
DB2 Common Server: Technology, Progress, & Directions (BGL0), pp. 694–695.
SEKESEKE-1995-LiaoCS #framework #object-oriented #testing
An Integrated Testing Framework for Object-Oriented Programs-Work in Progress (SSL, KHC, SBS), pp. 123–125.
ISMMIWMM-1995-Nilsen #garbage collection #realtime
Progress in Hardware-Assisted Real-Time Garbage Collection (KDN), pp. 355–379.
FMFME-1994-Gortz #safety #specification
Specifying Safety and Progress Properties with RSL (JG), pp. 567–581.
KRKR-1994-LinR #database #how #logic #why
How to Progress a Database (and Why) I. Logical Foundations (FL, RR), pp. 425–436.
SEKESEKE-1994-LuqiG #analysis #certification #synthesis
Suggestions for progress in software analysis, synthesis and certification (L, JAG), pp. 501–507.
ISSTAISSTA-1994-PetersP #documentation #generative #testing
Generating a Test Oracle from Program Documentation (Work in Progress) (DKP, DLP), pp. 58–65.
VLDBVLDB-1993-ThomasD #concept
A Plan-Operator Concept for Client-Based Knowledge Progressing (JT, SD), pp. 555–566.
ICSMECSM-1993-Arnold #maintenance
Reflections on Software Maintenance Progress 1983 — 1993 (RSA), pp. 409–410.
ICSMECSM-1993-Kellner #maintenance #question
Ten Years of Software Maintenance: Progress or Promises? (MIK), pp. 406–408.
ICSMECSM-1993-Zvegintzov #maintenance #question
Ten Years of Software Maintenance: Progress or Promises? (NZ), pp. 421–422.
STOCSTOC-1993-BaruahCPV #resource management
Proportionate progress: a notion of fairness in resource allocation (SKB, NKC, CGP, DAV), pp. 345–354.
AdaEuropeAdaEurope-1993-Mathis #ada #standard
Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.
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.
SACSAC-1993-BerqueGE #algorithm #implementation #recursion
Implementing Progress Indicators for Recursive Algorithms (DAB, MKG, JAE), pp. 533–538.
AdaTRI-Ada-C-1992-GieringB #ada #thread #using
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.
KRKR-1992-PatilFPMFGN
The DARPA Knowledge Sharing Effort: A Progress Report (RSP, RF, PFPS, DPM, TWF, TRG, RN), pp. 777–788.
LICSLICS-1992-Klarlund #automaton #metric #set
Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata (NK), pp. 382–393.
ICSEICSE-1991-DeMillo #automation #testing #towards
Progress Toward Automated Software Testing (RAD), pp. 180–183.
ICLPICLP-1991-Scowen #bibliography #problem #prolog #standard
An Overview of Prolog Standardization — Progress, Problems and Solutions (RSS), pp. 922–936.
ICGTGG-1990-Schurr90a #editing #graph grammar #hybrid #term rewriting
Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems (AS), p. 67.
ICGTGG-1990-Schurr90b #graph grammar #named
PROGRESS: A VHL-Language Based on Graph Grammars (AS), pp. 641–659.
ICSEICSE-1990-Talbot #towards
Towards Systems Engineering: A Personal View of Progress (DT), pp. 306–307.
STOCSTOC-1987-CoppersmithW #matrix #multi
Matrix Multiplication via Arithmetic Progressions (DC, SW), pp. 1–6.
CADECADE-1984-LankfordBB #algorithm
A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.
VLDBVLDB-1983-BuckleyS #database #multi #protocol
Obtaining Progressive Protocols for a Simple Multiversion Database Model (GNB, AS), pp. 74–80.
SIGIRSIGIR-1983-Wessel #information management
Progress Report on Project Information Bridge (AEW), pp. 49–74.
DACDAC-1982-InoueAF #design #layout #precise
A layout system for high precision design of progressive die (KI, MA, TF), pp. 246–252.
SIGIRSIGIR-1979-Salton #automation #information retrieval
Progress Report on Automatic Information Retrieval (GS), p. 1.
VLDBVLDB-1977-Lincoln #database #encoding
Encoding, Decoding and Storing Melodies for a Data Base of Renaissance Polyphony: A Progress Report (HBL), pp. 277–282.
DACSHARE-1964-RossF #visual notation
Verbal and graphical language for the AED system: A progress report (DTR, CGF).

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.