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:
system (21)
vector (17)
model (11)
problem (10)
reachabl (10)

Stem addit$ (all stems)

110 papers:

CASECASE-2015-AlhwarinFGKST #image
Improving additive manufacturing by image processing and robotic milling (FA, AF, AG, SK, IS, OT), pp. 924–929.
CASECASE-2015-HagqvistCH #automation
Automation of a laser welding system for additive manufacturing (PH, AKC, AH), pp. 900–905.
CASECASE-2015-JinQH #fault #geometry #predict
Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.
CASECASE-2015-SabbaghiHD #3d #modelling #quality
Bayesian additive modeling for quality control of 3D printed products (AS, QH, TD), pp. 906–911.
STOCSTOC-2015-ChanL #clustering #combinator #integer
Clustered Integer 3SUM via Additive Combinatorics (TMC, ML), pp. 31–40.
ICALPICALP-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.
ICMLICML-2015-KandasamySP #modelling #optimisation
High Dimensional Bayesian Optimisation and Bandits via Additive Models (KK, JGS, BP), pp. 295–304.
KDDKDD-2015-WangFM #modelling
Trading Interpretability for Accuracy: Oblique Treed Sparse Additive Models (JW, RF, YM), pp. 1245–1254.
KDDKDD-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.
SIGIRSIGIR-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.
SACSAC-2015-BarbosaBA #monitoring
Defending against load monitoring in smart metering data through noise addition (PB, AB, HA), pp. 2218–2224.
LICSLICS-2015-BlondinFGHM #2d #reachability
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
LICSLICS-2015-BrazdilKKN #behaviour #probability
Long-Run Average Behaviour of Probabilistic Vector Addition Systems (TB, SK, AK, PN), pp. 44–55.
LICSLICS-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.
LICSLICS-2015-LerouxS #reachability
Demystifying Reachability in Vector Addition Systems (JL, SS), pp. 56–67.
ASEASE-2014-Burke #feature model
Utilizing feature location techniques for feature addition and feature enhancement (JTB), pp. 879–882.
MSRMSR-2014-PassosC #dataset #feature model #kernel #linux
A dataset of feature additions and feature removals from the Linux kernel (LTP, KC), pp. 376–379.
STOCSTOC-2014-AggarwalDL #combinator
Non-malleable codes from additive combinatorics (DA, YD, SL), pp. 774–783.
STOCSTOC-2014-GenkinIPST
Circuits resilient to additive attacks with applications to secure computation (DG, YI, MP, AS, ET), pp. 495–504.
HCIDUXU-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.
ICMLICML-c2-2014-KpotufeSJS #consistency
Consistency of Causal Inference under the Additive Noise Model (SK, ES, DJ, BS), pp. 478–486.
LICSLICS-CSL-2014-LerouxPS #automaton #bound
Hyper-Ackermannian bounds for pushdown vector addition systems (JL, MP, GS), p. 10.
DATEDATE-2013-BarrioHMMM #multi #synthesis
Multispeculative additive trees in high-level synthesis (AADB, RH, SOM, JMM, MCM), pp. 188–193.
ICALPICALP-v2-2013-AlurR #problem
Decision Problems for Additive Regular Functions (RA, MR), pp. 37–48.
HCIHCI-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.
ICMLICML-c1-2013-GilboaSCG #approximate #multi #process #scalability #using
Scaling Multidimensional Gaussian Processes using Projected Additive Approximations (EG, YS, JPC, EG), pp. 454–461.
ICSEICSE-2013-ZhangH0RM #testing
Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
LICSLICS-2013-Leroux
Presburger Vector Addition Systems (JL), pp. 23–32.
LICSLICS-2013-LerouxPS #on the #problem
On the Context-Freeness Problem for Vector Addition Systems (JL, VP, GS), pp. 43–52.
DATEDATE-2012-DuVM #latency #performance #reliability
High performance reliable variable latency carry select addition (KD, PJV, KM), pp. 1257–1262.
ECIRECIR-2012-HollinkHV #query
Explaining Query Modifications — An Alternative Interpretation of Term Addition and Removal (VH, JH, APdV), pp. 1–12.
ICMLICML-2012-BalakrishnanPL #functional #kernel
Sparse Additive Functional and Kernel CCA (SB, KP, JDL), p. 97.
ICMLICML-2012-YinCX #modelling
Group Sparse Additive Models (JY, XC, EPX), p. 214.
ICPRICPR-2012-SemenovichSG #modelling #predict
Predicting onsets of genocide with sparse additive models (DS, AS, BEG), pp. 3549–3552.
ICLPICLP-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.
DACDAC-2011-PaulaNNOH #named
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.
LATALATA-2011-Leroux #problem #proving #reachability #self
Vector Addition System Reachability Problem: A Short Self-contained Proof (JL), pp. 41–64.
ICMLICML-2011-AgovicBC #matrix #probability
Probabilistic Matrix Addition (AA, AB, SC), pp. 1025–1032.
ICMLICML-2011-EisensteinAX #generative #modelling
Sparse Additive Generative Models of Text (JE, AA, EPX), pp. 1041–1048.
SIGIRSIGIR-2011-WuW #collaboration
Rating-based collaborative filtering combined with additional regularization (SW, SW), pp. 1195–1196.
POPLPOPL-2011-Leroux #problem #proving #reachability #self
Vector addition system reachability problem: a short self-contained proof (JL), pp. 307–316.
LICSLICS-2011-Heijltjes #linear #logic #proving
Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.
DACDAC-2010-ChenW
Node addition and removal in the presence of don’t cares (YCC, CYW), pp. 505–510.
ICALPICALP-v1-2010-Woodruff #polynomial
Additive Spanners in Nearly Quadratic Time (DPW), pp. 463–474.
ICALPICALP-v2-2010-BrazdilJK #game studies #reachability
Reachability Games on Extended Vector Addition Systems with States (TB, PJ, AK), pp. 478–489.
CHICHI-2010-ChengLCLK #named
iCon: utilizing everyday objects as additional, auxiliary and instant tabletop controllers (KYC, RHL, BYC, RHL, SYK), pp. 1155–1164.
KDIRKDIR-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.
ICLPICLP-2010-AlbertiGL10 #abduction #constraints #proving #runtime
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.
LICSLICS-2010-SchweikardtS #invariant
Addition-Invariant FO and Regularity (NS, LS), pp. 273–282.
CASECASE-2009-RamakrishnanR #analysis #linear
Delay-dependent stability analysis of linear system with additive time-varying delays (KR, GR), pp. 122–126.
DATEDATE-2009-Cilardo #architecture
A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.
DATEDATE-2009-LinW #using
Rewiring using IRredundancy Removal and Addition (CCL, CYW), pp. 324–327.
ICMLICML-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.
MLDMMLDM-2009-LiuYZZZL #classification #scalability
A Large Margin Classifier with Additional Features (XL, JY, EZ, GZ, YZ, ML), pp. 82–95.
RecSysRecSys-2009-BaoBT #recommendation
Stacking recommendation engines with additional meta-features (XB, LB, RT), pp. 109–116.
SACSAC-2009-GroverS #architecture #automation #java #named #quality #question
GenQA: automated addition of architectural quality attribute support for Java software? (SG, NS), pp. 483–487.
LICSLICS-2009-Leroux #induction #invariant #problem #reachability
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.
DATEDATE-2008-VermaBI #design #latency #paradigm
Variable Latency Speculative Addition: A New Paradigm for Arithmetic Circuit Design (AKV, PB, PI), pp. 1250–1255.
STOCSTOC-2008-BansalKN #bound #design #network
Additive guarantees for degree bounded directed network design (NB, RK, VN), pp. 769–778.
STOCSTOC-2008-LauS #approximate #bound #design #network
Additive approximation for bounded degree survivable network design (LCL, MS), pp. 759–768.
ICALPICALP-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.
ICALPICALP-A-2008-RodittyS #fault #sublinear
All-Pairs Shortest Paths with a Sublinear Additive Error (LR, AS), pp. 622–633.
ICMLICML-2008-SorokinaCRF #detection #interactive #statistics
Detecting statistical interactions with additive groves of trees (DS, RC, MR, DF), pp. 1000–1007.
SIGIRSIGIR-2008-Banerjee #classification #corpus #modelling #topic #using
Improving text classification accuracy using topic modeling over an additional corpus (SB), pp. 867–868.
ISMMISMM-2008-GormanH #hardware
Supporting superpage allocation without additional hardware support (MG, PH), pp. 41–50.
CSLCSL-2008-HamanoT #linear #logic #multi
An Indexed System for Multiplicative Additive Polarized Linear Logic (MH, RT), pp. 262–277.
CSLCSL-2008-Tranquilli #correctness #linear #logic #multi #semantics
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.
LICSLICS-2008-NauroisM #correctness #multi #proving
Correctness of Multiplicative Additive Proof Structures is NL-Complete (PJdN, VM), pp. 476–485.
ASEASE-2007-Ebnenasir #fault tolerance
Diconic addition of failsafe fault-tolerance (AE), pp. 44–53.
SACSAC-2007-ZhouHP #database #image #using
An additive-attack-proof watermarking mechanism for databases’ copyrights protection using image (XZ, MH, ZP), pp. 254–258.
MSRMSR-2006-ZimmermannBLL #mining
Mining additions of method calls in ArgoUML (TZ, SB, CL, VBL), pp. 169–170.
ICALPICALP-v1-2006-AlonSS #approximate #problem
Additive Approximation for Edge-Deletion Problems (Abstract) (NA, AS, BS), pp. 1–2.
CAVCAV-2006-EisingerK #approach #word
Don’t Care Words with an Application to the Automata-Based Approach for Real Addition (JE, FK), pp. 67–80.
FoSSaCSFoSSaCS-2005-BozgaI #decidability #on the
On Decidability Within the Arithmetic of Addition and Divisibility (MB, RI), pp. 425–439.
ICMLICML-2005-KolterM #concept #using
Using additive expert ensembles to cope with concept drift (JZK, MAM), pp. 449–456.
ICSTSAT-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.
DACDAC-2004-TummeltshammerHP #constant #multi
Multiple constant multiplication by time-multiplexed mapping of addition chains (PT, JCH, MP), pp. 826–829.
KDDKDD-2004-Hooker04a #black box
Discovering additive structure in black box functions (GH), pp. 575–580.
HPDCHPDC-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.
LICSLICS-2004-GrooteGS #automaton
Vector Addition Tree Automata (PdG, BG, SS), pp. 64–73.
LICSLICS-2003-HughesG #linear #logic #multi #proving
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.
ICMLICML-2002-RaskuttiFK #classification #clustering #parametricity #using
Using Unlabelled Data for Text Classification through Addition of Cluster Parameters (BR, HLF, AK), pp. 514–521.
CSLCSL-2002-MairsonR #semantics
Proofnets and Context Semantics for the Additives (HGM, XR), pp. 151–166.
DATEDATE-2001-EspejoEMO #logic #optimisation #reasoning
Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.
DLTDLT-2001-Choffrut
Elementary Theory of Ordinals with Addition and Left Translation by ω (CC), pp. 15–20.
TLCATLCA-2001-Haghverdi #category theory #linear #logic #modelling
Partially Additive Categories and Fully Complete Models of Linear Logic (EH), pp. 197–216.
DACDAC-2000-QuP #constraints #using
Fingerprinting intellectual property using constraint-addition (GQ, MP), pp. 587–592.
ICALPICALP-2000-Merkle #power of #query
The Global Power of Additional Queries to p-Random Oracles (WM), pp. 914–925.
KDDKDD-1999-Potts #network
Generalized Additive Neural Networks (WJEP), pp. 194–200.
LICSLICS-1999-Ruhl #transitive
Counting and Addition Cannot Express Deterministic Transitive Closure (MR), pp. 326–334.
AdaEuropeAdaEurope-1996-BliebergerLB #ada #realtime
Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.
AdaEuropeAdaEurope-1996-OudshoornC #ada #persistent
Beyond Ada 95: The Addition of Persistence and Its Consequences (MO, SC), pp. 342–356.
ICPRICPR-1996-TuzikovMH #performance #symmetry
Efficient computation of a reflection symmetry measure for convex polygons based on Minkowski addition (AVT, GLM, HJAMH), pp. 236–240.
PODSPODS-1995-KeidarD #commit
Increasing the Resilience of Atomic Commit at No Additional Cost (IK, DD), pp. 245–254.
STOCSTOC-1995-KivinenW #linear #predict
Additive versus exponentiated gradient updates for linear prediction (JK, MKW), pp. 209–218.
DACDAC-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.
ICGTTAGT-1994-Assmann #on the #program analysis #term rewriting
On Edge Addition Rewrite Systems and their Relevance to Program Analysis (UA), pp. 321–335.
HCIHCI-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.
CAVCAV-1993-Krishnakumar #composition #finite #reachability #state machine
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems (ASK), pp. 110–122.
ICALPICALP-1990-BookLT #pseudo #query #random
Additional Queries to Random and Pseudorandom Oracles (RVB, JHL, ST), pp. 283–293.
STOCSTOC-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.
STOCSTOC-1982-Kosaraju #decidability #reachability
Decidability of Reachability in Vector Addition Systems (Preliminary Version) (SRK), pp. 267–281.
DACDAC-1981-Montoye #performance
Area-time efficient addition in charge based technology (RKM), pp. 862–872.
STOCSTOC-1978-BrussM #formal method #on the
On Time-Space Classes and Their Relation to the Theory of Real Addition (ARB, ARM), pp. 233–239.
ICGTGG-1978-ArbibM #algebra #monad #recursion #semantics
Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls (MAA, EGM), pp. 127–138.
STOCSTOC-1977-SacerdoteT #decidability #problem #reachability
The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) (GSS, RLT), pp. 61–76.
STOCSTOC-1974-BorodinC #on the
On the Number of Additions to Compute Specific Polynomials (Preliminary Version) (AB, SAC), pp. 342–347.
STOCSTOC-1974-Leeuwen #problem
A Partial Solution to the Reachability-Problem for Vector-Addition Systems (JvL), pp. 303–309.
STOCSTOC-1972-Kirkpatrick #on the
On the Additions Necessary to Compute Certain Functions (DGK), pp. 94–101.
DACSHARE-1964-LoydFL
Additional papers not available within the printed proceedings (DL, CWF, ELL).

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.