BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (85)
model (84)
learn (66)
use (61)
system (61)

Stem increment$ (all stems)

771 papers:

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