Stem progress$ (all stems)

189 papers:

CASE-2015-ChanW #optimisation #segmentation

Progressive segmentation for MRR-based feed-rate optimization in CNC machining (KCC, CCLW), pp. 691–696.

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

CHI-2015-ButlerASGP #analysis #automation #design #game studies

Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.

HCI-DE-2015-VlachostergiouC #human-computer

HCI and Natural Progression of Context-Related Questions (AV, GC, AR, SDK), pp. 530–541.

ICEIS-v2-2015-BaldassarreBCV #metric

Tracking Project Progress with Earned Value Management Metrics — A Real Case (MTB, NB, DC, GV), pp. 502–508.

KDD-2015-MayaMMAY #clustering #using

Discovery of Glaucoma Progressive Patterns Using Hierarchical MDL-Based Clustering (SM, KM, HM, RA, KY), pp. 1979–1988.

KDD-2015-RiondatoU #mining

Mining Frequent Itemsets through Progressive Sampling with Rademacher Averages (MR, EU), pp. 1005–1014.

ICSE-v1-2015-MullerF #developer

Stuck and Frustrated or in Flow and Happy: Sensing Developers’ Emotions and Progress (SCM, TF), pp. 688–699.

PPoPP-2015-ZhangHCB #memory management #semantics #transaction

Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.

DAC-2014-CongGGGGR #architecture

Accelerator-Rich Architectures: Opportunities and Progresses (JC, MAG, MG, BG, KG, GR), p. 6.

DATE-2014-LiuBC #hardware #image

Image progressive acquisition for hardware systems (JL, CSB, PYKC), pp. 1–6.

SIGMOD-2014-PangKFF #commit #named #predict

PLANET: making progress with commit processing in unpredictable environments (GP, TK, MJF, AF), pp. 3–14.

VLDB-2014-AltowimKM #approach #relational

Progressive Approach to Relational Entity Resolution (YA, DVK, SM), pp. 999–1010.

ITiCSE-2014-LobodaGHB #education #open source #social #visualisation

Mastery grids: an open-source social educational progress visualization (TDL, JG, RH, PB), p. 357.

PLDI-2014-MitraLABSG #analysis #debugging #parallel #scalability

Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.

SAS-2014-LeeOY

A Progress Bar for Static Analyzers (WL, HO, KY), pp. 184–200.

CHI-2014-GlueckKW #exclamation #navigation #realtime #visualisation

Dive in!: enabling progressive loading for real-time navigation of data visualizations (MG, AK, DJW), pp. 561–570.

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

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

KDD-2014-WangSW #learning #modelling

Unsupervised learning of disease progression models (XW, DS, FW), pp. 85–94.

KR-2014-BelleL #how

How to Progress Beliefs in Continuous Domains (VB, HJL).

KR-2014-BelleL14a #multi #on the

On the Progression of Knowledge in Multiagent Systems (VB, GL).

CASE-2013-JunKZRK #automation

Automation for individualization of Kinect-based quantitative progressive exercise regimen (SkJ, SK, XZ, DKR, VNK), pp. 243–248.

ICDAR-2013-TangHF #analysis #approach #recognition

A Progressive Structural Analysis Approach for Handwritten Chemical Formula Recognition (PT, SCH, CWF), pp. 359–363.

VLDB-2013-ChandramouliGQ #big data #in the cloud #scalability

Scalable Progressive Analytics on Big Data in the Cloud (BC, JG, AQ), pp. 1726–1737.

IFM-2013-HudonH #design

Systems Design Guided by Progress Concerns (SH, TSH), pp. 16–30.

CHI-2013-AndersenGP #education #framework

A trace-based framework for analyzing and synthesizing educational progressions (EA, SG, ZP), pp. 773–782.

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

SAC-2013-SimaoV

A progress and profile-driven cloud-VM for resource-efficiency and fairness in e-science environments (JS, LV), pp. 357–362.

CAV-2013-ReiterBCN #named

TTP: Tool for Tumor Progression (JGR, IB, KC, MAN), pp. 101–106.

DATE-2012-RayB #scalability #verification

Scalable progress verification in credit-based flow-control systems (SR, RKB), pp. 905–910.

CSCW-2012-BardzellNPB

Come meet me at Ulduar: progression raiding in world of warcraft (JB, JN, TP, SB), pp. 603–612.

KDD-2012-ZhouLNY #modelling

Modeling disease progression via fused sparse group lasso (JZ, JL, VAN, JY), pp. 1095–1103.

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

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

Onward-2012-PolitzVK

Progressive types (JGP, HQdlV, SK), pp. 55–66.

QAPL-2012-CormieBowinsB #ltl #model checking #probability

Measuring Progress of Probabilistic LTL Model Checking (ECB, FvB), pp. 33–47.

ICLP-2012-Balduccini #set #source code

An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.

SMT-2012-PhanBM #quantifier #satisfiability

Anatomy of Alternating Quantifier Satisfiability (Work in progress) (ADP, NB, DM), pp. 120–130.

WICSA-2011-HarrisonC #architecture #scalability

Attempting to Understand the Progress of Software Architecture Decision-Making on Large Australian Defence Projects (TCH, APC), pp. 42–45.

DAC-2011-HuangSH #power management

Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips (TWH, HYS, TYH), pp. 741–746.

ICDAR-2011-FerilliBEB #recognition

A Contour-Based Progressive Technique for Shape Recognition (SF, TMAB, FE, MB), pp. 723–727.

ICDAR-2011-LundWR #fault #multi

Progressive Alignment and Discriminative Error Correction for Multiple OCR Engines (WBL, DDW, EKR), pp. 764–768.

VLDB-2012-KonigDCN11 #approach #estimation #robust #statistics #towards

A Statistical Approach Towards Robust Progress Estimation (ACK, BD, SC, VRN), pp. 382–393.

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

ICALP-v2-2011-ZhangB #model checking #probability

A Progress Measure for Explicit-State Probabilistic Model-Checkers (XZ, FvB), pp. 283–294.

KDD-2011-ZhouYLY #learning #multi #predict

A multi-task learning formulation for predicting disease progression (JZ, LY, JL, JY), pp. 814–822.

SAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread

Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.

SIGMOD-2010-MortonBG #graph #named #pipes and filters

ParaTimer: a progress indicator for MapReduce DAGs (KM, MB, DG), pp. 507–518.

SIGMOD-2010-RaghavanR #framework #generative #multi #named #query

ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.

ITiCSE-2010-Friese #logic programming

Measuring of and reacting to learners’ progress in logic programming courses (SF), pp. 152–154.

CHI-2010-HarrisonDH #evaluation #image

Evaluation of progressive image loading schemes (CH, AKD, SEH), pp. 1549–1552.

CHI-2010-HarrisonYH #performance #visual notation

Faster progress bars: manipulating perceived duration with visual augmentations (CH, ZY, SEH), pp. 1545–1548.

CHI-2010-WilcoxLLFJ

Physician-driven management of patient progress notes in an intensive care unit (LW, JL, JCL, SF, DAJ), pp. 1879–1888.

ICPR-2010-TanakaKO

Progressive MAP-based Deconvolution with Pixel-Dependent Gaussian Prior (MT, TK, MO), pp. 4428–4431.

KDIR-2010-AddisAV #categorisation

Assessing Progressive Filtering to Perform Hierarchical Text Categorization in Presence of Input Imbalance (AA, GA, EV), pp. 14–23.

KEOD-2010-KambhampatiSP #metric #predict

Dysphonia Measures in Parkinson’s Disease and Their use in Prediction of Its Progression (CK, MS, NP), pp. 104–109.

KR-2010-ZhangZ #bound #on the #semantics #set #source code

On the Progression Semantics and Boundedness of Answer Set Programs (YZ, YZ).

DATE-2009-EberleMNGCBTV #challenge

Health-care electronics The market, the challenges, the progress (WE, ASM, TKTN, GGEG, RC, AB, CT, BV), pp. 1030–1034.

VLDB-2009-ChandramouliGM #detection #on the fly #query

On-the-fly Progress Detection in Iterative Stream Queries (BC, JG, DM), pp. 241–252.

ITiCSE-2009-Djordjevic

Progressive assignment in CS1 (MD), p. 346.

ICSM-2009-AlamAH #dependence #using

Measuring the progress of projects using the time dependence of code changes (OA, BA, AEH), pp. 329–338.

PLDI-2009-GulwaniJK #analysis #bound #control flow #invariant #refinement

Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.

PLDI-2009-PetrankMS #bound #parallel #source code

Progress guarantee for parallel programs via bounded lock-freedom (EP, MM, BS), pp. 144–154.

HCD-2009-MarcusGS #maturity #standard #usability #validation

Validating a Standardized Usability/User-Experience Maturity Model: A Progress Report (AM, RG, RS), pp. 104–109.

CIKM-2009-ChenLY #evaluation #maintenance #network #query

Progressive skyline query evaluation and maintenance in wireless sensor networks (BC, WL, JXY), pp. 1445–1448.

SIGIR-2009-HannaRR #music #retrieval #robust #similarity

A robust retrieval system of polyphonic music based on chord progression similarity (PH, TR, MR), pp. 768–769.

POPL-2009-GuerraouiK #memory management #semantics #transaction

The semantics of progress in lock-based transactional memory (RG, MK), pp. 404–415.

SAC-2009-FalconeFM #classification #monitoring

Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.

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

CAV-2009-AbadiBC #modelling #protocol #proving #security

Models and Proofs of Protocol Security: A Progress Report (MA, BB, HCL), pp. 35–49.

VMCAI-2009-Emerson #model checking #problem

Model Checking: Progress and Problems (EAE), p. 1.

CASE-2008-AzarnasabHAF #case study #design

Progressive simulation-based design: A case study example on software defined radio (EA, XH, PA, BFB), pp. 394–399.

DAC-2008-YuhSYC #algorithm

A progressive-ILP based routing algorithm for cross-referencing biochips (PHY, SSS, CLY, YWC), pp. 284–289.

PEPM-2008-FeiginM #hardware

Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.

CIAA-2008-El-FakihY #automaton #equation

Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.

ICEIS-HCI-2008-TrulockH #case study #implementation #web

Assessing the Progress of Implementing Web Accessibility — An Irish Case Study (VT, RH), pp. 105–111.

KR-2008-VassosLL #first-order

First-Order Strong Progression for Local-Effect Basic Action Theories (SV, GL, HJL), pp. 662–672.

RecSys-2008-Koren #collaboration #tutorial

Tutorial on recent progress in collaborative filtering (YK), pp. 333–334.

DAC-2007-VermaBI #composition #heuristic

Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits (AKV, PB, PI), pp. 404–409.

HT-2007-WellsD

Progressive enhancement in the real world (JW, CD), pp. 55–56.

SIGMOD-2007-HanNMKK #database #optimisation #parallel

Progressive optimization in a shared-nothing parallel database (WSH, JN, VM, HK, MK), pp. 809–820.

SIGMOD-2007-XinHC #ad hoc #ranking

Progressive and selective merge: computing top-k with ad-hoc ranking functions (DX, JH, KCCC), pp. 103–114.

VLDB-2007-ChaudhuriN #database #self

Self-Tuning Database Systems: A Decade of Progress (SC, VRN), pp. 3–14.

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

HIMI-IIE-2007-AndoM #education #student

A New Method for Teachers and Students to Record Daily Progress in a Class (AA, KM), pp. 245–251.

SAC-2007-BarratT #learning #recognition

A progressive learning method for symbols recognition (SB, ST), pp. 627–631.

CASE-2006-PengWL #image

A Strategy Improving Registration Accuracy Progressively for INSAR Complex Image (SP, YW, GL), pp. 626–629.

DAC-2006-ChoP #named

BoxRouter: a new global router based on box expansion and progressive ILP (MC, DZP), pp. 373–378.

VLDB-2006-KacheHMRE #named #optimisation #query

POP/FED: Progressive Query Optimization for Federated Queries in DB2 (HK, WSH, VM, VR, SE), pp. 1175–1178.

VLDB-2006-Keogh #database #mining #scalability

A Decade of Progress in Indexing and Mining Large Time Series Databases (EJK), p. 1268.

VLDB-2006-ZhangDXT #query

Progressive Computation of the Min-Dist Optimal-Location Query (DZ, YD, TX, YT), pp. 643–654.

FASE-2006-TowellD #implementation

A Software Implementation Progress Model (DT, JD), pp. 93–106.

SCAM-2006-SawinR #algorithm #graph #runtime

Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.

PLDI-2006-KoesG

A global progressive register allocator (DRK, SCG), pp. 204–215.

DLT-J-2005-AnanichevPV06 #word

Collapsing Words: a Progress Report (DSA, IVP, MVV), pp. 507–518.

CIKM-2006-HuangTOC #mining #on the

On progressive sequential pattern mining (JWH, CYT, JCO, MSC), pp. 850–851.

ECIR-2006-LalmasRTY #information retrieval

Progress in Information Retrieval (ML, SMR, TT, AY), pp. 1–11.

KDD-2006-ZhangHL #mining

Mining progressive confident rules (MZ, WH, MLL), pp. 803–808.

RE-2006-SeaterJ #problem

Requirement Progression in Problem Frames Applied to a Proton Therapy System (RS, DJ), pp. 166–175.

SAT-2006-SheiniS06a #modulo theories #satisfiability

A Progressive Simplifier for Satisfiability Modulo Theories (HMS, KAS), pp. 184–197.

SIGMOD-2005-ChaudhuriKR #query #question #sql #trust

When Can We Trust Progress Estimators for SQL Queries? (SC, RK, RR), pp. 575–586.

SIGMOD-2005-JahangiriS #data analysis #named

ProDA: a suite of web-services for progressive data analysis (MJ, CS), pp. 894–896.

DLT-2005-AnanichevPV #word

Collapsing Words: A Progress Report (DSA, IVP, MVV), pp. 11–21.

ICML-2005-PaiementEBB #embedded #visual notation

A graphical model for chord progressions embedded in a psychoacoustic space (JFP, DE, SB, DB), pp. 641–648.

KDD-2005-PearsonKH #database #modelling

Disease progression modeling from historical clinical databases (RKP, RJK, AH), pp. 788–793.

CGO-2005-KoesG #architecture

A Progressive Register Allocator for Irregular Architectures (DK, SCG), pp. 269–280.

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

VMCAI-2005-Feret #abstract domain #geometry

The Arithmetic-Geometric Progression Abstract Domain (JF), pp. 42–58.

SIGMOD-2004-ChaudhuriNR #query #sql

Estimating Progress of Long Running SQL Queries (SC, VRN, RR), pp. 803–814.

SIGMOD-2004-LuoNEW #database #query #towards

Toward a Progress Indicator for Database Queries (GL, JFN, CJE, MW), pp. 791–802.

SIGMOD-2004-MarklRSLP #optimisation #query #robust

Robust Query Processing through Progressive Optimization (VM, VR, DES, GML, HP), pp. 659–670.

VLDB-2004-RamanMSLP #optimisation

Progressive Optimization in Action (VR, VM, DES, GML, HP), pp. 1337–1340.

TACAS-2004-Schmidt #automation #generative

Automated Generation of a Progress Measure for the Sweep-Line Method (KS0), pp. 192–204.

KR-2004-Gabaldon #algorithm

Precondition Control and the Progression Algorithm (AG), pp. 634–643.

SAC-J-2003-Weyuker04 #how #testing

How to judge testing progress (EJW), pp. 323–328.

ICDAR-2003-DoermannLL #analysis #documentation #image

Progress in Camera-Based Document Image Analysis (DSD, JL, HL), p. 606–?.

SIGMOD-2003-PapadiasTFS #algorithm #query

An Optimal and Progressive Algorithm for Skyline Queries (DP, YT, GF, BS), pp. 467–478.

SAC-2003-Weyuker #testing #using

Using Operational Distributions to Judge Testing Progress (EJW), pp. 1118–1122.

PODS-2002-SchmidtS #how #multi #query

How to Evaluate Multiple Range-Sum Queries Progressively (RRS, CS), pp. 133–141.

VLDB-2002-DittrichSTW #algorithm

Progressive Merge Join: A Generic and Non-blocking Sort-based Join Algorithm (JPD, BS, DST, PW), pp. 299–310.

ICEIS-2002-Greene #enterprise #information management #network

Enterprise Information Systems and the Global Information Network: Change is Certain, Progress is Optional (TG), p. 5.

ICPR-v1-2002-Spitz #documentation #re-engineering

Progress in Document Reconstruction (ALS), pp. 464–467.

ICPR-v3-2002-FengH #performance

Confidence Guided Progressive Search and Fast Match Techniques for High Performance Chinese/English OCR (ZDF, QH), pp. 89–92.

ICSE-2002-DinkelackerGMN #open source

Progressive open source (JD, PKG, RM, DN), pp. 177–184.

SAT-2002-AloulSS #backtracking

A tool for measuring progress of backtrack-search solvers (FAA, BS, KS), p. 28.

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

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

VLDB-2001-TanEO #performance

Efficient Progressive Skyline Computation (KLT, PKE, BCO), pp. 301–310.

CSEET-2001-DuleyVM #experience

Educating Professional Software Engineers: Pathways and Progress in the Australian Experience (RD, DV, SPM), pp. 213–220.

ICSE-2001-KrishnamurthyS #distributed #quantifier #specification #testing

The Specification and Testing of Quantified Progress Properties in Distributed Systems (PK, PAGS), pp. 201–210.

SIGMOD-2000-LiBCS #image #named #retrieval

SPIRE: A Progressive Content-Based Spatial Image Retrieval Engine (CSL, LDB, VC, JRS), p. 598.

ITiCSE-2000-KajavaV

The professional growth of ICT experts through progressive sandwich training (poster session) (JK, RV), p. 189.

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

ICPR-v1-2000-MinPB #automation #evaluation #image #segmentation

Progress in Automated Evaluation of Curved Surface Range Image Segmentation (JM, MWP, KWB), pp. 1644–1647.

ICPR-v1-2000-SalousPC #image #modelling #segmentation

Iconic Modeling for the Progressive Transmission of Neurological Images: Segmentation (MNS, DP, GSC), pp. 1512–1515.

ICPR-v3-2000-GalambosKM #probability #using

Using Gradient Information to Enhance the Progressive Probabilistic Hough Transform (CG, JK, JM), pp. 3564–3567.

ISSTA-2000-Wittenberg #component #testing

Progress in testing component-based software (abstract only) (CHW), p. 178.

CHI-1999-SingerHSW #less is more

Tangible Progress: Less is More in Somewire Audio Spaces (AS, DH, LS, SW), pp. 104–111.

KDD-1999-ProvostJO #performance

Efficient Progressive Sampling (FJP, DJ, TO), pp. 23–32.

SAC-1999-Bugarin #approximate #linear #polynomial

Linear Quadratic Approximation for Solving a Model Economy Distorted by Progressive Taxation (MNSB), pp. 52–56.

SAC-1999-FinkH #assessment #multi #risk management

The Disease Progression Explorer: Risk Assessment Support in Chronic, Multifactorial Diseases (PKF, LTH), pp. 46–51.

ESEC-FSE-1999-GiannakopoulouMK #question

Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.

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

SOSP-1999-DouceurB #process

Progress-based regulation of low-importance processes (JRD, WJB), pp. 247–260.

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

CHI-1998-LohRRGRE #design #tool support

The Progress Portfolio: Designing Reflective Tools for a Classroom Context (BL, JR, ER, LMG, BJR, DCE), pp. 627–634.

ICPR-1998-ChenC #network #performance #recursion #representation

Recursive representation and progressive display of binary objects for efficient network browsing (IPC, ZC), pp. 395–399.

ICPR-1998-MahlmeisterSS #image

Sample-guided progressive image coding (UM, MS, GS), pp. 1257–1259.

KR-1998-EiterLMPS #benchmark #metric

The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.

HCI-CC-1997-Long #human-computer #question

Twenty-Five Years of HCI: Growth Without Progress? (JL), pp. 197–200.

HCI-CC-1997-Marcus #design #user interface

Cultural Diversity for User Interface Design: A Progress Report (AM), pp. 145–148.

CAV-1997-BozgaMPY #automaton #verification

Some Progress in the Symbolic Verification of Timed Automata (MB, OM, AP, SY), pp. 179–190.

DAC-1996-CarleyGRS #synthesis #tool support

Synthesis Tools for Mixed-Signal ICs: Progress on Frontend and Backend Strategies (LRC, GGEG, RAR, WMCS), pp. 298–303.

CSEE-1996-MackeKNHCCM #industrial

An Industry/Academic Partnership that Worked: An In Progress Report (SM, SK, JN, IH, JC, AC, BM), pp. 234–247.

ICPR-1996-LinLC #3d #modelling #using

Recovery of 3-D closed surfaces using progressive shell models (RL, WCL, CTC), pp. 95–99.

ICPR-1996-LinLC96a #adaptation #modelling

Adaptive finite-element meshes for progressive contour models (RL, WCL, CTC), pp. 125–129.

ISSTA-1996-PomakisA #analysis #feature model #interactive #reachability

Reachability Analysis of Feature Interactions: A Progress Report (KPP, JMA), pp. 216–223.

VLDB-1995-Lindsay

DB2 Common Server: Technology, Progress, & Directions (BGL0), pp. 694–695.

SEKE-1995-LiaoCS #framework #object-oriented #testing

An Integrated Testing Framework for Object-Oriented Programs-Work in Progress (SSL, KHC, SBS), pp. 123–125.

IWMM-1995-Nilsen #garbage collection #realtime

Progress in Hardware-Assisted Real-Time Garbage Collection (KDN), pp. 355–379.

FME-1994-Gortz #safety #specification

Specifying Safety and Progress Properties with RSL (JG), pp. 567–581.

KR-1994-LinR #database #how #logic #why

How to Progress a Database (and Why) I. Logical Foundations (FL, RR), pp. 425–436.

SEKE-1994-LuqiG #analysis #certification #synthesis

Suggestions for progress in software analysis, synthesis and certification (L, JAG), pp. 501–507.

ISSTA-1994-PetersP #documentation #generative #testing

Generating a Test Oracle from Program Documentation (Work in Progress) (DKP, DLP), pp. 58–65.

VLDB-1993-ThomasD #concept

A Plan-Operator Concept for Client-Based Knowledge Progressing (JT, SD), pp. 555–566.

CSM-1993-Arnold #maintenance

Reflections on Software Maintenance Progress 1983 — 1993 (RSA), pp. 409–410.

CSM-1993-Kellner #maintenance #question

Ten Years of Software Maintenance: Progress or Promises? (MIK), pp. 406–408.

CSM-1993-Zvegintzov #maintenance #question

Ten Years of Software Maintenance: Progress or Promises? (NZ), pp. 421–422.

STOC-1993-BaruahCPV #resource management

Proportionate progress: a notion of fairness in resource allocation (SKB, NKC, CGP, DAV), pp. 345–354.

AdaEurope-1993-Mathis #ada #standard

Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.

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

SAC-1993-BerqueGE #algorithm #implementation #recursion

Implementing Progress Indicators for Recursive Algorithms (DAB, MKG, JAE), pp. 533–538.

TRI-Ada-C-1992-GieringB #ada #thread #using

Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.

KR-1992-PatilFPMFGN

The DARPA Knowledge Sharing Effort: A Progress Report (RSP, RF, PFPS, DPM, TWF, TRG, RN), pp. 777–788.

LICS-1992-Klarlund #automaton #metric #set

Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata (NK), pp. 382–393.

ICSE-1991-DeMillo #automation #testing #towards

Progress Toward Automated Software Testing (RAD), pp. 180–183.

ICLP-1991-Scowen #bibliography #problem #prolog #standard

An Overview of Prolog Standardization — Progress, Problems and Solutions (RSS), pp. 922–936.

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

GG-1990-Schurr90b #graph grammar #named

PROGRESS: A VHL-Language Based on Graph Grammars (AS), pp. 641–659.

ICSE-1990-Talbot #towards

Towards Systems Engineering: A Personal View of Progress (DT), pp. 306–307.

STOC-1987-CoppersmithW #matrix #multi

Matrix Multiplication via Arithmetic Progressions (DC, SW), pp. 1–6.

CADE-1984-LankfordBB #algorithm

A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.

VLDB-1983-BuckleyS #database #multi #protocol

Obtaining Progressive Protocols for a Simple Multiversion Database Model (GNB, AS), pp. 74–80.

SIGIR-1983-Wessel #information management

Progress Report on Project Information Bridge (AEW), pp. 49–74.

DAC-1982-InoueAF #design #layout #precise

A layout system for high precision design of progressive die (KI, MA, TF), pp. 246–252.

SIGIR-1979-Salton #automation #information retrieval

Progress Report on Automatic Information Retrieval (GS), p. 1.

VLDB-1977-Lincoln #database #encoding

Encoding, Decoding and Storing Melodies for a Data Base of Renaissance Polyphony: A Progress Report (HBL), pp. 277–282.

SHARE-1964-RossF #visual notation

Verbal and graphical language for the AED system: A progress report (DTR, CGF).