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