BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
incremental
Google incremental

Tag #incremental

834 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.