## Stem addit$ (all stems)

### 110 papers:

- CASE-2015-AlhwarinFGKST #image
- Improving additive manufacturing by image processing and robotic milling (FA, AF, AG, SK, IS, OT), pp. 924–929.
- CASE-2015-HagqvistCH #automation
- Automation of a laser welding system for additive manufacturing (PH, AKC, AH), pp. 900–905.
- CASE-2015-JinQH #fault #geometry #predict
- Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.
- CASE-2015-SabbaghiHD #3d #modelling #quality
- Bayesian additive modeling for quality control of 3D printed products (AS, QH, TD), pp. 906–911.
- STOC-2015-ChanL #clustering #combinator #integer
- Clustered Integer 3SUM via Additive Combinatorics (TMC, ML), pp. 31–40.
- ICALP-v2-2015-LerouxST #automaton #on the #problem
- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (JL, GS, PT), pp. 324–336.
- ICML-2015-KandasamySP #modelling #optimisation
- High Dimensional Bayesian Optimisation and Bandits via Additive Models (KK, JGS, BP), pp. 295–304.
- KDD-2015-WangFM #modelling
- Trading Interpretability for Accuracy: Oblique Treed Sparse Additive Models (JW, RF, YM), pp. 1245–1254.
- KDD-2015-WangYCSSZ #generative #named #recommendation
- Geo-SAGE: A Geographical Sparse Additive Generative Model for Spatial Item Recommendation (WW, HY, LC, YS, SWS, XZ), pp. 1255–1264.
- SIGIR-2015-LuccheseNOPTV #algorithm #documentation #named #performance #rank
- QuickScorer: A Fast Algorithm to Rank Documents with Additive Ensembles of Regression Trees (CL, FMN, SO, RP, NT, RV), pp. 73–82.
- SAC-2015-BarbosaBA #monitoring
- Defending against load monitoring in smart metering data through noise addition (PB, AB, HA), pp. 2218–2224.
- LICS-2015-BlondinFGHM #2d #reachability
- Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
- LICS-2015-BrazdilKKN #behaviour #probability
- Long-Run Average Behaviour of Probabilistic Vector Addition Systems (TB, SK, AK, PN), pp. 44–55.
- LICS-2015-HeijltjesH #bound #complexity #logic #petri net #proving
- Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.
- LICS-2015-LerouxS #reachability
- Demystifying Reachability in Vector Addition Systems (JL, SS), pp. 56–67.
- ASE-2014-Burke #feature model
- Utilizing feature location techniques for feature addition and feature enhancement (JTB), pp. 879–882.
- MSR-2014-PassosC #dataset #feature model #kernel #linux
- A dataset of feature additions and feature removals from the Linux kernel (LTP, KC), pp. 376–379.
- STOC-2014-AggarwalDL #combinator
- Non-malleable codes from additive combinatorics (DA, YD, SL), pp. 774–783.
- STOC-2014-GenkinIPST
- Circuits resilient to additive attacks with applications to secure computation (DG, YI, MP, AS, ET), pp. 495–504.
- DUXU-DP-2014-HamachiTN #integration #process #quality
- Activities to Improve System Integration and Service Quality and Add Additional Values — Reducing the Cost in Applying Human-Centered-Design Process (RH, IT, HN), pp. 32–38.
- ICML-c2-2014-KpotufeSJS #consistency
- Consistency of Causal Inference under the Additive Noise Model (SK, ES, DJ, BS), pp. 478–486.
- LICS-CSL-2014-LerouxPS #automaton #bound
- Hyper-Ackermannian bounds for pushdown vector addition systems (JL, MP, GS), p. 10.
- DATE-2013-BarrioHMMM #multi #synthesis
- Multispeculative additive trees in high-level synthesis (AADB, RH, SOM, JMM, MCM), pp. 188–193.
- ICALP-v2-2013-AlurR #problem
- Decision Problems for Additive Regular Functions (RA, MR), pp. 37–48.
- HCI-UC-2013-RodriguesNT #interactive #multi #source code
- Interaction of the Elderly Viewer with Additional Multimedia Content to Support the Appreciation of Television Programs (KRdHR, VPdAN, CACT), pp. 227–236.
- ICML-c1-2013-GilboaSCG #approximate #multi #process #scalability #using
- Scaling Multidimensional Gaussian Processes using Projected Additive Approximations (EG, YS, JPC, EG), pp. 454–461.
- ICSE-2013-ZhangH0RM #testing
- Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
- LICS-2013-Leroux
- Presburger Vector Addition Systems (JL), pp. 23–32.
- LICS-2013-LerouxPS #on the #problem
- On the Context-Freeness Problem for Vector Addition Systems (JL, VP, GS), pp. 43–52.
- DATE-2012-DuVM #latency #performance #reliability
- High performance reliable variable latency carry select addition (KD, PJV, KM), pp. 1257–1262.
- ECIR-2012-HollinkHV #query
- Explaining Query Modifications — An Alternative Interpretation of Term Addition and Removal (VH, JH, APdV), pp. 1–12.
- ICML-2012-BalakrishnanPL #functional #kernel
- Sparse Additive Functional and Kernel CCA (SB, KP, JDL), p. 97.
- ICML-2012-YinCX #modelling
- Group Sparse Additive Models (JY, XC, EPX), p. 214.
- ICPR-2012-SemenovichSG #modelling #predict
- Predicting onsets of genocide with sparse additive models (DS, AS, BEG), pp. 3549–3552.
- ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
- DAC-2011-PaulaNNOH #named
- TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.
- LATA-2011-Leroux #problem #proving #reachability #self
- Vector Addition System Reachability Problem: A Short Self-contained Proof (JL), pp. 41–64.
- ICML-2011-AgovicBC #matrix #probability
- Probabilistic Matrix Addition (AA, AB, SC), pp. 1025–1032.
- ICML-2011-EisensteinAX #generative #modelling
- Sparse Additive Generative Models of Text (JE, AA, EPX), pp. 1041–1048.
- SIGIR-2011-WuW #collaboration
- Rating-based collaborative filtering combined with additional regularization (SW, SW), pp. 1195–1196.
- POPL-2011-Leroux #problem #proving #reachability #self
- Vector addition system reachability problem: a short self-contained proof (JL), pp. 307–316.
- LICS-2011-Heijltjes #linear #logic #proving
- Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.
- DAC-2010-ChenW
- Node addition and removal in the presence of don’t cares (YCC, CYW), pp. 505–510.
- ICALP-v1-2010-Woodruff #polynomial
- Additive Spanners in Nearly Quadratic Time (DPW), pp. 463–474.
- ICALP-v2-2010-BrazdilJK #game studies #reachability
- Reachability Games on Extended Vector Addition Systems with States (TB, PJ, AK), pp. 478–489.
- CHI-2010-ChengLCLK #named
- iCon: utilizing everyday objects as additional, auxiliary and instant tabletop controllers (KYC, RHL, BYC, RHL, SYK), pp. 1155–1164.
- KDIR-2010-KumarVSV #clustering #documentation #n-gram #wiki
- Exploiting N-gram Importance and Wikipedia based Additional Knowledge for Improvements in GAAC based Document Clustering (NK, VVBV, KS, VV), pp. 182–187.
- ICLP-2010-AlbertiGL10 #abduction #constraints #proving #runtime
- Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.
- LICS-2010-SchweikardtS #invariant
- Addition-Invariant FO and Regularity (NS, LS), pp. 273–282.
- CASE-2009-RamakrishnanR #analysis #linear
- Delay-dependent stability analysis of linear system with additive time-varying delays (KR, GR), pp. 122–126.
- DATE-2009-Cilardo #architecture
- A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.
- DATE-2009-LinW #using
- Rewiring using IRredundancy Removal and Addition (CCL, CYW), pp. 324–327.
- ICML-2009-MooijJPS #dependence #modelling
- Regression by dependence minimization and its application to causal inference in additive noise models (JMM, DJ, JP, BS), pp. 745–752.
- MLDM-2009-LiuYZZZL #classification #scalability
- A Large Margin Classifier with Additional Features (XL, JY, EZ, GZ, YZ, ML), pp. 82–95.
- RecSys-2009-BaoBT #recommendation
- Stacking recommendation engines with additional meta-features (XB, LB, RT), pp. 109–116.
- SAC-2009-GroverS #architecture #automation #java #named #quality #question
- GenQA: automated addition of architectural quality attribute support for Java software? (SG, NS), pp. 483–487.
- LICS-2009-Leroux #induction #invariant #problem #reachability
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.
- DATE-2008-VermaBI #design #latency #paradigm
- Variable Latency Speculative Addition: A New Paradigm for Arithmetic Circuit Design (AKV, PB, PI), pp. 1250–1255.
- STOC-2008-BansalKN #bound #design #network
- Additive guarantees for degree bounded directed network design (NB, RK, VN), pp. 769–778.
- STOC-2008-LauS #approximate #bound #design #network
- Additive approximation for bounded degree survivable network design (LCL, MS), pp. 759–768.
- ICALP-A-2008-BaswanaGSU #constant #distance #fault #graph #polynomial
- Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error (SB, AG, SS, JU), pp. 609–621.
- ICALP-A-2008-RodittyS #fault #sublinear
- All-Pairs Shortest Paths with a Sublinear Additive Error (LR, AS), pp. 622–633.
- ICML-2008-SorokinaCRF #detection #interactive #statistics
- Detecting statistical interactions with additive groves of trees (DS, RC, MR, DF), pp. 1000–1007.
- SIGIR-2008-Banerjee #classification #corpus #modelling #topic #using
- Improving text classification accuracy using topic modeling over an additional corpus (SB), pp. 867–868.
- ISMM-2008-GormanH #hardware
- Supporting superpage allocation without additional hardware support (MG, PH), pp. 41–50.
- CSL-2008-HamanoT #linear #logic #multi
- An Indexed System for Multiplicative Additive Polarized Linear Logic (MH, RT), pp. 262–277.
- CSL-2008-Tranquilli #correctness #linear #logic #multi #semantics
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.
- LICS-2008-NauroisM #correctness #multi #proving
- Correctness of Multiplicative Additive Proof Structures is NL-Complete (PJdN, VM), pp. 476–485.
- ASE-2007-Ebnenasir #fault tolerance
- Diconic addition of failsafe fault-tolerance (AE), pp. 44–53.
- SAC-2007-ZhouHP #database #image #using
- An additive-attack-proof watermarking mechanism for databases’ copyrights protection using image (XZ, MH, ZP), pp. 254–258.
- MSR-2006-ZimmermannBLL #mining
- Mining additions of method calls in ArgoUML (TZ, SB, CL, VBL), pp. 169–170.
- ICALP-v1-2006-AlonSS #approximate #problem
- Additive Approximation for Edge-Deletion Problems (Abstract) (NA, AS, BS), pp. 1–2.
- CAV-2006-EisingerK #approach #word
- Don’t Care Words with an Application to the Automata-Based Approach for Real Addition (JE, FK), pp. 67–80.
- FoSSaCS-2005-BozgaI #decidability #on the
- On Decidability Within the Arithmetic of Addition and Divisibility (MB, RI), pp. 425–439.
- ICML-2005-KolterM #concept #using
- Using additive expert ensembles to cope with concept drift (JZK, MAM), pp. 449–456.
- SAT-J-2004-HeuleDZM05 #implementation #named #performance #reasoning #satisfiability
- March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver (MH, MD, JvZ, HvM), pp. 345–359.
- DAC-2004-TummeltshammerHP #constant #multi
- Multiple constant multiplication by time-multiplexed mapping of addition chains (PT, JCH, MP), pp. 826–829.
- KDD-2004-Hooker04a #black box
- Discovering additive structure in black box functions (GH), pp. 575–580.
- HPDC-2004-ZhangKPCNWS #algorithm #parallel #using
- Strategies for Using Additional Resources in Parallel Hash-Based Join Algorithms (XZ, TMK, TP, ÜVÇ, SN, PW, JHS), pp. 4–13.
- LICS-2004-GrooteGS #automaton
- Vector Addition Tree Automata (PdG, BG, SS), pp. 64–73.
- LICS-2003-HughesG #linear #logic #multi #proving
- Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.
- ICML-2002-RaskuttiFK #classification #clustering #parametricity #using
- Using Unlabelled Data for Text Classification through Addition of Cluster Parameters (BR, HLF, AK), pp. 514–521.
- CSL-2002-MairsonR #semantics
- Proofnets and Context Semantics for the Additives (HGM, XR), pp. 151–166.
- DATE-2001-EspejoEMO #logic #optimisation #reasoning
- Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.
- DLT-2001-Choffrut
- Elementary Theory of Ordinals with Addition and Left Translation by ω (CC), pp. 15–20.
- TLCA-2001-Haghverdi #category theory #linear #logic #modelling
- Partially Additive Categories and Fully Complete Models of Linear Logic (EH), pp. 197–216.
- DAC-2000-QuP #constraints #using
- Fingerprinting intellectual property using constraint-addition (GQ, MP), pp. 587–592.
- ICALP-2000-Merkle #power of #query
- The Global Power of Additional Queries to p-Random Oracles (WM), pp. 914–925.
- KDD-1999-Potts #network
- Generalized Additive Neural Networks (WJEP), pp. 194–200.
- LICS-1999-Ruhl #transitive
- Counting and Addition Cannot Express Deterministic Transitive Closure (MR), pp. 326–334.
- AdaEurope-1996-BliebergerLB #ada #realtime
- Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.
- AdaEurope-1996-OudshoornC #ada #persistent
- Beyond Ada 95: The Addition of Persistence and Its Consequences (MO, SC), pp. 342–356.
- ICPR-1996-TuzikovMH #performance #symmetry
- Efficient computation of a reflection symmetry measure for convex polygons based on Minkowski addition (AVT, GLM, HJAMH), pp. 236–240.
- PODS-1995-KeidarD #commit
- Increasing the Resilience of Atomic Commit at No Additional Cost (IK, DD), pp. 245–254.
- STOC-1995-KivinenW #linear #predict
- Additive versus exponentiated gradient updates for linear prediction (JK, MKW), pp. 209–218.
- DAC-1994-PotkonjakSC #constant #multi #performance #using
- Efficient Substitution of Multiple Constant Multiplications by Shifts and Additions Using Iterative Pairwise Matching (MP, MBS, AC), pp. 189–194.
- TAGT-1994-Assmann #on the #program analysis #term rewriting
- On Edge Addition Rewrite Systems and their Relevance to Program Analysis (UA), pp. 321–335.
- HCI-ACS-1993-HajnalC #case study #interactive
- A Study of Additive and Interactive Effects of Work and Extra-Organizational Factors on Female VDT Workers (CH, PC), pp. 925–930.
- CAV-1993-Krishnakumar #composition #finite #reachability #state machine
- Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems (ASK), pp. 110–122.
- ICALP-1990-BookLT #pseudo #query #random
- Additional Queries to Random and Pseudorandom Oracles (RVB, JHL, ST), pp. 283–293.
- STOC-1985-Huynh #commutative #complexity #equivalence #problem #symmetry
- The Complexity of the Equivalence Problem for Commutative Semigroups and Symmetric Vector Addition Systems (DTH), pp. 405–412.
- STOC-1982-Kosaraju #decidability #reachability
- Decidability of Reachability in Vector Addition Systems (Preliminary Version) (SRK), pp. 267–281.
- DAC-1981-Montoye #performance
- Area-time efficient addition in charge based technology (RKM), pp. 862–872.
- STOC-1978-BrussM #formal method #on the
- On Time-Space Classes and Their Relation to the Theory of Real Addition (ARB, ARM), pp. 233–239.
- GG-1978-ArbibM #algebra #monad #recursion #semantics
- Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls (MAA, EGM), pp. 127–138.
- STOC-1977-SacerdoteT #decidability #problem #reachability
- The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) (GSS, RLT), pp. 61–76.
- STOC-1974-BorodinC #on the
- On the Number of Additions to Compute Specific Polynomials (Preliminary Version) (AB, SAC), pp. 342–347.
- STOC-1974-Leeuwen #problem
- A Partial Solution to the Reachability-Problem for Vector-Addition Systems (JvL), pp. 303–309.
- STOC-1972-Kirkpatrick #on the
- On the Additions Necessary to Compute Certain Functions (DGK), pp. 94–101.
- SHARE-1964-LoydFL
- Additional papers not available within the printed proceedings (DL, CWF, ELL).