BibSLEIGH — increment stem

Used together with:

base (85)
model (84)
learn (66)
use (61)
system (61)

Stem increment$ (all stems)

771 papers:

HT-2015-MishraDBS #analysis #incremental #learning #sentiment: Sentiment Analysis with Incremental Human-in-the-Loop Learning and Lexical Resource Customization (SM, JD, JB, ES), pp. 323–325.
SIGMOD-2015-ChevalierSGL #incremental #named #performance: Slider: An Efficient Incremental Reasoner (JC, JS, CG, FL), pp. 1081–1086.
SIGMOD-2015-KatsisOPZ #incremental #maintenance: Utilizing IDs to Accelerate Incremental View Maintenance (YK, KWO, YP, KKZ), pp. 1985–2000.
SIGMOD-2015-TrummerK #algorithm #incremental #multi #optimisation #query: An Incremental Anytime Algorithm for Multi-Objective Query Optimization (IT, CK), pp. 1941–1953.
VLDB-2015-ShinWWSZR #incremental #knowledge base #using: Incremental Knowledge Base Construction Using DeepDive (JS, SW, FW, CDS, CZ, CR), pp. 1310–1321.
VLDB-2015-TangwongsanHSW #incremental: General Incremental Sliding-Window Aggregation (KT, MH, SS, KLW), pp. 702–713.
ITiCSE-2015-AntonucciENPM #automation #incremental #programming: An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.
ITiCSE-2015-ThevathayanH #flexibility #incremental #programming #visual notation: Supporting Diverse Novice Programming Cohorts through Flexible and Incremental Visual Constructivist Pathways (CT, MH), pp. 296–301.
ESOP-2015-CicekGA #complexity #incremental #refinement: Refinement Types for Incremental Computational Complexity (EÇ, DG, UAA), pp. 406–431.
TACAS-2015-MolnarDVB #incremental #induction #ltl #model checking #proving: Saturation-Based Incremental LTL Model Checking with Inductive Proofs (VM, DD, AV, TB), pp. 643–657.
SANER-2015-LityBS #incremental #product line #slicing #towards: Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
PEPM-2015-BransenDS #evaluation #higher-order #incremental: Incremental Evaluation of Higher Order Attributes (JB, AD, SDS), pp. 39–48.
CAiSE-2015-VidalCARLLR #incremental #linked data #maintenance #open data #specification: Specification and Incremental Maintenance of Linked Data Mashup Views (VMPV, MAC, NA, MR, LAPPL, GRL, CR), pp. 214–229.
KDD-2015-OkumuraST #analysis #classification #incremental #linear #problem: Quick Sensitivity Analysis for Incremental Data Modification and Its Application to Leave-one-out CV in Linear Classification Problems (SO, YS, IT), pp. 885–894.
MLDM-2015-TanGZ #incremental #kernel #named: IKLTSA: An Incremental Kernel LTSA Method (CT, JG, SZ), pp. 70–83.
RecSys-2015-SongCL #incremental #matrix #recommendation: Incremental Matrix Factorization via Feature Space Re-learning for Recommender System (QS, JC, HL), pp. 277–280.
SIGIR-2015-Baeza-Yates #incremental #query: Incremental Sampling of Query Logs (RABY), pp. 1093–1096.
ECMFA-2015-BarmpisSK #incremental #scalability #towards: Towards Incremental Updates in Large-Scale Model Indexes (KB, SMS, DSK), pp. 137–153.
ECMFA-2015-OgunyomiRK #incremental #model-to-text: Property Access Traces for Source Incremental Model-to-Text Transformation (BO, LMR, DSK), pp. 187–202.
MoDELS-2015-KhalilD #evolution #execution #incremental #state machine #symbolic computation: Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.
OOPSLA-2015-ErdwegBKKM #incremental #type checking: A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.
OOPSLA-2015-ErdwegLW #dependence #incremental: A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.
OOPSLA-2015-HammerDHLFHH #incremental: Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.
SAC-2015-MatuszykVSJG #incremental #matrix #recommendation: Forgetting methods for incremental matrix factorization in recommender systems (PM, JV, MS, AMJ, JG), pp. 947–953.
SAC-2015-ReddySC #approach #aspect-oriented #incremental #learning #performance #weaving: Incremental aspect weaving: an approach for faster AOP learning (YRR, AS, MC), pp. 1480–1485.
ASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread: iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
ASPLOS-2015-HaqueEHEBM #incremental #interactive #latency #named #parallel: Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services (MEH, YHE, YH, SE, RB, KSM), pp. 161–175.
ICST-2015-Tiran #incremental #modelling #mutation testing #testing: Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing: Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
SAT-2015-IvriiRS #incremental #mining #satisfiability: Mining Backbone Literals in Incremental SAT — A New Kind of Incremental Data (AI, VR, OS), pp. 88–103.
SAT-2015-LonsingE #api #incremental #satisfiability: Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (FL, UE), pp. 191–198.
TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing: Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing: Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
DAC-2014-FarkashHB #incremental #validation: Coverage Learned Targeted Validation for Incremental HW Changes (MF, BGH, MB), p. 6.
SIGMOD-2014-DugganS #array #database #incremental: Incremental elasticity for array databases (JD, MS), pp. 409–420.
SIGMOD-2014-NikolicEK #incremental #maintenance #named #query: LINVIEW: incremental view maintenance for complex analytical queries (MN, ME, CK), pp. 253–264.
VLDB-2014-GruenheidDS #incremental: Incremental Record Linkage (AG, XLD, DS), pp. 697–708.
VLDB-2015-ChandramouliGBDPTW14 #incremental #named #query: Trill: A High-Performance Incremental Query Processor for Diverse Analytics (BC, JG, MB, RD, JCP, JFT, JW), pp. 401–412.
FASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using: Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.
MSR-2014-SteidlHJ #analysis #incremental #source code: Incremental origin analysis of source code files (DS, BH, EJ), pp. 42–51.
PEPM-2014-BransenDS #attribute grammar #evaluation #incremental #lazy evaluation: Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.
PLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus: A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
PLDI-2014-HammerKHF #adaptation #composition #incremental #named: Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.
FLOPS-2014-MorihataKO #programming: Dynamic Programming via Thinning and Incrementalization (AM, MK, AO), pp. 186–202.
ICALP-v1-2014-BaswanaK #algorithm #graph #incremental #maintenance: Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs (SB, SK), pp. 138–149.
LATA-2014-GalleT #incremental #on the: On Context-Diverse Repeats and Their Incremental Computation (MG, MT), pp. 384–395.
GT-VMT-2014-LeblebiciASHRG #comparison #graph grammar #incremental #tool support: A Comparison of Incremental Triple Graph Grammar Tools (EL, AA, AS, SH, JR, JG).
HCI-TMT-2014-RaneburgerPKAS #automation #design #generative #incremental #interactive #process #user interface: An Iterative and Incremental Process for Interaction Design through Automated GUI Generation (DR, RP, HK, AA, VS), pp. 373–384.
CAiSE-2014-VlaanderenDB #incremental: Finding Optimal Plans for Incremental Method Engineering (KV, FD, SB), pp. 640–655.
CIKM-2014-ChenC #data type #incremental #matrix #named: GI-NMF: Group Incremental Non-Negative Matrix Factorization on Data Streams (XC, KSC), pp. 1119–1128.
CIKM-2014-McCreadieMO #adaptation #incremental #summary: Incremental Update Summarization: Adaptive Sentence Selection based on Prevalence and Novelty (RM, CM, IO), pp. 301–310.
CIKM-2014-TongWZ #incremental #repository #scalability: Compact Auxiliary Dictionaries for Incremental Compression of Large Repositories (JT, AW, JZ), pp. 1629–1638.
ICML-c2-2014-DefazioDC #big data #incremental #named #performance #problem: Finito: A faster, permutable incremental gradient method for big data problems (AD, JD, TSC), pp. 1125–1133.
ICPR-2014-ChandrasekharTMLLL #clustering #graph #incremental #performance #retrieval #streaming #video: Incremental Graph Clustering for Efficient Retrieval from Streaming Egocentric Video Data (VC, CT, WM, LL, XL, JHL), pp. 2631–2636.
ICPR-2014-LitvinovL #incremental #modelling #visual notation: Incremental Solid Modeling from Sparse Structure-from-Motion Data with Improved Visual Artifacts Removal (VL, ML), pp. 2745–2750.
ICPR-2014-MaB #detection #incremental #random: Compound Exemplar Based Object Detection by Incremental Random Forest (KM, JBA), pp. 2407–2412.
ICPR-2014-RazafindramananaRV #clustering #incremental: Incremental Delaunay Triangulation Construction for Clustering (OR, FR, GV), pp. 1354–1359.
ICPR-2014-XieUKG #incremental #learning: Incremental Learning with Support Vector Data Description (WX, SU, SK, MG), pp. 3904–3909.
KDD-2014-ChenC #incremental #named #rank #set: LWI-SVD: low-rank, windowed, incremental singular value decompositions on time-evolving data sets (XC, KSC), pp. 987–996.
KDD-2014-TsaiLL #classification #incremental #linear: Incremental and decremental training for linear classification (CHT, CYL, CJL), pp. 343–352.
ICMT-2014-OrejasP #correctness #graph grammar #incremental: Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.
MoDELS-2014-OgunyomiRK #incremental #model-to-text #on the: On the Use of Signatures for Source Incremental Model-to-text Transformation (BO, LMR, DSK), pp. 84–98.
MoDELS-2014-SzarnyasIRHBV #distributed #framework #in the cloud #incremental #named #query: IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud (GS, BI, IR, DH, GB, DV), pp. 653–669.
MoDELS-2014-OgunyomiRK #incremental #model-to-text #on the: On the Use of Signatures for Source Incremental Model-to-text Transformation (BO, LMR, DSK), pp. 84–98.
MoDELS-2014-SzarnyasIRHBV #distributed #framework #in the cloud #incremental #named #query: IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud (GS, BI, IR, DH, GB, DV), pp. 653–669.
REFSQ-2014-SannierB #analysis #approach #modelling #named #requirements: INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (NS, BB), pp. 135–151.
SAC-2014-KuoT #in the cloud #incremental #virtual machine: Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
ICSE-2014-ArztB #analysis #data flow #incremental #named: Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.
ICSE-2014-ChenPYNZ #adaptation #generative #incremental #model transformation #runtime #self: Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
ICSE-2014-YangKPR #difference #incremental: Property differencing for incremental checking (GY, SK, SP, NR), pp. 1059–1070.
HPDC-2014-DaiCKRZ #framework #incremental #named: Domino: an incremental computing framework in cloud with eventual synchronization (DD, YC, DK, RBR, XZ), pp. 291–294.
ICLP-J-2014-Swift #incremental #information management #reasoning #representation: Incremental Tabling in Support of Knowledge Representation and Reasoning (TS), pp. 553–567.
ICST-2014-BallerLLS #incremental #multi #optimisation #product line #testing: Multi-objective Test Suite Optimization for Incremental Product Family Testing (HB, SL, ML, IS), pp. 303–312.
ICST-2014-DemuthLE #automation #incremental #optimisation #product line: Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.
IJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability: A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
SAT-2014-NadelRS #incremental #satisfiability: Ultimately Incremental SAT (AN, VR, OS), pp. 206–218.
CBSE-2013-JohnsonCK #component #framework #incremental #verification: An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
ASE-2013-Ganai #incremental #performance #predict #reasoning: Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
DATE-2013-AhmadyanKV #algorithm #incremental #runtime #using #verification: Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm (SNA, JAK, SV), pp. 21–26.
DocEng-2013-MarcaciniR #clustering #incremental: Incremental hierarchical text clustering with privileged information (RMM, SOR), pp. 231–232.
ICDAR-2013-NguyenZN #online #recognition: A Semi-incremental Recognition Method for On-Line Handwritten Japanese Text (CTN, BZ, MN), pp. 84–88.
ICDAR-2013-RusinolBD #documentation #incremental: Field Extraction from Administrative Documents by Incremental Structural Templates (MR, TB, VPD), pp. 1100–1104.
SIGMOD-2013-ArmbrustLKFFP #incremental #independence: Generalized scale independence through incremental precomputation (MA, EL, TK, AF, MJF, DAP), pp. 625–636.
SIGMOD-2013-BernsteinJPRT #compilation #incremental: Incremental mapping compilation in an object-to-relational mapping system (PAB, MJ, JP, GR, JFT), pp. 1269–1280.
VLDB-2013-ZhuFCY #approximate #incremental #personalisation #rank: Incremental and Accuracy-Aware Personalized PageRank through Scheduled Approximation (FZ, YF, KCCC, JY), pp. 481–492.
TACAS-2013-FedyukovichSS #c #incremental #named: eVolCheck: Incremental Upgrade Checker for C (GF, OS, NS), pp. 292–307.
TACAS-2013-WieringaH #incremental #manycore #satisfiability: Asynchronous Multi-core Incremental SAT Solving (SW, KH), pp. 139–153.
CSMR-2013-KazatoHKOOMHS #feature model #identification #incremental #source code: Incremental Feature Location and Identification in Source Code (HK, SH, TK, TO, SO, SM, TH, MS), pp. 371–374.
WCRE-2013-RaoMK #debugging #framework #incremental #library #locality #performance #retrieval: An incremental update framework for efficient retrieval from software libraries for bug localization (SR, HM, ACK), pp. 62–71.
ICALP-v1-2013-GolovachHKV #algorithm #incremental #polynomial #set: An Incremental Polynomial Time Algorithm to Enumerate All Minimal Edge Dominating Sets (PAG, PH, DK, YV), pp. 485–496.
IFM-2013-MorgensternGS #game studies #incremental #induction #using: Solving Games Using Incremental Induction (AM, MG, KS), pp. 177–191.
ICEIS-J-2013-KalsingITN13a #incremental #legacy #mining #modelling #process #using: Re-learning of Business Process Models from Legacy System Using Incremental Process Mining (ACK, CI, LHT, GSdN), pp. 314–330.
ICEIS-v2-2013-KalsingITN #incremental #learning #legacy #mining #modelling #process #using: Evolutionary Learning of Business Process Models from Legacy Systems using Incremental Process Mining (ACK, CI, LHT, GSdN), pp. 58–69.
ECIR-2013-JuM #classification #incremental #ranking: Incremental Reranking for Hierarchical Text Classification (QJ, AM), pp. 726–729.
ICML-c3-2013-BrechtelGD #incremental #learning #performance #representation: Solving Continuous POMDPs: Value Iteration with Incremental Learning of an Efficient Space Representation (SB, TG, RD), pp. 370–378.
SEKE-2013-DuHCLH #incremental #named #personalisation #recommendation: ABEY: an Incremental Personalized Method Based on Attribute Entropy for Recommender Systems (S) (XD, TH, ZC, JL, CH), pp. 318–321.
SEKE-2013-TaoLG #approach #architecture #component #configuration management #incremental #testing #using: Testing Configurable Architectures For Component-Based Software Using an Incremental Approach (CT, BL, JG), pp. 356–361.
SIGIR-2013-WuF #approach #feedback #incremental #performance #pseudo: An incremental approach to efficient pseudo-relevance feedback (HW, HF), pp. 553–562.
SIGIR-2013-YuL #incremental #named #random: IRWR: incremental random walk with restart (WY, XL), pp. 1017–1020.
ICMT-2013-VarroD #algorithm #incremental #network #pattern matching: A Rete Network Construction Algorithm for Incremental Pattern Matching (GV, FD), pp. 125–140.
MoDELS-2013-DemuthLE #co-evolution #constraints #incremental #metamodelling: Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management (AD, RELH, AE), pp. 287–303.
MoDELS-2013-DemuthLE #co-evolution #constraints #incremental #metamodelling: Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management (AD, RELH, AE), pp. 287–303.
TOOLS-EUROPE-J-2012-WernliLN13 #incremental: Incremental Dynamic Updates with First-class Contexts (EW, ML, ON), pp. 1–27.
ECOOP-2013-MaierO #higher-order #incremental #programming: Higher-Order Reactive Programming with Incremental Lists (IM, MO), pp. 707–731.
SAC-PL-J-2011-DinkelakerEM13 #compilation #embedded #incremental #syntax: Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
SAC-2013-BellatrecheBCM #algorithm #clustering #incremental #query: Horizontal partitioning of very-large data warehouses under dynamically-changing query workloads via incremental algorithms (LB, RB, AC, SM), pp. 208–210.
SAC-2013-HapfelmeierSK #dataset #incremental #linear #performance: Incremental linear model trees on massive datasets: keep it simple, keep it fast (AH, JS, SK), pp. 129–135.
ESEC-FSE-2013-GreenyerBCHG #incremental #product line #specification: Incrementally synthesizing controllers from scenario-based product line specifications (JG, CB, MC, PH, EG), pp. 433–443.
ESEC-FSE-2013-McPeakGR #debugging #detection #incremental #scalability: Scalable and incremental software bug detection (SM, CHG, MKR), pp. 554–564.
ICSE-2013-Callau #incremental #programming: Supporting incremental programming with ghosts (OC), pp. 1429–1431.
SLE-2013-WachsmuthKVGV #analysis #incremental #independence: A Language Independent Task Engine for Incremental Name and Type Analysis (GW, GDPK, VAV, DMG, EV), pp. 260–280.
CC-2013-LuSXX #analysis #incremental #points-to: An Incremental Points-to Analysis with CFL-Reachability (YL, LS, XX, JX), pp. 61–81.
HPDC-2013-NicolaeC #adaptation #data access #incremental #memory management #named: AI-Ckpt: leveraging memory access patterns for adaptive asynchronous incremental checkpointing (BN, FC), pp. 155–166.
CADE-2013-KaminskiT #incremental #named #reasoning #reduction #satisfiability: InKreSAT: Modal Reasoning via Incremental Reduction to SAT (MK, TT), pp. 436–442.
CAV-2013-KloosMNP #incremental #induction: Incremental, Inductive Coverability (JK, RM, FN, RP), pp. 158–173.
ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing: Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
SAT-2013-AudemardLS #incremental #satisfiability: Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction (GA, JML, LS), pp. 309–317.
TAP-2013-AichernigJK #generative #incremental #refinement #testing: Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
CBSE-2012-AtkinsonH #architecture #component #development #incremental: Iterative and incremental development of component-based software architectures (CA, OH), pp. 77–82.
CBSE-2012-LauNRT #component #incremental: Incremental construction of component-based systems (KKL, KYN, TR, CMT), pp. 41–50.
ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary: Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.
DAC-2012-AbhishekN #grid #incremental #power management #verification: Incremental power grid verification (A, FNN), pp. 151–156.
DATE-2012-MarinMLB #design #incremental #using #verification: Verification of partial designs using incremental QBF solving (PM, CM, MDTL, BB), pp. 623–628.
ICSM-2012-BauerHHJC #analysis #framework #incremental #quality #scalability: A framework for incremental quality analysis of large software systems (VB, LH, BH, EJ, MC), pp. 537–546.
ICSM-2012-BernhartMFSG #incremental #migration #re-engineering: Incremental reengineering and migration of a 40 year old airport operations system (MB, AM, MF, SS, TG), pp. 503–510.
WCRE-2012-MaigaABSGA #anti #approach #detection #incremental #named: SMURF: A SVM-based Incremental Anti-pattern Detection Approach (AM, NA, NB, AS, YGG, EA), pp. 466–475.
PEPM-2012-AlbertCPR #analysis #incremental #resource management: Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.
PLDI-2012-ChenDA #automation: Type-directed automatic incrementalization (YC, JD, UAA), pp. 299–310.
FM-2012-SpasicM #algorithm #formal method #incremental #refinement: Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
GT-VMT-2012-JalaliRG #incremental #pattern matching #regular expression: Incremental Pattern Matching for Regular Expressions (AJ, AR, AHG).
ICGT-2012-BergmannHH #database #graph transformation #incremental #modelling #relational: Applying Incremental Graph Transformation to Existing Models in Relational Databases (GB, DH, ÁH), pp. 371–385.
ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive: Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.
CHI-2012-FisherPDs #dataset #incremental #performance #scalability #trust #visualisation: Trust me, I’m partially right: incremental visualization lets analysts explore large datasets faster (DF, IOP, SMD, MMCS), pp. 1673–1682.
CIKM-2012-WelchSD #incremental #knowledge base #performance: Fast and accurate incremental entity resolution relative to an entity knowledge base (MJW, AS, CD), pp. 2667–2670.
CIKM-2012-YangZW #collaboration #incremental #predict #scalability #using: Scalable collaborative filtering using incremental update and local link prediction (XY, ZZ, KW), pp. 2371–2374.
ICPR-2012-BakrYI #clustering #documentation #incremental #performance: Efficient incremental phrase-based document clustering (AMB, NAY, MAI), pp. 517–520.
ICPR-2012-HuangLW #clustering #detection #incremental: Incremental support vector clustering with outlier detection (DH, JHL, CDW), pp. 2339–2342.
ICPR-2012-LiPMH #classification #email #incremental #learning #using: Business email classification using incremental subspace learning (ML, YP, RM, HYH), pp. 625–628.
ICPR-2012-SharmaHN #classification #detection #incremental #learning #performance: Efficient incremental learning of boosted classifiers for object detection (PS, CH, RN), pp. 3248–3251.
KEOD-2012-BrandaoMS #approach #composition #incremental #interactive #named #navigation #ontology: I3OM — An Iterative, Incremental and Interactive Approach for Ontology Navigation based on Ontology Modularization (RB, PM, NS), pp. 265–270.
MLDM-2012-KhanCDE #3d #case study #correlation #incremental #symmetry: Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming (MSK, FC, CD, SES), pp. 366–379.
SEKE-2012-CourbisLLPUV #agile #behaviour #development #incremental #specification: A Formal Support for Incremental Behavior Specification In Agile Development (ALC, TL, HVL, TLP, CU, SV), pp. 694–799.
ICMT-2012-TerwilligerCC #bidirectional #framework #how #incremental #towards: How Clean Is Your Sandbox? — Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations (JFT, AC, CC), pp. 1–23.
MoDELS-2012-RederE #consistency #design #incremental: Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
MoDELS-2012-RederE #consistency #design #incremental: Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
TOOLS-EUROPE-2012-WernliLN #incremental: Incremental Dynamic Updates with First-Class Contexts (EW, ML, ON), pp. 304–319.
PADL-2012-ZhuFW #ad hoc #incremental: LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (KQZ, KF, DW), pp. 168–182.
CAV-2012-Bradley #incremental #induction #verification: IC3 and beyond: Incremental, Inductive Verification (ARB), p. 4.
CAV-2012-ChenW #incremental #learning: Learning Boolean Functions Incrementally (YFC, BYW), pp. 55–70.
CAV-2012-HassanBS #incremental #induction #model checking: Incremental, Inductive CTL Model Checking (ZH, ARB, FS), pp. 532–547.
ICLP-2012-CatDS #incremental #lazy evaluation: Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.
ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using: Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
SAT-2012-MarinMB #design #incremental #preprocessor #verification: Incremental QBF Preprocessing for Partial Design Verification — (Poster Presentation) (PM, CM, BB), pp. 473–474.
SAT-2012-NadelRS #incremental #preprocessor #satisfiability: Preprocessing in Incremental SAT (AN, VR, OS), pp. 256–269.
TAP-2012-LochauSKL #incremental #modelling #product line #testing: Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.
CBSE-2011-YoonSMP #component #incremental #testing #towards: Towards incremental component compatibility testing (ICY, AS, AMM, AAP), pp. 119–128.
ASE-2011-GanovKP #alloy #analysis #incremental #performance: A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.
CASE-2011-HaoD #incremental #optimisation #using: Optimization of tool trajectory for Incremental Sheet Forming using closed loop control (WH, SD), pp. 779–784.
DAC-2011-SunLT #analysis #approximate #grid #incremental #performance #power management: Efficient incremental analysis of on-chip power grid via sparse approximation (PS, XL, MYT), pp. 676–681.
DAC-2011-TangWHH #incremental #logic #multi #synthesis: Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.
DATE-2011-YoonLJPKPC #configuration management #embedded #incremental #named: I2CRF: Incremental interconnect customization for embedded reconfigurable fabrics (JWY, JL, JJ, SP, YK, YP, DC), pp. 1346–1351.
SIGMOD-2011-FanLLTWW #graph #incremental #pattern matching: Incremental graph pattern matching (WF, JL, JL, ZT, XW, YW), pp. 925–936.
VLDB-2011-ChiMH #incremental #linear #named #scheduling: iCBS: Incremental Costbased Scheduling under Piecewise Linear SLAs (YC, HJM, HH), pp. 563–574.
VLDB-2011-KocR #classification #incremental #maintenance #using: Incrementally maintaining classification using an RDBMS (MLK, CR), pp. 302–313.
VLDB-2011-NutanongJS #algorithm #distance #incremental: An Incremental Hausdorff Distance Calculation Algorithm (SN, EHJ, HS), pp. 506–517.
CSEET-2011-IyerMJ #incremental #problem: Incremental sequential problem based training model — Institute corporate readiness (SI, SM, AMJ), pp. 507–511.
FASE-2011-LiT #clone detection #detection #erlang #incremental #source code: Incremental Clone Detection and Elimination for Erlang Programs (HL, SJT), pp. 356–370.
ICPC-2011-Cordy #clone detection #detection #incremental #scalability #similarity #using: Exploring Large-Scale System Similarity Using Incremental Clone Detection and Live Scatterplots (JRC), pp. 151–160.
ICSM-2011-ZhangSPXZ #case study #incremental #industrial #product line #re-engineering #towards: Incremental and iterative reengineering towards Software Product Line: An industrial case study (GZ, LS, XP, ZX, WZ), pp. 418–427.
WCRE-2011-HigoUNK #approach #clone detection #detection #incremental: Incremental Code Clone Detection: A PDG-based Approach (YH, YU, MN, SK), pp. 3–12.
PLDI-2011-PersonYRK #execution #incremental #symbolic computation: Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation: Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
IFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system: Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.
ICFP-2011-WangGW #bidirectional #incremental #performance: Incremental updates for efficient bidirectional transformations (MW, JG, NW), pp. 392–403.
GCM-2010-BottoniFP11 #constraints #incremental #policy: Incremental update of constraint-compliant policy rules (PB, AF, FPP).
CIKM-2011-ChengQ #algorithm #axiom #incremental: An algorithm for axiom pinpointing in EL+ and its incremental variant (XC, GQ), pp. 2433–2436.
CIKM-2011-PuWLW #incremental #named #performance #query #rdf: AWETO: efficient incremental update and querying in rdf storage system (XP, JW, PL, MW), pp. 2445–2448.
ICML-2011-SunGRS #difference #fault #incremental: Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.
KDD-2011-ChenRT #adaptation #detection #incremental #learning: Detecting bots via incremental LS-SVM learning with dynamic feature adaptation (FC, SR, PNT), pp. 386–394.
MLDM-2011-AlshukriCZ #bound #detection #incremental #random #using: Incremental Web-Site Boundary Detection Using Random Walks (AA, FC, MZ), pp. 414–427.
SIGIR-2011-MinackSN #approach #incremental #scalability #set: Incremental diversification for very large sets: a streaming-based approach (EM, WS, WN), pp. 585–594.
BX-2011-Giese #incremental: Incremental Model Synchronization (HG), p. 52.
BX-2011-Hildebrandt #bidirectional #incremental: Incremental Bidirectional Model Synchronization (SH), p. 59.
BX-2011-Wang #incremental: Change-based incremental updates (MW), p. 64.
ECMFA-2011-BergmannHRV #emf #evaluation #incremental #modelling #query #tutorial: Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery (GB, ÁH, IR, DV), pp. 389–390.
ECMFA-2011-GoldschmidtU #incremental #modelling: Incremental Updates for View-Based Textual Modelling (TG, AU), pp. 172–188.
ECMFA-2011-GreenyerPR #incremental #reuse: Preventing Information Loss in Incremental Model Synchronization by Reusing Elements (JG, SP, JR), pp. 144–159.
ECMFA-2011-JurjensMOS #evolution #incremental #modelling #security #verification: Incremental Security Verification for Evolving UMLsec models (JJ, LM, MO, HS), pp. 52–68.
MoDELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime: Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
MoDELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime: Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
OOPSLA-2011-BurckhardtLSYB #incremental #parallel: Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
PPDP-2011-NigamJLS #distributed #incremental #logic programming #maintenance #source code: Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.
PPDP-2011-SchernhammerM #axiom #incremental #recursion #specification: Incremental checking of well-founded recursive specifications modulo axioms (FS, JM), pp. 5–16.
RE-2011-ErnstBJ #evolution #incremental #requirements: Finding incremental solutions for evolving requirements (NAE, AB, IJ), pp. 15–24.
SAC-2011-CaoZGXLWX #incremental #named #on-demand: AoDI: an allocation-on-demand incremental volume based on LVM (RC, CZ, YG, GX, XL, GW, GX), pp. 133–138.
SAC-2011-DinkelakerEM #embedded #incremental #syntax: Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
SAC-2011-HeinenE #incremental #modelling #using: Incremental feature-based mapping from sonar data using Gaussian mixture models (MRH, PME), pp. 1370–1375.
SAC-2011-IkonomovskaGD #data type #incremental #multi: Incremental multi-target model trees for data streams (EI, JG, SD), pp. 988–993.
ICSE-2011-BenestadH #comparison #incremental #modelling #release planning: A comparison of model-based and judgment-based release planning in incremental software projects (HCB, JEH), pp. 766–775.
ICSE-2011-FujiiDF #assessment #development #incremental #process #reliability #towards: Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.
HPDC-2011-YigitbasiMPE #incremental #interactive: Incremental placement of interactive perception applications (NY, LBM, PP, DHJE), pp. 123–134.
PPoPP-2011-TianLFG #incremental #parallel: Enhanced speculative parallelization via incremental recovery (CT, CL, MF, RG), pp. 189–200.
CAV-2011-BrauerKK #incremental #quantifier #satisfiability: Existential Quantification as Incremental SAT (JB, AK, JK), pp. 191–207.
TAP-2011-MeinkeS #incremental #testing: Incremental Learning-Based Testing for Reactive Systems (KM, MAS), pp. 134–151.
PODS-2010-Koch #database #evaluation #incremental #query: Incremental query evaluation in a ring of databases (CK), pp. 87–98.
SIGMOD-2010-FuKOPZ #incremental: Ajax-based report pages as incrementally rendered views (YF, KK, KWO, YP, KKZ), pp. 567–578.
VLDB-2011-BahmaniCG10 #incremental #performance #personalisation #rank: Fast Incremental and Personalized PageRank (BB, AC, AG), pp. 173–184.
FASE-2010-GroherRE #consistency #constraints #incremental: Incremental Consistency Checking of Dynamic Constraints (IG, AR, AE), pp. 203–217.
FASE-2010-NaeemHOH #composition #contract #incremental #visual notation: Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.
FoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction #process: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
CSMR-2010-Koschke #analysis #incremental: Incremental Reflexion Analysis (RK), pp. 1–10.
ICSM-2010-BhattacharyaN #debugging #fine-grained #graph #incremental #learning #multi: Fine-grained incremental learning and multi-feature tossing graphs to improve bug triaging (PB, IN), pp. 1–10.
ICSM-2010-HummelJHC #clone detection #detection #distributed #incremental #scalability: Index-based code clone detection: incremental, distributed, scalable (BH, EJ, LH, MC), pp. 1–9.
WCRE-2010-LethbridgeFB #abstraction #incremental #named #refactoring: Umplification: Refactoring to Incrementally Add Abstraction to a Program (TCL, AF, OBB), pp. 220–224.
CIAA-2010-AlmeidaMR #automaton #incremental: Incremental DFA Minimisation (MA, NM, RR), pp. 39–48.
LATA-2010-BalanS #incremental #problem: Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem (MSB, PS), pp. 549–560.
ILC-2010-UgawaIY #garbage collection #incremental: Starvation-free heap size for replication-based incremental compacting garbage collection (TU, HI, TY), pp. 43–52.
EDOC-2010-KalsingNIT #approach #incremental #legacy #mining #process: An Incremental Process Mining Approach to Extract Knowledge from Legacy Systems (AK, GSdN, CI, LHT), pp. 79–88.
ICEIS-DISI-2010-KalsingTI #algorithm #incremental #mining #process: An Incremental Process Mining Algorithm (AK, LHT, CI), pp. 263–268.
ICEIS-ISAS-2010-TaveiraAS #approach #incremental: A Method for Portfolio Management and Prioritization — An Incremental Funding Method Approach (GT, AJA, EAS), pp. 23–33.
CIKM-2010-WangL #clustering #documentation #incremental #summary #using: Document update summarization using incremental hierarchical clustering (DW, TL), pp. 279–288.
CIKM-2010-ZhuZGX #classification #incremental #learning: Transfer incremental learning for pattern classification (ZZ, XZ, YFG, XX), pp. 1709–1712.
ICPR-2010-AlmaksourAQC #classification #evolution #fuzzy #gesture #incremental #learning #recognition: Evolving Fuzzy Classifiers: Application to Incremental Learning of Handwritten Gesture Recognition Systems (AA, ÉA, SQ, MC), pp. 4056–4059.
ICPR-2010-BanderaMM #incremental #learning #mobile #visual notation: Incremental Learning of Visual Landmarks for Mobile Robotics (AB, RM, RVM), pp. 4255–4258.
ICPR-2010-DitzlerPC #algorithm #incremental #learning: An Incremental Learning Algorithm for Non-stationary Environments and Class Imbalance (GD, RP, NVC), pp. 2997–3000.
ICPR-2010-JoshiP #adaptation #detection #incremental #learning: Scene-Adaptive Human Detection with Incremental Active Learning (AJJ, FP), pp. 2760–2763.
ICPR-2010-KappSM #adaptation #incremental #learning: Adaptive Incremental Learning with an Ensemble of Support Vector Machines (MNK, RS, PM), pp. 4048–4051.
ICPR-2010-NikitidisNP #incremental #multi: Incremental Training of Multiclass Support Vector Machines (SN, NN, IP), pp. 4267–4270.
ICPR-2010-SchoutenB #distance #incremental: Incremental Distance Transforms (IDT) (TES, ELvdB), pp. 237–240.
ICPR-2010-WangHL #analysis #incremental: Boosting Incremental Semi-supervised Discriminant Analysis for Tracking (HW, XH, CLL), pp. 2748–2751.
ICPR-2010-WangLC #incremental: Incremental MPCA for Color Object Tracking (DW, HL, YWC), pp. 1751–1754.
KDD-2010-ZhuLX #feature model #incremental #learning #markov #named #performance #random: Grafting-light: fast, incremental feature selection and structure learning of Markov random fields (JZ, NL, EPX), pp. 303–312.
KEOD-2010-TeguiakAJS #approach #design #incremental #model transformation #ontology: Incremental Design of Ontologies — A Model Transformation-based Approach (HVT, YAA, SJ, ÉS), pp. 94–103.
KMIS-2010-AlonsoBL #behaviour #incremental #modelling: Incremental user Modeling with Heterogeneous user Behaviors (RA, PB, HL), pp. 129–134.
RecSys-2010-KhoshneshinS10a #clustering #collaboration #incremental: Incremental collaborative filtering via evolutionary co-clustering (MK, WNS), pp. 325–328.
SEKE-2010-MarcaciniR #clustering #incremental #topic #using: Incremental Construction of Topic Hierarchies using Hierarchical Term Clustering (RMM, SOR), p. 553.
SIGIR-2010-BlancoBJLTZ #incremental: Caching search engine results over incremental indices (RB, EB, FJ, RL, LT, HZ), pp. 82–89.
ICMT-2010-JouaultT #atl #execution #incremental #towards: Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
MoDELS-v1-2010-BergmannHRVBBO #emf #evaluation #incremental #modelling #query: Incremental Evaluation of Model Queries over EMF Models (GB, ÁH, IR, DV, AB, ZB, AÖ), pp. 76–90.
OOPSLA-2010-SwaineTDFF #incremental #parallel #runtime: Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.
GPCE-2010-MiaoS #incremental #metaprogramming: Incremental type-checking for type-reflective metaprograms (WM, JGS), pp. 167–176.
SAC-2010-LeeST #algorithm #database #incremental #performance: An incremental algorithm for efficient unique signature discoveries on DNA databases (HPL, TFS, CYT), pp. 1506–1510.
FSE-2010-Krka #approach #behaviour #incremental #modelling #refinement #requirements #specification: From requirements to partial behavior models: an iterative approach to incremental specification refinement (IK), pp. 341–344.
ICSE-2010-BoehmL #incremental #process: New processes for new horizons: the incremental commitment model (BWB, JAL), pp. 501–502.
ICSE-2010-Meedeniya #architecture #evaluation #incremental #modelling #probability: An incremental methodology for quantitative software architecture evaluation with probabilistic models (IM), pp. 339–340.
PLEASE-2010-StroblBG #case study #evolution #experience #incremental: An experience report on the incremental adoption and evolution of an SPL in eHealth (SS, MB, TG), pp. 16–23.
SPLC-2010-OsterMR #automation #incremental #product line #testing: Automated Incremental Pairwise Testing of Software Product Lines (SO, FM, PR), pp. 196–210.
ISMM-2010-UgawaIY #embedded #garbage collection #incremental: Improved replication-based incremental garbage collection for embedded systems (TU, HI, TY), pp. 73–82.
OSDI-2010-PengD #distributed #incremental #scalability #transaction #using: Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.
DAC-2009-GongYH #incremental #named #parallel #probability #process: PiCAP: a parallel and incremental capacitance extraction considering stochastic process variation (FG, HY, LH), pp. 764–769.
ICDAR-2009-AlmaksourA #incremental #learning #online #performance #recognition: Fast Incremental Learning Strategy Driven by Confusion Reject for Online Handwriting Recognition (AA, ÉA), pp. 81–85.
ICDAR-2009-HuangDJG #adaptation #analysis #incremental #linear #online #recognition #using: Writer Adaptive Online Handwriting Recognition Using Incremental Linear Discriminant Analysis (ZH, KD, LJ, XG), pp. 91–95.
SIGMOD-2009-HadjieleftheriouKS #approximate #incremental #maintenance #normalisation #string: Incremental maintenance of length normalized indexes for approximate string matching (MH, NK, DS), pp. 429–440.
CSMR-2009-GodeK #clone detection #detection #incremental: Incremental Clone Detection (NG, RK), pp. 219–228.
ICSM-2009-LinZZ #aspectj #graph #incremental: Incremental call graph reanalysis for AspectJ software (YL, SZ, JZ), pp. 306–315.
ICSM-2009-NguyenNAPN #clone detection #detection #evolution #incremental #scalability: Scalable and incremental clone detection for evolving software (TTN, HAN, JMAK, NHP, TNN), pp. 491–494.
FM-2009-ShaoKP #approach #bound #formal method #incremental #lightweight #using: An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.
IFM-2009-DovlandJOS #incremental #inheritance #multi #reasoning: Incremental Reasoning for Multiple Inheritance (JD, EBJ, OO, MS), pp. 215–230.
GT-VMT-2009-BergmannRV #graph transformation #incremental #parallel #pattern matching: Parallelization of Graph Transformation Based on Incremental Pattern Matching (GB, IR, DV), pp. 100–114.
HCI-NIMT-2009-AlexanderAA #framework #gesture #incremental #learning #open source #realtime #recognition: An Open Source Framework for Real-Time, Incremental, Static and Dynamic Hand Gesture Learning and Recognition (TCA, HSA, GCA), pp. 123–130.
CAiSE-2009-BlancMMM #consistency #detection #incremental #nondeterminism: Incremental Detection of Model Inconsistencies Based on Model Operations (XB, AM, IM, TM), pp. 32–46.
CIKM-2009-DaiZ #constraints #distance #edit distance #incremental #similarity: Incremental similarity joins with edit distance constraints (DD, GZ), pp. 1449–1452.
CIKM-2009-LiuH #evaluation #incremental #query: Incremental query evaluation for support vector machines (DL, KAH), pp. 1815–1818.
CIKM-2009-MaHR #framework #incremental #mobile #named #predict: iLoc: a framework for incremental location-state acquisition and prediction based on mobile sensors (YM, RH, DR), pp. 1367–1376.
KDD-2009-YangCWHZM #crawling #incremental #web: Incorporating site-level knowledge for incremental crawling of web forums: a list-wise strategy (JMY, RC, CW, HH, LZ, WYM), pp. 1375–1384.
MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification: Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MoDELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using: Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MoDELS-2009-WolfeGP #algorithm #consistency #incremental #runtime: An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification: Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MoDELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using: Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MoDELS-2009-WolfeGP #algorithm #consistency #incremental #runtime: An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
SAC-2009-Brand #composition #constraints #matrix #problem: The sum-of-increments constraint in the consecutive-ones matrix decomposition problem (SB), pp. 1417–1418.
SAC-2009-LuYLELW #correlation #data type #detection #incremental #using: Incremental outlier detection in data streams using local correlation integral (XL, TY, ZL, ME, WL, HW), pp. 1520–1521.
SAC-2009-PinhoOL #incremental #set #visualisation: Incremental board: a grid-based space for visualizing dynamic data sets (RP, MCFdO, AdAL), pp. 1757–1764.
CAV-2009-Jacobs #generative #incremental #reasoning: Incremental Instance Generation in Local Reasoning (SJ), pp. 368–382.
ICLP-2009-SwiftPP #incremental: Incremental Answer Completion in the SLG-WAM (TS, AMP, LMP), pp. 519–524.
ISSTA-2009-FoucheCP #array #incremental #scalability: Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.
ASE-2008-JiangNCJC #automation #evolution #incremental #semantics #traceability: Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management (HJ, TNN, IXC, HJ, CKC), pp. 59–68.
ASE-2008-LuciaOT #comparison #empirical #incremental #process #traceability: IR-Based Traceability Recovery Processes: An Empirical Comparison of “One-Shot” and Incremental Processes (ADL, RO, GT), pp. 39–48.
DAC-2008-VeetilSB #analysis #incremental #monte carlo #performance #statistics: Efficient Monte Carlo based incremental statistical timing analysis (VV, DS, DB), pp. 676–681.
DAC-2008-WangZ #algorithm #incremental #performance: An efficient incremental algorithm for min-area retiming (JW, HZ), pp. 528–533.
DATE-2008-ElmqvistN #analysis #component #incremental #tool support: Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems (JE, SNT), pp. 921–927.
DATE-2008-XiongZV #incremental: Incremental Criticality and Yield Gradients (JX, VZ, CV), pp. 1130–1135.
CSMR-2008-Storm #backtracking #incremental #integration: Backtracking Incremental Continuous Integration (TvdS), pp. 233–242.
ICALP-A-2008-HaeuplerKMST #algorithm #incremental #performance: Faster Algorithms for Incremental Topological Ordering (BH, TK, RM, SS, RET), pp. 421–433.
ICALP-B-2008-AxelssonHL #context-free grammar #incremental #satisfiability #using: Analyzing Context-Free Grammars Using an Incremental SAT Solver (RA, KH, ML), pp. 410–422.
FM-2008-MacedoLF #development #distributed #incremental #realtime #using: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.
ICGT-2008-BergmannHRV #benchmark #evaluation #graph transformation #incremental #metric #pattern matching: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (GB, ÁH, IR, DV), pp. 396–410.
ICEIS-ISAS1-2008-HeerRK #incremental #integration #ontology: Incremental Ontology Integration (TH, DR, BK), pp. 13–20.
CIKM-2008-MihailaSL #incremental: Anomaly-free incremental output in stream processing (GAM, IS, CAL), pp. 359–368.
CIKM-2008-QianD #incremental #maintenance #towards: A step towards incremental maintenance of the composed schema mapping (GQ, YD), pp. 173–182.
ICML-2008-SarkarMP #graph #incremental #performance #proximity #scalability: Fast incremental proximity search in large graphs (PS, AWM, AP), pp. 896–903.
ICPR-2008-BucakG #clustering #incremental #matrix: Incremental clustering via nonnegative matrix factorization (SSB, BG), pp. 1–4.
ICPR-2008-Correa-MorrisRPE #incremental: Incremental nested partition method (JCM, JRS, APP, DLEI), pp. 1–4.
ICPR-2008-FerilliBBE #comprehension #documentation #incremental #layout #machine learning: Incremental machine learning techniques for document layout understanding (SF, MB, TMAB, FE), pp. 1–4.
ICPR-2008-KarnickMP #approach #classification #concept #incremental #learning #multi #using: Incremental learning in non-stationary environments with concept drift using a multiple classifier based approach (MTK, MM, RP), pp. 1–4.
ICPR-2008-LiL #incremental #segmentation: An incremental method for accurate iris segmentation (PL, XL), pp. 1–4.
ICPR-2008-OkadaH #incremental #network #recognition #self: Motion recognition based on Dynamic-Time Warping method with Self-Organizing Incremental Neural Network (SO, OH), pp. 1–4.
ICPR-2008-PopSM #incremental #sequence #video: Incremental trajectory aggregation in video sequences (IP, MS, SM), pp. 1–4.
ICPR-2008-Sakai #approach #classification #incremental #monte carlo: Monte Carlo subspace method: An incremental approach to high-dimensional data classification (TS), pp. 1–4.
ICPR-2008-SudoOTKA #detection #incremental #learning #online: Online anomal movement detection based on unsupervised incremental learning (KS, TO, HT, HK, KA), pp. 1–4.
ICPR-2008-TavakkoliNBN #incremental #modelling #performance: Efficient background modeling through incremental Support Vector Data Description (AT, MN, GB, MNN), pp. 1–4.
KDD-2008-WuXC #clustering #incremental #learning #named: SAIL: summation-based incremental learning for information-theoretic clustering (JW, HX, JC), pp. 740–748.
RecSys-2008-WuWC #analysis #automation #incremental #probability #recommendation #semantics: Incremental probabilistic latent semantic analysis for automatic question recommendation (HW, YW, XC), pp. 99–106.
ICMT-2008-RathBOV #incremental #model transformation #pattern matching: Live Model Transformations Driven by Incremental Pattern Matching (IR, GB, AÖ, DV), pp. 107–121.
MoDELS-2008-LuongLC #behaviour #consistency #development #implementation #incremental #modelling: Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.
MoDELS-2008-LuongLC #behaviour #consistency #development #implementation #incremental #modelling: Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.
ECOOP-2008-BiermanPN #incremental #named: UpgradeJ: Incremental Typechecking for Class Upgrades (GMB, MJP, JN), pp. 235–259.
GPCE-2008-RothamelL #generative #implementation #incremental #query: Generating incremental implementations of object-set queries (TR, YAL), pp. 55–66.
ICSE-2008-LauterburgSMV #incremental #source code: Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.
SLE-2008-Goldschmidt #approach #incremental #repository #towards: Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories (TG), pp. 168–177.
PPoPP-2008-BronevetskyMPRM #incremental: Compiler-enhanced incremental checkpointing for OpenMP applications (GB, DM, KP, RR, SAM), pp. 275–276.
ICLP-2008-GebserKKOST #incremental: Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.
SAT-2008-LetombeM #algorithm #hybrid #incremental #satisfiability: Improvements to Hybrid Incremental SAT Algorithms (FL, JMS), pp. 168–181.
ASE-2007-PoshyvanykM #design #incremental #information retrieval #using: Using information retrieval to support design of incremental change of software (DP, AM), pp. 563–566.
DAC-2007-WuW #detection #incremental: Improving Voltage Assignment by Outlier Detection and Incremental Placement (HW, MDFW), pp. 459–464.
DATE-2007-BombieriFP #design #functional #incremental #refinement #validation: Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.
DocEng-2007-NanardNKG #documentation #incremental #multi: Genre driven multimedia document production by means of incremental transformation (MN, JN, PRK, LG), pp. 111–120.
HT-2007-BielikovaJ #adaptation #incremental #ontology: Adaptive incremental browsing of ontology structure (MB, MJ), pp. 143–144.
ICDAR-2007-EspositoFMB #automation #documentation #first-order #incremental #learning #logic #web: Incremental Learning of First Order Logic Theories for the Automatic Annotations of Web Documents (FE, SF, NDM, TMAB), pp. 1093–1097.
ICDAR-2007-Mace #constraints #documentation #incremental #multi #online #parsing: Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation (SM), pp. 442–446.
ICDAR-2007-MasSLL #algorithm #diagrams #incremental #online #parsing #sketching: An Incremental On-line Parsing Algorithm for Recognizing Sketching Diagrams (JM, GS, JL, BL), pp. 452–456.
VLDB-2007-ChuBCDN #approach #incremental #query #relational #semistructured data: A Relational Approach to Incrementally Extracting and Querying Structure in Unstructured Data (EC, AB, TC, AD, JFN), pp. 1045–1056.
VLDB-2007-DeRoseSCDR #approach #community #composition #incremental #top-down #web: Building Structured Web Community Portals: A Top-Down, Compositional, and Incremental Approach (PD, WS, FC, AD, RR), pp. 399–410.
VLDB-2007-IwuchukwuN #incremental #scalability #towards: K-Anonymization as Spatial Indexing: Toward Scalable and Incremental Anonymization (TI, JFN), pp. 746–757.
CSMR-2007-AoumeurBS #adaptation #component #distributed #incremental #information management #runtime #specification #validation: Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
PLDI-2007-ShankarB #automation #data type #invariant #java #named: DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
HCI-MIE-2007-ZhongCZL #adaptation #identification #incremental #online: Confidence Measure Based Incremental Adaptation for Online Language Identification (SZ, YC, CZ, JL), pp. 535–543.
CAiSE-2007-WeerdBV #concept #empirical #evolution #incremental #requirements #validation: Concepts for Incremental Method Evolution: Empirical Exploration and Validation in Requirements Management (IvdW, SB, JV), pp. 469–484.
ICEIS-J-2007-RauberR07a #incremental: Incremental Transformation of Business Software (TR, GR), pp. 81–94.
ICML-2007-TitovH #incremental #network #predict: Incremental Bayesian networks for structure prediction (IT, JH), pp. 887–894.
KDD-2007-DavidsonRE #clustering #incremental #performance: Efficient incremental constrained clustering (ID, SSR, ME), pp. 240–249.
MLDM-2007-WangLYC #classification #data type #fuzzy #incremental #mining: An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams (TW, ZL, YY, HC), pp. 91–103.
SEKE-2007-MoserPS #agile #development #incremental #modelling #predict #using: Incremental Effort Prediction Models in Agile Development using Radial Basis Functions (RM, WP, GS), pp. 519–522.
MoDELS-2007-KonradGC #analysis #incremental #modelling #process: i²MAP : An Incremental and Iterative Modeling and Analysis Process (SK, HG, BHCC), pp. 451–466.
MoDELS-2007-KonradGC #analysis #incremental #modelling #process: i²MAP : An Incremental and Iterative Modeling and Analysis Process (SK, HG, BHCC), pp. 451–466.
TOOLS-EUROPE-2007-PotterS #incremental: Incremental Lock Selection for Composite Objects (JP, AS), pp. 477–494.
PADL-2007-EichbergKSMO #analysis #automation #prolog: Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.
SAC-2007-PintoG #concept #incremental: Incremental discretization, application to data with concept drift (CP, JG), pp. 467–468.
SAC-2007-TrutaC #incremental #maintenance #optimisation: K-anonymization incremental maintenance and optimization techniques (TMT, AC), pp. 380–387.
ESEC-FSE-2007-FoucheCP #adaptation #array #incremental #towards: Towards incremental adaptive covering arrays (SF, MBC, AAP), pp. 557–560.
ISMM-2007-KeroNL #garbage collection #incremental: A correct and useful incremental copying garbage collector (MK, JN, PL), pp. 129–140.
CADE-2007-UnelT #incremental: An Incremental Technique for Automata-Based Decision Procedures (GÜ, DT), pp. 100–115.
TestCom-FATES-2007-PapSKN #algorithm #bound #finite #generative #incremental #state machine #testing: A Bounded Incremental Test Generation Algorithm for Finite State Machines (ZP, MS, GK, GÁN), pp. 244–259.
DAC-2006-LuoNP #design #incremental #performance: A new LP based incremental timing driven placement for high performance designs (TL, DN, DZP), pp. 1115–1120.
DATE-2006-Albrecht #incremental #latency #performance #scalability #scheduling: Efficient incremental clock latency scheduling for large circuits (CA), pp. 1091–1096.
DATE-2006-DuttA #incremental #locality #performance #using: Efficient timing-driven incremental routing for VLSI circuits using DFS and localized slack-satisfaction computations (SD, HA), pp. 768–773.
VLDB-2006-AugstenBG #approximate #incremental: An Incrementally Maintainable Index for Approximate Lookups in Hierarchical Data (NA, MHB, JG), pp. 247–258.
VLDB-2006-BernsteinMC #incremental: Incremental Schema Matching (PAB, SM, JEC), pp. 1167–1170.
VLDB-2006-LeeK #incremental #maintenance #performance: Efficient Incremental Maintenance of Data Cubes (KYL, MHK), pp. 823–833.
ICSM-2006-LuciaOS #approach #incremental #traceability: Incremental Approach and User Feedbacks: a Silver Bullet for Traceability Recovery (ADL, RO, PS), pp. 299–309.
PLDI-2006-KermanyP #concurrent #incremental #parallel: The Compressor: concurrent, incremental, and parallel compaction (HK, EP), pp. 354–363.
CAiSE-2006-CabotT #constraints #evaluation #incremental #ocl: Incremental Evaluation of OCL Constraints (JC, ET), pp. 81–95.
ICEIS-AIDSS-2006-LampertiZ #incremental: Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.
CIKM-2006-SahooCKDP #clustering #documentation #incremental: Incremental hierarchical clustering of text documents (NS, JC, RK, GTD, RP), pp. 357–366.
ICPR-v1-2006-PrehnS #adaptation #algorithm #classification #clustering #incremental #robust #using: An Adaptive Classification Algorithm Using Robust Incremental Clustering (HP, GS), pp. 896–899.
ICPR-v2-2006-ZhangR #incremental #learning: A New Data Selection Principle for Semi-Supervised Incremental Learning (RZ, AIR), pp. 780–783.
ICPR-v3-2006-GhoshB #3d #incremental #modelling #video: Incremental Vehicle 3-D Modeling from Video (NG, BB), pp. 272–275.
ICPR-v3-2006-NockLS #incremental #mining #statistics: Statistical Borders for Incremental Mining (RN, PAL, JES), pp. 212–215.
ICPR-v3-2006-ZhaoY #graph #incremental #reduction: Incremental Construction of Neighborhood Graphs for Nonlinear Dimensionality Reduction (DZ, LY), pp. 177–180.
KDD-2006-WuCCH #approximate #incremental #matrix: Incremental approximate matrix factorization for speeding up support vector machines (GW, EYC, YKC, CJH), pp. 760–766.
SEKE-2006-JavedMSB #context-free grammar #domain-specific language #incremental: Incrementally Inferring Context-Free Grammars for Domain-Specific Languages (FJ, MM, APS, BRB), pp. 363–368.
MoDELS-2006-GieseW #graph grammar #incremental: Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.
MoDELS-2006-HearndenLR #evolution #incremental #model transformation #modelling: Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MoDELS-2006-GieseW #graph grammar #incremental: Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.
MoDELS-2006-HearndenLR #evolution #incremental #model transformation #modelling: Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
PADL-2006-SahaR #evaluation #incremental #logic programming #prolog #source code: Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs (DS, CRR), pp. 215–229.
SAC-2006-AlmeidaG #algorithm #database #incremental #nearest neighbour #network #using: Using Dijkstra’s algorithm to incrementally find the k-Nearest Neighbors in spatial network databases (VTdA, RHG), pp. 58–62.
SAC-2006-Ferrer-TroyanoAS #classification #data type #incremental #learning: Data streams classification by incremental rule learning with parameterized generalization (FJFT, JSAR, JCRS), pp. 657–661.
SAC-2006-HeoCJK #incremental: The overhead model of word-level and page-level incremental checkpointing (JH, YC, GJ, HK), pp. 1493–1494.
SAC-2006-YiHCH #adaptation #incremental: Adaptive page-level incremental checkpointing based on expected recovery time (SY, JH, YC, JH), pp. 1472–1476.
ICSE-2006-XuCC #consistency #incremental #pervasive: Incremental consistency checking for pervasive context (CX, SCC, WKC), pp. 292–301.
LDTA-2006-EichbergKKMS #analysis #incremental: Incremental Confined Types Analysis (ME, SK, SK, MM, TS), pp. 81–96.
SPL-BOOK-2006-Engelsma #diagrams #evolution #incremental #integration #multi #product line #using: Incremental Systems Integration within Multidisciplinary Product Line Engineering Using Configuration Item Evolution Diagrams (EE), pp. 523–555.
ICLP-2006-SahaR #algorithm #evaluation #incremental #logic programming #source code: A Local Algorithm for Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 56–71.
WICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental: Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.
WICSA-2005-Abi-AntounC #architecture #case study #incremental #legacy #re-engineering: A Case Study in Incremental Architecture-Based Re-engineering of a Legacy Application (MAA, WC), pp. 159–168.
CASE-2005-CastelnuovoFP #approach #incremental #modelling #petri net #sequence: An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.
DAC-2005-GuWDZ #behaviour #design #incremental #physics: Incremental exploration of the combined physical and behavioral design space (Z(G, JW, RPD, HZ), pp. 208–213.
DAC-2005-NieKT #incremental #layout: A watermarking system for IP protection by a post layout incremental router (TN, TK, MT), pp. 218–221.
DAC-2005-SinghMB #incremental #physics #synthesis: Incremental retiming for FPGA physical synthesis (DPS, VM, SDB), pp. 433–438.
DATE-2005-ChandrasekarH #fault #generative #incremental #integration #learning #performance #satisfiability #testing: Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation (KC, MSH), pp. 1002–1007.
PODS-2005-CohenS #algorithm #incremental: An incremental algorithm for computing ranked full disjunctions (SC, YS), pp. 98–107.
SIGMOD-2005-TatemuraSPAC #incremental #maintenance: Incremental Maintenance of Path Expression Views (AS, JT, OP, DA, KSC), pp. 443–454.
TACAS-2005-BozzanoBCJRSS #incremental #linear #logic #satisfiability: An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic (MB, RB, AC, TAJ, PvR, SS, RS), pp. 317–333.
CSMR-2005-Sneed #approach #incremental #integration: An Incremental Approach to System Replacement and Integration (HMS), pp. 196–206.
ICSM-2005-Reiss #incremental #maintenance: Incremental Maintenance of Software Artifacts (SPR), pp. 113–122.
IWPC-2005-BucknerBPR #comprehension #incremental #named: JRipples: A Tool for Program Comprehension during Incremental Change (JB, JB, MP, VR), pp. 149–152.
CIAA-2005-CampeanuPS #algorithm #automaton #finite #incremental: An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata (CC, AP, JRS), pp. 90–103.
CIAA-2005-DaciukMS #automaton #incremental #pseudo: Incremental and Semi-incremental Construction of Pseudo-Minimal Automata (JD, DM, AS), pp. 341–342.
ICEIS-v3-2005-AlvaroALPGM #aspect-oriented #component #incremental #modelling #process #towards: Aspect IPM: Towards an Incremental Process Model Based on AOP for Component-Based Systems (AÁ, ESdA, DL, AFdP, VCG, SRdLM), pp. 226–232.
CIKM-2005-CarteretteA #incremental: Incremental test collections (BC, JA), pp. 680–687.
CIKM-2005-FuCTLN #incremental #visualisation: Incremental stock time series data delivery and visualization (TCF, FLC, PyT, RWPL, CmN), pp. 279–280.
CIKM-2005-MatsumuraT #evaluation #incremental #xpath: Incremental evaluation of a monotone XPath fragment (HM, KT), pp. 245–246.
MLDM-2005-GuptaKB #classification #concept analysis #incremental #using: Incremental Classification Rules Based on Association Rules Using Formal Concept Analysis (AG, NK, VB), pp. 11–20.
SIGIR-2005-MagalhaesR #concept #incremental #information management #mining #multi: Mining multimedia salient concepts for incremental information extraction (JM, SMR), pp. 641–642.
SIGIR-2005-TheobaldSW #incremental #performance #query #self: Efficient and self-tuning incremental query expansion for top-k query processing (MT, RS, GW), pp. 242–249.
OOPSLA-2005-LiuSGRL #abstraction: Incrementalization across object abstraction (YAL, SDS, MG, TR, YEL), pp. 473–486.
PPDP-2005-SahaR #analysis #incremental #logic programming #points-to #using: Incremental and demand-driven points-to analysis using logic programming (DS, CRR), pp. 117–128.
SAC-2005-CosterS #collaboration #incremental #mobile: Incremental collaborative filtering for mobile devices (RC, MS), pp. 1102–1106.
SAC-2005-Ferrer-TroyanoAS #data type #incremental #learning: Incremental rule learning based on example nearness from numerical data streams (FJFT, JSAR, JCRS), pp. 568–572.
SAC-2005-HeoYCHS #incremental: Space-efficient page-level incremental checkpointing (JH, SY, YC, JH, SYS), pp. 1558–1562.
SAC-2005-RahalRPNPRV #biology #incremental #interactive #mining: Incremental interactive mining of constrained association rules from biological annotation data with nominal features (IR, DR, AP, HN, WP, RR, WVG), pp. 123–127.
SAC-2005-TebriBC #incremental #learning: Incremental profile learning based on a reinforcement method (HT, MB, CC), pp. 1096–1101.
ICSE-2005-MohagheghiAC #case study #development #estimation #incremental #scalability: Effort estimation of use cases for incremental large-scale software development (PM, BA, RC), pp. 303–311.
SAT-J-2004-BenedettiB05 #incremental: Incremental Compilation-to-SAT Procedures (MB, SB), pp. 46–58.
CADE-2005-OgawaHO #incremental #proving: Proving Properties of Incremental Merkle Trees (MO, EH, SO), pp. 424–440.
CAV-2005-ConwayNDE #algorithm #analysis #incremental #interprocedural #safety: Incremental Algorithms for Inter-procedural Analysis of Safety Properties (CLC, KSN, DD, SAE), pp. 449–461.
CAV-2005-HeljankoJL #bound #incremental #model checking: Incremental and Complete Bounded Model Checking for Full PLTL (KH, TAJ, TL), pp. 98–111.
ICLP-2005-SahaR #data type #evaluation #graph #incremental #performance: Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.
VMCAI-2005-ShenQL #incremental #satisfiability: Minimizing Counterexample with Unit Core Extraction and Incremental SAT (SS, YQ, SL), pp. 298–312.
ASE-2004-JohannE #incremental #modelling: Instant and Incremental Transformation of Models (SJ, AE), pp. 362–365.
DAC-2004-VisweswariahRKWN #analysis #first-order #incremental #statistics: First-order incremental block-based statistical timing analysis (CV, KR, KK, SGW, SN), pp. 331–336.
SIGMOD-2004-BohannonBCF #evaluation #incremental #xml: Incremental Evaluation of Schema-Directed XML Publishing (PB, PB, BC, WF), pp. 503–514.
SIGMOD-2004-MokbelXA #database #incremental #named #query #scalability: SINA: Scalable Incremental Processing of Continuous Queries in Spatio-temporal Databases (MFM, XX, WGA), pp. 623–634.
SIGMOD-2004-NassarSC #clustering #effectiveness #incremental #summary: Incremental and Effective Data Summarization for Dynamic Hierarchical Clustering (SN, JS, CC), pp. 467–478.
SIGMOD-2004-YiHSY #incremental #maintenance #xml: Incremental Maintenance of XML Structural Indexes (KY, HH, IS, JY), pp. 491–502.
ICSM-2004-Zou #incremental #migration #object-oriented #quality: Incremental Quality Driven Software Migration to Object Oriented Systems (YZ), pp. 136–146.
IFM-2004-VilasARGD #imperative #incremental #logic #modelling #semantics #specification: A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models (AFV, JJPA, RPDR, AGS, JGD), pp. 382–401.
ICGT-2004-BeckerLW #execution #graph #incremental #integration #interactive #tool support: Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
ICEIS-v1-2004-El-SonbatyK #algorithm #incremental #mining #performance: New Fast Algorithm for Incremental Mining of Association Rules (YES, RK), pp. 275–281.
ICEIS-v1-2004-LaiCC #feedback #incremental #topic: Applying Cross-Topic Relationships to Incremental Relevance Feedback (TCHL, SCfC, KFLC), pp. 356–363.
ICML-2004-Potts #incremental #learning #linear: Incremental learning of linear model trees (DP).
ICPR-v1-2004-SalahA #incremental: Incremental Mixtures of Factor Analysers (AAS, EA), pp. 276–279.
ICPR-v2-2004-LinYL #analysis #incremental #using: Object Tracking Using Incremental Fisher Discriminant Analysis (RSL, MHY, SEL), pp. 757–760.
ICPR-v3-2004-PigeauG #image #incremental #statistics: Incremental Statistical Geo-Temporal Structuring of a Personal Camera Phone Image Collection (AP, MG), pp. 878–881.
KDD-2004-ChengYH #database #incremental #mining #named #scalability: IncSpan: incremental mining of sequential patterns in large database (HC, XY, JH), pp. 527–532.
KDD-2004-LiCTW #incremental #maintenance: Incremental maintenance of quotient cube for median (CL, GC, AKHT, SW), pp. 226–235.
KDD-2004-YanZYYLCXFMC #incremental #named: IMMC: incremental maximum margin criterion (JY, BZ, SY, QY, HL, ZC, WX, WF, WYM, QC), pp. 725–730.
KDD-2004-YePLJXK #algorithm #composition #incremental #named #reduction: IDR/QR: an incremental dimension reduction algorithm via QR decomposition (JY, QL, HX, HP, RJ, VK), pp. 364–373.
UML-2004-PitkanenS #execution #incremental #modelling #uml: A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.
POPL-2004-SittampalamML #execution #incremental #specification: Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.
SAC-2004-Jorgensen #component #incremental #independence #integration #java: Language support for incremental integration of independently developed components in Java (BNJ), pp. 1316–1322.
FSE-2004-PerkinsE #algorithm #detection #incremental #invariant #performance: Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.
ICSE-2004-Breen #incremental #named #specification: Statestep: A Tool for Systematic, Incremental Specification (MB), pp. 711–712.
ISMM-2004-CheadleFMJW #garbage collection #haskell #incremental: Exploring the barrier to entry: incremental generational garbage collection for Haskell (AMC, AJF, SM, SLPJ, RLW), pp. 163–174.
ISMM-2004-SagonasW #concurrent #garbage collection #incremental: Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language (KFS, JW), pp. 1–12.
SAT-2004-BenedettiB #incremental: Incremental Compilation-to-SAT Procedures (MB, SB), pp. 205–213.
ASE-2003-Holz #approach #incremental: An Incremental Approach to Task-Specific Information Delivery in SE Processe (HH), pp. 295–298.
PEPM-2003-LiuS #optimisation: Optimizing Ackermann’s function by incrementalization (YAL, SDS), pp. 85–91.
ICEIS-v1-2003-EzeifeD #database #incremental: Incremental Horizontal Fragmentation of Database Class Objects (CIE, PD), pp. 239–245.
ICEIS-v3-2003-AlmeidaBPT #component #development #distributed #incremental #named #process: IPM: An Incremental Process Model for Distributed Component-Based Software Development (ESdA, CDPB, AFdP, LCT), pp. 221–232.
CIKM-2003-BukauskasMO #incremental #named: iTopN: incremental extraction of the N most visible objects (LB, LM, EO, MHB), pp. 461–468.
ICML-2003-DeCosteM #approximate #classification #incremental #kernel #performance: Fast Query-Optimized Kernel Machine Classification Via Incremental Approximate Nearest Support Vectors (DD, DM), pp. 115–122.
POPL-2003-ZibinG #algorithm #incremental: Incremental algorithms for dispatching in dynamically typed languages (YZ, JYG), pp. 126–138.
SAC-2003-PerrizoDDSDK #incremental #named: PINE — Podium Incremental Neighbor Evaluator for Classifying Spatial Data (WP, QD, AD, KS, QD, MK), pp. 503–508.
ICLP-2003-SahaR #evaluation #incremental #logic programming #source code: Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 392–406.
RTA-2003-RouV #incremental #regular expression #testing: Testing Extended Regular Language Membership Incrementally by Rewriting (GR, MV), pp. 499–514.
DATE-2002-PandeyP #algorithm #architecture #design #generative #incremental #testing: An Incremental Algorithm for Test Generation in Illinois Scan Architecture Based Designs (ARP, JHP), pp. 368–375.
DATE-2002-VenerisLAA #fault #incremental #multi: Incremental Diagnosis and Correction of Multiple Faults and Errors (AGV, JBL, MA, MSA), pp. 716–721.
VLDB-2002-PalpanasSCP #incremental #maintenance: Incremental Maintenance for Non-Distributive Aggregate Functions (TP, RS, RC, HP), pp. 802–813.
ICSM-2002-EisenbarthKS #incremental #scalability #source code: Incremental Location of Combined Features for Large-Scale Programs (TE, RK, DS), pp. 273–282.
ICSM-2002-RajlichG #case study #incremental: A Case Study of Unanticipated Incremental Change (VR, PG), pp. 442–451.
PLDI-2002-OssiaBGKLO #concurrent #garbage collection #incremental #parallel: A Parallel, Incremental and Concurrent GC for Servers (YO, OBY, IG, EKK, VL, AO), pp. 129–140.
FME-2002-Jorgensen #incremental: Safeness of Make-Based Incremental Recompilation (NJ), pp. 126–145.
ICFP-2002-Carlsson #incremental #monad: Monads for incremental computing (MC), pp. 26–35.
ICGT-2002-Pfaltz #effectiveness #incremental #information management: Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery (JLP), pp. 351–362.
CAiSE-2002-KangL #incremental #xml: Deferred Incremental Refresh of XML Materialized Views (HK, JL), pp. 742–746.
EDOC-2002-OserGGG #framework #incremental: The LEAF Platform: Incremental Enhancements for the J2EE (PO, CG, DG, RG), pp. 238–248.
ICPR-v3-2002-ArtacJL #incremental #learning #online #recognition #visual notation: Incremental PCA or On-Line Visual Learning and Recognition (MA, MJ, AL), pp. 781–784.
ICPR-v3-2002-MaticPW #incremental #named #online #recognition: QuickStroke: An Incremental On-Line Chinese Handwriting Recognition System (NPM, JCP, TW), pp. 435–439.
ICPR-v3-2002-RodriguezSAP #classification #incremental: An Incremental and Hierarchical K-NN Classifier for Handwritten Characters (CR, FBS, ISA, AP), pp. 98–101.
KDD-2002-LiuL #adaptation #classification #documentation #incremental #mining: Incremental context mining for adaptive document classification (RLL, YLL), pp. 599–604.
TOOLS-USA-2002-HallstromS #case study #development #framework #incremental #object-oriented #using: Incremental Development Using Object Oriented Frameworks: A Case Study (JOH, NS), pp. 189–205.
SAC-2002-BoughanemT #adaptation #incremental #learning: Incremental adaptive filtering: profile learning and threshold calibration (MB, MT), pp. 640–644.
LDTA-2002-Boyland #attribute grammar #incremental: Incremental Evaluators for Remote Attribute Grammars (JB), pp. 9–29.
ISMM-2002-Ben-YitzhakGKKL #algorithm #incremental #parallel: An algorithm for parallel incremental compaction (OBY, IG, EKK, KK, VL), pp. 207–212.
CAV-2002-BarrettDS #first-order #incremental #satisfiability: Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT (CWB, DLD, AS), pp. 236–249.
WICSA-2001-DingM #approach #architecture #evolution #incremental #named: Focus: A Light-Weight, Incremental Approach to Software Architecture Recovery and Evolution (LD, NM), p. 191–?.
DAC-2001-PopEPP #approach #design #distributed #embedded #incremental: An Approach to Incremental Design of Distributed Embedded Systems (PP, PE, TP, ZP), pp. 450–455.
DAC-2001-WhittemoreKS #incremental #named #satisfiability: SATIRE: A New Incremental Satisfiability Engine (JW, JK, KAS), pp. 542–545.
DATE-2001-NamSR #approach #incremental #satisfiability: A boolean satisfiability-based incremental rerouting approach with application to FPGAs (GJN, KAS, RAR), pp. 560–565.
ICDAR-2001-Anjewierden #documentation #incremental #logic #named: AIDAS: Incremental Logical Structure Discovery in PDF Documents (AA), pp. 374–378.
ICDAR-2001-WengH #classification #image #incremental #online: Incremental Hierarchical Discriminant Regression for Online Image Classification (JW, WSH), pp. 476–480.
VLDB-2001-NatsevCSLV #incremental #query: Supporting Incremental Join Queries on Ranked Inputs (AN, YCC, JRS, CSL, JSV), pp. 281–290.
FASE-J-1998-Scholz01 #design #incremental #specification #statechart: Incremental design of statechart specifications (PS), pp. 119–145.
TACAS-2001-LakhnechBBO #abstraction #incremental #verification: Incremental Verification by Abstraction (YL, SB, SB, SO), pp. 98–112.
ICSM-2001-KrishnaCKCWBR #empirical #impact analysis #incremental #maintenance #spreadsheet #validation: Incorporating Incremental Validation and Impact Analysis into Spreadsheet Maintenance: An Empirical Study (VBK, CRC, DK, JC, CSW, MMB, GR), pp. 72–81.
ICSM-2001-OrsoSH #incremental #slicing: Incremental Slicing Based on Data-Dependences Types (AO, SS, MJH), p. 158–?.
ICSM-2001-SouterP #graph #incremental #maintenance #object-oriented: Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance (ALS, LLP), pp. 682–691.
IWPC-2001-BrilP #architecture #incremental #legacy #metric #scalability: An Architectural Connectivity Metric and Its Support for Incremental Re-Architecting of Large Legacy Systems (RJB, AP), pp. 269–280.
PLDI-2001-VivienR #analysis #pointer: Incrementalized Pointer and Escape Analysis (FV, MCR), pp. 35–46.
FLOPS-2001-Ferri-RamirezHR #functional #incremental #learning #logic programming #source code: Incremental Learning of Functional Logic Programs (CF, JHO, MJRQ), pp. 233–247.
CIKM-2001-LeeLC #algorithm #incremental #mining #performance: Sliding-Window Filtering: An Efficient Algorithm for Incremental Mining (CHL, CRL, MSC), pp. 263–270.
CIKM-2001-LeeSK #incremental #maintenance #performance: Efficient Incremental View Maintenance in Data Warehouses (KYL, JHS, MHK), pp. 349–357.
ICML-2001-SchefferW #incremental #information management #problem: Incremental Maximization of Non-Instance-Averaging Utility Functions with Applications to Knowledge Discovery Problems (TS, SW), pp. 481–488.
OOPSLA-2001-Nakamura #incremental #query: Incremental Computation of Complex Objects Queries (HN), pp. 156–165.
TOOLS-USA-2001-SoundarajanT #incremental #object-oriented #testing: Specification-Based Incremental Testing of Object Oriented Systems (NS, BT), pp. 35–45.
ICSE-2001-FeilerW #adaptation #feedback #incremental #scheduling: Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks (PHF, JJW), pp. 318–326.
ICSE-2001-RedondoA #incremental #process #reuse #specification: Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process (RPDR, JJPA), pp. 801–802.
IJCAR-2001-Giese #incremental: Incremental Closure of Free Variable Tableaux (MG), pp. 545–560.
IJCAR-2001-Urbain #automation #incremental #proving #term rewriting #termination: Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems (XU), pp. 485–498.
DAC-2000-CongH #array #incremental #programmable: Depth optimal incremental mapping for field programmable gate arrays (JC, HH), pp. 290–293.
DATE-2000-KimWSS #fault #incremental #on the #satisfiability #testing: On Applying Incremental Satisfiability to Delay Fault Testing (JK, JW, KAS, JPMS), pp. 380–384.
DATE-2000-NiemegeersJ #embedded #incremental #realtime #specification: An Incremental Specification Flow for Real Time Embedded Systems (AN, GGdJ), p. 761.
SIGMOD-2000-SalemBCL #how #incremental #maintenance: How To Roll a Join: Asynchronous Incremental View Maintenance (KS, KSB, RC, BGL), pp. 129–140.
VLDB-2000-ChoG #crawling #evolution #incremental #web: The Evolution of the Web and Implications for an Incremental Crawler (JC, HGM), pp. 200–209.
VLDB-2000-LabioYCGW #incremental #maintenance #performance: Performance Issues in Incremental Warehouse Maintenance (WL, JY, YC, HGM, JW), pp. 461–472.
ICML-2000-LiRD #algorithm #incremental #maintenance: The Space of Jumping Emerging Patterns and Its Incremental Maintenance Algorithms (JL, KR, GD), pp. 551–558.
ICML-2000-SegalK #incremental #learning: Incremental Learning in SwiftFile (RS, JOK), pp. 863–870.
ICML-2000-Talavera #concept #feature model #incremental #learning #probability: Feature Selection and Incremental Learning of Probabilistic Concept Hierarchies (LT), pp. 951–958.
ICML-2000-VijayakumarS #incremental #learning #realtime: Locally Weighted Projection Regression: Incremental Real Time Learning in High Dimensional Space (SV, SS), pp. 1079–1086.
ICPR-v1-2000-SappaG00a #image #incremental #integration #multi: Incremental Multiview Integration of Range Images (ADS, MAG), pp. 1546–1549.
ICPR-v2-2000-FredL #clustering #difference: Clustering Under a Hypothesis of Smooth Dissimilarity Increments (ALNF, JMNL), pp. 2190–2194.
ICPR-v2-2000-LohRW #incremental #learning #named #network: IFOSART: A Noise Resistant Neural Network Capable of Incremental Learning (AWKL, MCR, GAWW), pp. 2985–2988.
ICPR-v2-2000-MitraMP #database #incremental #learning #scalability: Data Condensation in Large Databases by Incremental Learning with Support Vector Machines (PM, CAM, SKP), pp. 2708–2711.
ICPR-v2-2000-MugurelVW #incremental #learning #multi #on the #recognition: On the Incremental Learning and Recognition of the Pattern of Movement of Multiple Labeled Objects in Dynamic Scenes (ML, SV, GAWW), pp. 2652–2655.
ICPR-v4-2000-UkitaM #incremental #modelling: Incremental Observable-Area Modeling for Cooperative Tracking (NU, TM), pp. 4192–4196.
KDD-2000-ChenLP #estimation #incremental: Incremental quantile estimation for massive tracking (FC, DL, JCP), pp. 516–522.
SIGIR-2000-Iwayama #clustering #documentation #feedback #incremental: Relevance reedback with a small number of relevance judgements: incremental relevance feedback vs. document clustering (MI), pp. 10–16.
SIGIR-2000-OhML #categorisation #hypermedia #incremental #using: A practical hypertext categorization method using links and incrementally available class information (HJO, SHM, MHL), pp. 264–271.
ICSE-2000-EmmerichMF #implementation #incremental #migration #xml: Implementing incremental code migration with XML (WE, CM, AF), pp. 397–406.
ICSE-2000-KeidarKLS #incremental #proving #simulation: An inheritance-based technique for building simulation proofs incrementally (IK, RK, NAL, AAS), pp. 478–487.
CC-2000-SaraivaSK #evaluation #functional #incremental: Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.
CAV-2000-RusinowitchSK #consistency #incremental #verification: Mechanical Verification of an Ideal Incremental ABR Conformance (MR, SS, FK), pp. 344–357.
TestCom-2000-SchieferdeckerLR #incremental #testing: Incremental Testing at System Reference Points (IS, ML, AR), pp. 75–90.
ASE-1999-Saidi #analysis #composition #concurrent #incremental: Modular and Incremental Analysis of Concurrent Software Systems (HS), pp. 92–101.
HT-1999-ReinertBPN #collaboration #component #incremental #named #parsing: CAOS: A Collaborative and Open Spatial Structure Service Component with Incremental Spatial Parsing (OR, DBL, CAP, PJN), pp. 49–50.
ICDAR-1999-HebertPG #detection #incremental #learning #using: Cursive Character Detection using Incremental Learning (JFH, MP, NG), pp. 808–811.
ESOP-1999-LiuS #programming: Dynamic Programming via Static Incrementalization (YAL, SDS), pp. 288–305.
WCRE-1999-Koschke #automation #component #incremental: An Incremental Semi-Automatic Method for Component Recovery (RK), p. 256–?.
PLDI-1999-MarletCB #for free #incremental #performance #runtime: Efficient Incremental Run-Time Specialization for Free (RM, CC, PB), pp. 281–292.
FM-v2-1999-MarchandS #design #incremental #synthesis #using: Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology (HM, MS), pp. 1605–1624.
HCI-CCAD-1999-GrassHA #incremental #multi #quote: “Search manager”: a dynamic and incremental tool for searching complex objects in multihierarchical structures (MG, PH, UA), pp. 80–84.
AdaEurope-1999-RogersW #fault tolerance #incremental: An Incremental RecoveryCache Supporting Sotware Fault Tolerance (PR, AJW), pp. 385–396.
CIKM-1999-BommelB #encoding #incremental #inheritance #multi: Incremental Encoding of Multiple Inheritance Hierarchies (MFvB, TJB), pp. 507–513.
CIKM-1999-ParthasarathyZOD #incremental #interactive #mining #sequence: Incremental and Interactive Sequence Mining (SP, MJZ, MO, SD), pp. 251–258.
KDD-1999-SyedLS99a #concept #incremental #learning: Handling Concept Drifts in Incremental Learning with Support Vector Machines (NAS, HL, KKS), pp. 317–321.
SIGIR-1999-Eguchi #adaptation #clustering #incremental #query #using: Adaptive Cluster-Based Browsing Using Incrementally Expanded Queries and its Effects (poster abstract) (KE), pp. 265–266.
ICSE-1999-YurRL #alias #analysis #incremental #pointer: An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis (JSY, BGR, WL), pp. 442–451.
DAC-1998-PandaDENB #design #incremental #migration #named: Migration: A New Technique to Improve Synthesized Designs Through Incremental Customization (RP, AD, TE, JN, DB), pp. 388–391.
DAC-1998-PardoH #incremental #model checking #using: Incremental CTL Model Checking Using BDD Subsetting (AP, GDH), pp. 457–462.
DATE-1998-RibasC #equivalence #incremental #on the #reuse #simulation #verification: On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits (LR, JC), pp. 624–629.
HT-1998-ZellwegerCM #incremental: Fluid Links for Informed and Incremental Link Transitions (PZ, BWC, JDM), pp. 50–57.
SIGMOD-1998-HjaltasonS #algorithm #database #distance #incremental: Incremental Distance Join Algorithms for Spatial Databases (GRH, HS), pp. 237–248.
VLDB-1998-AbiteboulMRVW #incremental #maintenance #semistructured data: Incremental Maintenance for Materialized Views over Semistructured Data (SA, JM, MR, VV, JLW), pp. 38–49.
VLDB-1998-EsterKSWX #clustering #incremental #mining: Incremental Clustering for Mining in a Data Warehousing Environment (ME, HPK, JS, MW, XX), pp. 323–333.
WCRE-1998-CimitileCL #analysis #data flow #incremental #migration: Incremental Migration Strategies: Data Flow Analysis For Wrapping (AC, UdC, ADL), pp. 59–68.
WIA-1998-Watson #algorithm #performance: A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs (BWW), pp. 121–132.
ICFP-1998-ZhangL #automation #incremental #source code: Automating Derivation of Incremental Programs (YZ, YAL), p. 350.
TAGT-1998-PadbergGH #development #incremental #petri net #safety: Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.
CHI-1998-DobsonR #development #education #incremental #interface #tool support: Tools for Incremental Development of Educational Software Interfaces (WD, CR), pp. 384–391.
SIGAda-1998-HendrixCBM #abstraction #ada #incremental #refinement #visual notation: Visual Support for Incremental Abstraction and Refinement in Ada 95 (TDH, JHCI, LAB, KSM), pp. 152–157.
CIKM-1998-LeeLS #html #incremental #library #maintenance: Incremental Maintenance for Dynamic Database-Derived HTML Pages in Digital Libraries (KCKL, HVL, AS), pp. 20–29.
CIKM-1998-SchmittT #approach #incremental #integration: An Incremental Approach to Schema Integration by Refining Extensional Relationships (IS, CT), pp. 322–330.
CIKM-1998-Tang #incremental #performance #using: Using Incremental Pruning to Increase the Efficiency of Dynamic Itemset Counting for Association Rules (JT), pp. 273–280.
ALP-PLILP-1998-Refalo #detection #incremental: Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method (PR), pp. 481–496.
SAC-1998-LeeSL #incremental #mobile: Incremental view update for a mobile data warehouse (KCKL, AS, HVL), pp. 394–399.
SAC-1998-NezuL #incremental #network: Incremental construction of torus networks (NN, HL), pp. 80–84.
FSE-1998-Karasick #architecture #c++ #incremental #programming: The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++ (MK), pp. 131–142.
ICSE-1998-MotoyoshiO #development #incremental #object-oriented: An Incremental Project Plan: Introducing Cleanroom Method and Object-Oriented Development Method (YM, SO), pp. 430–433.
CC-1998-KuiperS #generative #incremental #named #tool support: Lrc — A Generator for Incremental Language-Oriented Tools (MFK, JS), pp. 298–301.
ISMM-1998-LaroseF #compilation #incremental #performance #quality: A Compacting Incremental Collector and its Performance in a Production Quality Compiler (ML, MF), pp. 1–9.
ISMM-1998-Pirinen #incremental: Barrier Techniques for Incremental Tracing (PPP), pp. 20–25.
ISMM-1998-Siebert #garbage collection #incremental #realtime: Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector (FS), pp. 130–137.
CAV-1998-SkakkebaekJD #execution #incremental #using #verification: Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
IWTCS-1998-BourhfirDAR #consistency #generative #incremental #protocol #testing: A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols (CB, RD, EMA, NR), pp. 275–290.
ICDAR-1997-ONeil #approach #categorisation #incremental #representation #retrieval: An Incremental Approach to Text Representation, Categorization, and Retrieval (PO), pp. 714–717.
VLDB-1997-GibbonsMP #approximate #incremental #maintenance #performance: Fast Incremental Maintenance of Approximate Histograms (PBG, YM, VP), pp. 466–475.
VLDB-1997-JagadishNSSK #incremental: Incremental Organization for Data Recording and Warehousing (HVJ, PPSN, SS, SS, RK), pp. 16–25.
TACAS-1997-Kleuker #communication #concurrent #development #incremental: Incremental Development of Deadlock-Free Communicating Systems (SK), pp. 306–320.
CSMR-1997-Rajlich #documentation #hypermedia #incremental: Incremental Redocumentation with Hypertext (VR), pp. 68–73.
PLDI-1997-WagnerG #analysis #incremental #programming language: Incremental Analysis of real Programming Languages (TAW, SLG), pp. 31–43.
STOC-1997-CharikarCFM #clustering #incremental #information management #information retrieval: Incremental Clustering and Dynamic Information Retrieval (MC, CC, TF, RM), pp. 626–635.
HCI-CC-1997-SavidisSE #design #incremental #interface #physics #polymorphism: Abstract Task Definition and Incremental Polymorphic Physical Instantiation: The Unified Interface Design Method (AS, CS, PLE), pp. 465–468.
KDD-1997-ThomasBAR #algorithm #database #incremental #performance #scalability: An Efficient Algorithm for the Incremental Updation of Association Rules in Large Databases (ST, SB, KA, SR), pp. 263–266.
TOOLS-USA-1997-HolstS #incremental #object-oriented: Incremental Table-Based Method Dispatch for Reflective Object-Oriented Languages (WH, DS), p. 63–?.
LOPSTR-1997-SemeraroEMFF #datalog #framework #incremental #induction #logic #synthesis: A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories (GS, FE, DM, NF, SF), pp. 300–321.
ESEC-FSE-1997-KarlssonT #development #incremental: Incremental Development for AXE 10 (EAK, LT), pp. 519–520.
ICSE-1997-YurRLS #analysis #c #incremental: Incremental Analysis of Side Effects for C Software System (JSY, BGR, WL, PS), pp. 422–432.
VLDB-1996-StaudtJ #incremental #maintenance: Incremental Maintenance of Externally Materialized Views (MS, MJ), pp. 75–86.
PLDI-1996-SreedharGL #analysis #data flow #framework #graph #incremental #using: A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs (VCS, GRG, YFL), pp. 278–290.
SAS-1996-KellyMSS #analysis #constraints #incremental #logic programming #source code: Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (ADK, KM, HS, PJS), pp. 385–386.
SAS-1996-PueblaH #algorithm #analysis #incremental #logic programming #source code: Optimized Algorithms for Incremental Analysis of Logic Programs (GP, MVH), pp. 270–284.
FME-1996-KleukerT #development #distributed #incremental #specification: The Incremental Development of Correct Specifications for Distributed Systems (SK, HT), pp. 479–498.
ICFP-1996-LeeF #formal method #incremental #towards #λ-calculus: Enriching the λ Calculus with Contexts: Toward a Theory of Incremental Program Construction (SDL, DPF), pp. 239–250.
ICML-1996-Widmer #incremental #recognition: Recognition and Exploitation of Contextual CLues via Incremental Meta-Learning (GW), pp. 525–533.
ICPR-1996-StockerRLE #classification #distributed #incremental: Incremental distributed classifier building (ES, AR, YL, AE), pp. 128–132.
ICPR-1996-WengC #incremental #learning #navigation: Incremental learning for vision-based navigation (JW, SC), pp. 45–49.
SIGIR-1996-Allan #feedback #incremental #information management: Incremental Relevance Feedback for Information Filtering (JA), pp. 270–278.
POPL-1996-LiuST #incremental: Discovering Auxiliary Information for Incremental Computation (YAL, SDS, TT), pp. 157–170.
SAC-1996-LeeL #concurrent #constraints #incremental #query: Incremental querying in the concurrent CLP language IFD-Constraint Pandora (JHML, HfL), pp. 387–392.
CC-1996-ChoiSS #incremental: Incremental Computation of Static Single Assignment Form (JDC, VS, ES), pp. 223–237.
ISSTA-1996-KoppolT #approach #concurrent #incremental #testing: An Incremental Approach to Structural Testing of Concurrent Software (PVK, KCT), pp. 14–23.
DAC-1995-LeeT #algorithm #analysis #incremental: An Algorithm for Incremental Timing Analysis (JfL, DTT), pp. 696–701.
KBSE-1995-Liu #incremental #interactive #named #program transformation #source code: CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs (YAL), pp. 19–26.
ICDAR-v2-1995-AudouinS #incremental #recognition: Incremental character recognition with feature attribution (RA, LS), pp. 837–840.
SIGMOD-1995-GriffinL #incremental #maintenance: Incremental Maintenance of Views with Duplicates (TG, LL), pp. 328–339.
VLDB-1995-AmsalegFG #database #garbage collection #incremental #performance: Efficient Incremental Garbage Collection for Client-Server Object Database Systems (LA, MJF, OG), pp. 42–53.
STOC-1995-BellareGG #encryption #incremental: Incremental cryptography and application to virus protection (MB, OG, SG), pp. 45–56.
STOC-1995-DinitzN #graph #incremental #maintenance: A 2-level cactus model for the system of minimum and minimum+1 edge-cuts in a graph and its incremental maintenance (YD, ZN), pp. 509–518.
ICML-1995-BlackmoreM #grid #incremental #network #visualisation: Visualizing High-Dimensional Structure with the Incremental Grid Growing Neural Network (JB, RM), pp. 55–63.
ICML-1995-Wang #approach #incremental #learning: Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition (XW), pp. 549–557.
ECOOP-1995-SeligmannG #algorithm #garbage collection #incremental #maturity #using: Incremental Mature Garbage Collection Using the Train Algorithm (JS, SG), pp. 235–252.
SAC-1995-Tschichold-Gurman #classification #fuzzy #generative #incremental #learning #using: Generation and improvement of fuzzy classifiers with incremental learning using fuzzy RuleNet (NNTG), pp. 466–470.
ESEC-1995-HsiaHKY #incremental #maintenance: The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study (PH, CTH, DCK, ATY), pp. 405–422.
ESEC-1995-WagnerG #analysis #incremental: Integrating Incremental Analysis with Version Management (TAW, SLG), pp. 205–218.
FSE-1995-FiadeiroM #composition #reuse: Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality (JLF, TSEM), pp. 72–80.
ASF+SDF-1995-FerroP #incremental #prototype: Friendly Incremental Prototyping (MVF, MAAP), pp. 127–142.
SOSP-1995-PuABCCIKWZ #incremental #operating system: Optimistic Incremental Specialization: Streamlining a Commercial Operating System (CP, TA, APB, CC, CC, JI, LK, JW, KZ), pp. 314–324.
ICLP-1995-HermenegildoPMS #analysis #incremental #logic programming #source code: Incremental Analysis of Logic Programs (MVH, GP, KM, PJS), pp. 797–811.
ICLP-1995-KrallB #automaton #compilation #incremental #prolog: Incremental Global Compilation of Prolog with the Vienna Abstract Machine (AK, TB), pp. 333–347.
DAC-1994-PrasadAB #design #incremental #synthesis: A System for Incremental Synthesis to Gate-Level and Reoptimization Following RTL Design Changes (SCP, PA, PWB), pp. 441–446.
KBSE-1994-Hall #incremental #rule-based #validation: Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
SIGMOD-1994-TomasicGS #documentation #incremental #retrieval: Incremental Updates of Inverted Lists for Text Document Retrieval (AT, HGM, KAS), pp. 289–300.
VLDB-1994-BrownCC #incremental #information retrieval #performance: Fast Incremental Indexing for Full-Text Information Retrieval (EWB, JPC, WBC), pp. 192–202.
ICSM-1994-HeinemanK #incremental #process #re-engineering: Incremental Process Support for Code Reengineering (GTH, GEK), pp. 282–290.
PLDI-1994-NetzerW #debugging #incremental #source code: Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.
STOC-1994-BergDS #incremental #lazy evaluation #on the #random: On lazy randomized incremental construction (MdB, KD, OS), pp. 105–114.
STOC-1994-DinitzV #graph #incremental #maintenance #set: The connectivity carcass of a vertex subset in a graph and its incremental maintenance (YD, AV), pp. 716–725.
STOC-1994-Poutre #incremental #testing: Alpha-algorithms for incremental planarity testing (preliminary version) (JALP), pp. 706–715.
CHI-1994-FischerMORS94a #design #development #incremental: Seeding, evolutionary growth and reseeding: supporting the incremental development of design environments (GF, RM, JLO, BR, FMSI), pp. 292–298.
CHI-1994-ShipmanM94a #evolution #formal method #incremental #knowledge base: Supporting knowledge-base evolution with incremental formalization (FMSI, RM), pp. 285–291.
TRI-Ada-1994-Kortright #approach #component #development #incremental #reuse: An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components (LMLK), pp. 486–493.
CIKM-1994-KouramajianKEW #database #incremental: The Time Index+: An Incremental Access Structure for Temporal Databases (VK, IK, RE, SW), pp. 296–303.
ICML-1994-FurnkranzW #fault #incremental: Incremental Reduced Error Pruning (JF, GW), pp. 70–77.
ICML-1994-GervasioD #approach #incremental #learning: An Incremental Learning Approach for Completable Planning (MTG, GD), pp. 78–86.
ICML-1994-Gil #incremental #learning #refinement: Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.
ICML-1994-PengW #incremental #multi: Incremental Multi-Step Q-Learning (JP, RJW), pp. 226–232.
ICML-1994-Utgoff #algorithm #incremental #induction: An Improved Algorithm for Incremental Induction of Decision Trees (PEU), pp. 318–325.
SIGIR-1994-ShoensTG #analysis #incremental #performance: Synthetic Workload Performance Analysis of Incremental Updates (KAS, AT, HGM), pp. 329–338.
POPL-1994-RamalingamR #algorithm #incremental #maintenance: An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph (GR, TWR), pp. 287–296.
SAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #nondeterminism #query #towards: IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.
CAV-1994-SokolskyS #calculus #incremental #model checking #μ-calculus: Incremental Model Checking in the Modal μ-Calculus (OS, SAS), pp. 351–363.
ILPS-1994-PodelskiR #algorithm #incremental #testing: The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees (AP, PVR), pp. 359–374.
ILPS-1994-RamakrishnanRSS #evaluation #incremental #performance #query: Efficient Incremental Evaluation of Queries with Aggregation (RR, KAR, DS, SS), pp. 204–218.
DAC-1993-VisweswariahW #incremental #simulation: Incremental Event-Driven Simulation of Digital FET Circuits (CV, JAW), pp. 737–741.
ICDAR-1993-KiseYBF #documentation #incremental #layout: Incremental acquisition of knowledge about layout structures from examples of documents (KK, NY, NB, KF), pp. 668–671.
SIGMOD-1993-GuptaMS #incremental #maintenance: Maintaining Views Incrementally (AG, ISM, VSS), pp. 157–166.
SIGMOD-1993-KolodnerW #garbage collection #incremental #scalability: Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap (EKK, WEW), pp. 177–186.
SIGMOD-1993-Zdonik #database #incremental: Incremental Database Systems: Databases from Ground Up (SBZ), pp. 408–412.
VLDB-1993-FabretRS #adaptation #algorithm #database #evaluation #incremental: An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases (FF, MR, ES), pp. 455–466.
CSM-1993-AgrawalHKL #incremental #testing: Incremental Regression Testing (HA, JRH, EWK, SL), pp. 348–357.
PEPM-1993-ConselPW #composition #incremental #operating system #partial evaluation #performance: Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.
INTERCHI-1993-Zhao #diagrams #editing #gesture #incremental #recognition: Incremental recognition in gesture-based and syntax-directed diagram editors (RZ), pp. 95–100.
CIKM-1993-AzarbodP #concept #incremental #integration #using: Building Concept Hierarchies for Schema Integration in HDDBS Using Incremental Concept Formation (CA, WP), pp. 732–734.
LOPSTR-1993-Johansson #incremental #interactive #using: Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies (ALJ), pp. 100–112.
POPL-1993-BatesH #dependence #graph #incremental #testing #using: Incremental Program Testing Using Program Dependence Graphs (SB, SH), pp. 384–396.
POPL-1993-RamalingamR #bibliography #incremental: A Categorized Bibliography on Incremental Computation (GR, TWR), pp. 502–510.
RE-1993-Lefering #in the large #incremental #integration #programming #requirements: An incremental integration tool between requirements engineering and programming in the large (ML), pp. 82–89.
SAC-1993-GrahamI #incremental #linear: Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.
SAC-1993-HyslopL #diagrams #fault #incremental: Error Free Incremental Construction of Voronoi Diagrams in the Plane (GAH, EAL), pp. 388–396.
ICLP-1993-Contejean #constraints #incremental #linear: Solving Linear Diophantine Constraints Incrementally (EC), pp. 532–549.
ILPS-1993-AlpuenteFV #analysis #constraints #equation #incremental: Incremental Equational Constraint Analyses (MA, MF, GV), p. 657.
RTA-1993-Field #approach #graph #incremental #reduction #term rewriting: A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report) (JF), pp. 259–273.
DAC-1992-CoudertM #incremental: Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions (OC, JCM), pp. 36–39.
DAC-1992-Jones #incremental: Zero Delay versus Positive Delay in an Incremental Switch-Level Simulator (LGJ), pp. 424–427.
DAC-1992-JuS #incremental #simulation #using: Incremental Circuit Simulation Using Waveform Relaxation (YCJ, RAS), pp. 8–11.
KBSE-1992-Johnson #evolution #incremental #requirements #specification: Acquisition of Requirements and Incremental Evolution into Specifications (Demonstration) (WLJ), p. 11.
ESOP-1992-Chuang #array #incremental #performance #persistent: Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads (TRC), pp. 110–129.
ESOP-1992-Goldberg #garbage collection #incremental: Incremental Garbage Collection Without Tags (BG), pp. 200–218.
PLDI-1992-Hoover #abstraction #incremental #named #programming: Alphonse: Incremental Computation as a Programming Abstraction (RH), pp. 261–272.
ICALP-1992-Westbrook #incremental #performance #testing: Fast Incremental Planarity Testing (JW), pp. 342–353.
SEKE-1992-LoiaCQ #framework #implementation #incremental #prolog: Incremental, High Level Implementation of Prolog in an Open System Framework (VL, GC, MQ), pp. 394–403.
SEKE-1992-Wong #incremental #library #using: Using Version Spaces to Support Incremental Searches in a Software Library (YCW), pp. 412–419.
SIGIR-1992-Aalbersberg #feedback #incremental: Incremental Relevance Feedback (IJA), pp. 11–22.
SIGIR-1992-Hess #documentation #incremental #logic #retrieval: An Incrementally Extensible Document Retrieval System Based on Linguistic and Logical Principles (MH), pp. 190–197.
ECOOP-1992-Casais #approach #incremental: An Incremental Class Reorganization Approach (EC), pp. 114–132.
OOPSLA-1992-AndreR #incremental #optimisation: Optimizing Method Search with Lookup Caches and Incremental Coloring (PA, JCR), pp. 110–126.
TOOLS-USA-1992-Matthews #development #incremental #prototype: Incremental Development (Prototyping) (PM), pp. 237–243.
ALP-1992-Hanus #incremental: Incremental Rewriting in Narrowing Derivations (MH), pp. 228–243.
LOPSTR-1992-ProiettiP #incremental #logic programming #source code: Best-first Strategies for Incremental Transformations of Logic Programs (MP, AP), pp. 82–98.
PLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism: Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.
PLILP-1992-AttaliCG #evaluation #incremental #semantics #specification: Incremental Evaluation of Natural Semantics Specification (IA, JC, SG), pp. 87–99.
PLILP-1992-PenningsSV #evaluation #incremental #using: Using Cached Functions and Constructors for Incremental Attribute Evaluation (MP, SDS, HV), pp. 130–144.
ICSE-1992-HarroldMF #incremental #object-oriented #testing: Incremental Testing of Object-Oriented Class Structures (MJH, JDM, KJF), pp. 68–80.
IWMM-1992-HudsonM #incremental #maturity: Incremental Collection of Mature Objects (RLH, JEBM), pp. 388–403.
IWMM-1992-NettlesOP #incremental: Replication-Based Incremental Copying Collection (SN, JO, DP), pp. 357–364.
IWMM-1992-SergentB #architecture #concurrent #garbage collection #incremental #memory management #multi #thread: Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures (TLS, BB), pp. 179–199.
CADE-1992-Jackson #incremental: Computing Prime Implicates Incrementally (PJ), pp. 253–267.
JICSLP-1992-OlderR #garbage collection #incremental #prolog: An Incremental Garbage Collector for WAM-Based Prolog (WJO, JAR), pp. 369–383.
DAC-1991-JuS #identification #incremental: Incremental Techniques for the Identification of Statically Sensitizable Critical Paths (YCJ, RAS), pp. 541–546.
DAC-1991-NicolauP #incremental #reduction #synthesis: Incremental Tree Height Reduction for High Level Synthesis (AN, RP), pp. 770–774.
SIGMOD-1991-WolfsonDSY #evaluation #incremental #parallel: Incremental Evaluation of Rules and its Relationship to Parallelism (OW, HMD, SJS, YY), pp. 78–87.
PEPM-1991-Sundaresh #incremental #partial evaluation #source code #using: Building Incremental Programs using Partial Evaluation (RSS), pp. 83–93.
FPCA-1991-AdityaN #incremental #morphism #polymorphism: Incremental Polymorphism (SA, RSN), pp. 379–405.
KDD-1991-HongM #clustering #incremental #parallel: Incremental Discovery of Rules and Structure by Hierarchical and Parallel Clustering (JH, CM), pp. 177–194.
ML-1991-Aha #approach #incremental #induction: Incremental Constructive Induction: An Instance-Based Approach (DWA), pp. 117–121.
ML-1991-FeldmanSK #approximate #incremental #refinement: Incremental Refinement of Approximate Domain Theories (RF, AMS, MK), pp. 500–504.
ML-1991-Goel #formal method #incremental #learning: Model Revision: A Theory of Incremental Model Learning (AKG), pp. 605–609.
ML-1991-GokerM #incremental #information retrieval #learning: Incremental Learning in a Probalistic Information Retrieval System (AG, TLM), pp. 255–259.
ML-1991-Ring #behaviour #development #incremental: Incremental Development of Complex Behaviors (MBR), pp. 343–347.
ML-1991-Sutton #incremental #programming: Planning by Incremental Dynamic Programming (RSS), pp. 353–357.
SIGIR-1991-Lelu #algorithm #automation #generative #hypermedia #incremental #information retrieval #probability: Automatic Generation of Hypertext Links in Information Retrieval Systems: A Stochastic and an Incremental Algorithm (AL), pp. 326–335.
ECOOP-1991-BergsteinL #incremental #learning #optimisation #taxonomy: Incremental Class Dictionary Learning and Optimization (PLB, KJL), pp. 377–396.
PLILP-1991-AlpuenteF #algorithm #constraints #incremental: Narrowing as an Incremental Constraint Satisfaction Algorithm (MA, MF), pp. 111–122.
PLILP-1991-VogtSK #attribute grammar #evaluation #higher-order #incremental #performance: Efficient Incremental Evaluation of Higher order Attribute Grammars (HV, SDS, MFK), pp. 231–242.
POPL-1991-SundareshH #compilation #incremental #partial evaluation: Incremental Compilation via Partial Evaluation (RSS, PH), pp. 1–13.
ASPLOS-1991-FreudenthalG #coordination #process: Process Coordination with Fetch-and-Increment (EF, AG), pp. 260–268.
ICLP-1991-BallanceG #consistency #incremental #interactive #maintenance: Incremental Consistency Maintenance for Interactive Applications (RAB, SLG), pp. 895–909.
IWPTS-1991-DubucDB #design #finite #incremental #modelling #named #testing: TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models (MD, RD, GvB), pp. 195–206.
RTA-1991-DrewesL #incremental #proving #termination: Incremental Termination Proofs and the Length of Derivations (FD, CL), pp. 49–61.
RTA-1991-RameshR #incremental #normalisation #performance #term rewriting: Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems (RR, IVR), pp. 335–347.
VLDB-1990-CareySLLM #incremental: An Incremental Join Attachment for Starburst (MJC, EJS, GL, BGL, JM), pp. 662–673.
ESOP-1990-Gribomont #concurrent #development #incremental: Development of Concurrent Systems by Incremental Transformations (EPG), pp. 161–176.
ICALP-1990-GuibasKS #diagrams #incremental #random: Randomized Incremental Construction of Delaunay and Voronoi Diagrams (LJG, DEK, MS), pp. 414–431.
LFP-1990-FieldT #incremental #reduction #λ-calculus: Incremental Reduction in the λ Calculus (JF, TT), pp. 307–322.
GG-1990-Schurr #incremental: Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENvironment (AS), p. 66.
ML-1990-Hish #incremental: Incremental Version-Space Merging (HH), pp. 330–338.
ML-1990-Ram #incremental #learning: Incremental Learning of Explanation Patterns and Their Indices (AR), pp. 313–320.
ML-1990-SchoenauerS #incremental #learning: Incremental Learning of Rules and Meta-rules (MS, MS), pp. 49–57.
ML-1990-UtgoffB #incremental #multi: An Incremental Method for Finding Multivariate Splits for Decision Trees (PEU, CEB), pp. 58–65.
ML-1990-Velde #incremental #induction: Incremental Induction of Topologically Minimal Trees (WVdV), pp. 66–74.
POPL-1990-MarloweR #algorithm #analysis #data flow #hybrid #incremental #performance: An Efficient Hybrid Algorithm for Incremental Data Flow Analysis (TJM, BGR), pp. 184–196.
ICSE-1990-GiavittoRDM #design #framework #incremental: Design Decisions for the Incremental Adage Framework (JLG, GR, AD, AM), pp. 86–95.
ICSE-1990-Royce #ada #development #incremental #process #scalability: TRW’s Ada Process Model for Incremental Development of Large Software Systems (WR), pp. 2–11.
WAGA-1990-Alblas #concurrent #evaluation #incremental: Concurrent Incremental Attribute Evaluation (HA), pp. 343–358.
WAGA-1990-FengKT #evaluation #incremental #multi: Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments (AF, TK, KT), pp. 192–206.
WAGA-1990-Vorthmann #coordination #evaluation #incremental #thread: Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree (SAV), pp. 207–221.
CC-1990-Larcheveque #compilation #incremental #lalr #parsing #using: Using an LALR Compiler Compiler to Generate Incremental Parsers (JML), pp. 147–164.
CLP-1990-Hentenryck90 #constraints #incremental #logic programming: Incremental Constraint Satisfaction in Logic Programming (PVH), pp. 189–202.
CLP-1990-ShmueliT90 #incremental #query: Incremental Re-evaluation of LDL Queries (OS, ST), pp. 99–111.
DAC-1989-SalzH #incremental #named: IRSIM: An Incremental MOS Switch-Level Simulator (AS, MH), pp. 173–178.
PLDI-1989-HeeringKR #generative #incremental #parsing: Incremental Generation of Parsers (JH, PK, JR), pp. 179–191.
ML-1989-Aha #concept #incremental #independence #learning: Incremental, Instance-Based Learning of Independent and Graded Concept Descriptions (DWA), pp. 387–391.
ML-1989-ClearwaterCHB #incremental #learning: Incremental Batch Learning (SHC, TPC, HH, BGB), pp. 366–370.
ML-1989-Cornuejols #incremental #learning: An Exploration Into Incremental Learning: the INFLUENCE System (AC), pp. 383–386.
ML-1989-Fogarty #algorithm #incremental #learning #realtime #search-based: An Incremental Genetic Algorithm for Real-Time Learning (TCF), pp. 416–419.
ML-1989-Grefenstette #algorithm #incremental #learning #search-based: Incremental Learning of Control Strategies with Genetic algorithms (JJG), pp. 340–344.
ML-1989-Segen #clustering #incremental #representation: Incremental Clustering by Minimizing Representation Length (JS), pp. 400–403.
ML-1989-ThompsonL #concept #incremental: Incremental Concept Formation with Composite Objects (KT, PL), pp. 371–374.
ML-1989-Utgoff #incremental #learning: Improved Training Via Incremental Learning (PEU), pp. 362–365.
OOPSLA-1989-Schelvis #approach #distributed #garbage collection #incremental: Incremental Distribution of Timestamp Packets: A New Approach to Distributed Garbage Collection (MS), pp. 37–48.
POPL-1989-PughT #incremental: Incremental Computation via Function Caching (WP, TT), pp. 315–328.
ICSE-1989-CarleP #composition #incremental #program transformation #specification: Modular Specification of Incremental Program Transformation Systems (AC, LLP), pp. 178–187.
DAC-1988-BeattyB #analysis #incremental #performance #using: Fast Incremental Circuit Analysis Using Extracted Hierarchy (DLB, REB), pp. 495–500.
DAC-1988-ChoiHB #algorithm #simulation: Incremental-in-time Algorithm for Digital Simulation (KC, SYH, TB), pp. 501–505.
DAC-1988-Schiele #constraints #incremental: Compaction with Incremental Over-Constraint Resolution (WLS), pp. 390–395.
PLDI-1988-BallanceBG #abstraction #analysis #editing #incremental #syntax: Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor (RAB, JB, SLG), pp. 185–198.
PLDI-1988-WalzJ #attribute grammar #evaluation #incremental: Incremental Evaluation for a General Class of Circular Attribute Grammars (JAW, GFJ), pp. 209–221.
PLDI-1988-YellinS #incremental #named: INC: A Language for Incremental Computations (DMY, RES), pp. 115–124.
ML-1988-Gross #concept #incremental #learning #multi #using: Incremental Multiple Concept Learning Using Experiments (KPG), pp. 65–72.
ML-1988-IbaWL #concept #incremental #learning: Trading Off Simplicity and Coverage in Incremental concept Learning (WI, JW, PL), pp. 73–79.
ML-1988-Utgoff #incremental #named: ID5: An Incremental ID3 (PEU), pp. 107–120.
ECOOP-1988-WegnerZ #incremental #inheritance #what: Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like (PW, SBZ), pp. 55–77.
POPL-1988-CarrollR #analysis #data flow #incremental: Incremental Data Flow Analysis via Dominator and Attribute Updates (MDC, BGR), pp. 274–284.
CCHSC-1988-Fritzson #incremental: Incremental Symbol Processing (PF), pp. 11–38.
CCHSC-1988-GyimothyHKT #algorithm #incremental: Incremental Algorithms in Prof-LP (TG, TH, FK, JT), pp. 93–102.
CCHSC-1988-Hedin #evaluation #incremental: Incremental Attribute Evaluation with Side-effects (GH), pp. 175–189.
CCHSC-1988-Horspool #generative #incremental #lalr #named #parsing: ILALR: An Incremental Generator of LALR(1) Parsers (RNH), pp. 128–136.
CCHSC-1988-Mughal #generative #incremental #programming #thread: Generation of Incremental Indirect Threaded Code for Language-Based Programming Environments (KAM), pp. 230–242.
JICSCP-1988-GotoKNC88 #garbage collection #incremental #lazy evaluation #parallel: Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines (AG, YK, TN, TC), pp. 1241–1256.
DAC-1987-CarpenterH #constraints #generative #incremental: Generating Incremental VLSI Compaction Spacing Constraints (CWC, MH), pp. 291–297.
VLDB-1987-MarkowitzM #database #incremental #relational: Incremental Reorganization of Relational Databases (VMM, JAM), pp. 127–135.
PLDI-1987-KarinthiW #incremental #source code: Incremental re-execution of programs (RK, MW), pp. 38–44.
PLDI-1987-LangD #garbage collection #incremental: Incremental incrementally compacting garbage collection (BL, FD), pp. 253–263.
SIGIR-1987-Eastman #incremental #query: File Organizations and Incrementally Specified Queries (CME), pp. 217–222.
DAC-1986-ShinshaKSKI #identification #incremental #logic #synthesis: Incremental logic synthesis through gate logic structure identification (TS, TK, YS, JK, KI), pp. 391–397.
POPL-1986-JohnsonW #approach #incremental #type inference: A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference (GFJ, JAW), pp. 44–57.
POPL-1986-SneltingH #algebra #analysis #incremental #semantics #unification: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis (GS, WH), pp. 229–235.
ICLP-1986-BowenBCT86 #compilation #design #implementation #incremental #performance #prolog: The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler (KAB, KAB, IC, AKT), pp. 650–656.
SLP-1986-SterlingB86 #incremental: Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction (LS, RDB), pp. 20–27.
VLDB-1985-Omiecinski #incremental: Incremental File Reorganization Schemes (EO), pp. 346–357.
VLDB-1985-Pu #consistency #database #incremental #on the fly: On-the-Fly, Incremental, Consistent Reading of Entire Databases (CP), pp. 369–375.
POPL-1985-FordS #approach #code generation #incremental: A Greedy Approach to Incremental Code Generation (RF, DS), pp. 165–178.
POPL-1985-JohnsonF #editing #evaluation #incremental #metalanguage: A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors (GFJ, CNF), pp. 141–151.
POPL-1985-PollockS #compilation #incremental: Incremental Compilation of Locally Optimized Code (LLP, MLS), pp. 152–164.
ICSE-1985-WolfCW #development #incremental #interface: Interface Control and Incremental Development in the PIC Environment (ALW, LAC, JCW), pp. 75–82.
DAC-1984-TaylorO #incremental: Magic’s incremental design-rule checker (GST, JKO), pp. 160–165.
SCC-1984-Reiss #approach #compilation #incremental: An approach to incremental compilation (SPR), pp. 144–156.
SCC-1984-SchwartzDB #compilation #incremental: Incremental compilation in Magpie (MDS, NMD, VSB), pp. 122–131.
SCC-1984-Zadeck #analysis #data flow #editing #incremental: Incremental data flow analysis in a structured program editor (FKZ), pp. 132–143.
ICALP-1983-JouannaudKK #algorithm #equation #incremental #unification: Incremental Construction of Unification Algorithms in Equational Theories (JPJ, CK, HK), pp. 361–373.
POPL-1983-Meertens #incremental #polymorphism #type checking: Incremental Polymorphic Type Checking in B (LGLTM), pp. 265–275.
POPL-1983-Ryder #analysis #data flow #incremental: Incremental Data Flow Analysis (BGR), pp. 167–176.
POPL-1982-Reps #analysis #editing #incremental #semantics: Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors (TWR), pp. 169–176.
ICSE-1982-Wertz #design #incremental #interactive #programming: The Design of an Integrated, Interactive and Incremental Programming Environment (HW), pp. 157–165.
POPL-1981-DemersRT #attribute grammar #editing #evaluation #incremental: Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors (AJD, TWR, TT), pp. 105–116.
ICSE-1981-FeilerM #incremental #programming: An Incremental Programming Environment (PHF, RMM), pp. 44–53.
DAC-1979-CarterBS #incremental: Incremental processing applied to Steinberg’s placement procedure (HWC, MAB, ZAS), pp. 26–31.
STOC-1970-Lindstrom #design #incremental #parsing: The Design of Parsers for Incremental Language Processors (GL), pp. 81–91.