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).