BibSLEIGH — incremental tag

incremental

incremental

Tag #incremental

834 papers:

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