BibSLEIGH — linear stem

Used together with:

time (204)
logic (186)
program (164)
model (144)
use (118)

Stem linear$ (all stems)

1384 papers:

CASE-2015-David-HenrietRH #constraints #modelling: Modeling and control for (max, +)-linear systems with set-based constraints (XDH, JR, LH, BC), pp. 1369–1374.
CASE-2015-HayakawaI #fault #linear #reduction: GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
CASE-2015-HillmannS #dependence #distributed #linear: Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
CASE-2015-KouiderHOO #approach #graph #integer #linear #scheduling #source code: Mixed integer linear programs and tabu search approach to solve mixed graph coloring for unit-time job shop scheduling (AK, HAH, SO, AO), pp. 1177–1181.
CASE-2015-NetoCHS #approximate #optimisation: A piecewise linear-quadratic approximation for production optimization of gas-lifted oil fields (LRN, EC, RH, TLS), pp. 793–798.
CASE-2015-ProdelAXJL #database #integer #linear #mining #process #programming #using: Discovery of patient pathways from a national hospital database using process mining and integer linear programming (MP, VA, XX, BJ, LL), pp. 1409–1414.
CASE-2015-ZhuCS #energy #linear #process #recognition #using: Using unlabeled acoustic data with locality-constrained linear coding for energy-related activity recognition in buildings (QZ, ZC, YCS), pp. 174–179.
DAC-2015-ZolotovF #integer #linear #programming: Variation aware cross-talk aggressor alignment by mixed integer linear programming (VZ, PF), p. 6.
DATE-2015-KyrtatasSP #algebra #compilation #embedded #linear: A basic linear algebra compiler for embedded processors (NK, DGS, MP), pp. 1054–1059.
DATE-2015-SchaffnerGSB #architecture #image #linear: DRAM or no-DRAM?: exploring linear solver architectures for image domain warping in 28 nm CMOS (MS, FKG, AS, LB), pp. 707–712.
DATE-2015-VijayakumarK #design #modelling #novel: A novel modeling attack resistant PUF design based on non-linear voltage transfer characteristics (AV, SK), pp. 653–658.
DATE-2015-ZhuM #linear #machine learning #optimisation #programming #using: Optimizing dynamic trace signal selection using machine learning and linear programming (CSZ, SM), pp. 1289–1292.
PODS-2015-IndykLR #approximate #testing: Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time (PI, RL, RR), p. 343.
PODS-2015-Ullman #linear #multi #query: Private Multiplicative Weights Beyond Linear Queries (JU), pp. 303–312.
SIGMOD-2015-CochezM #approximate #clustering #distance #linear: Twister Tries: Approximate Hierarchical Agglomerative Clustering for Average Distance in Linear Time (MC, HM), pp. 505–517.
SIGMOD-2015-KumarNP #learning #linear #modelling #normalisation: Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.
SIGMOD-2015-TangSX #approach: Influence Maximization in Near-Linear Time: A Martingale Approach (YT, YS, XX), pp. 1539–1554.
VLDB-2015-GatterbauerGKF: Linearized and Single-Pass Belief Propagation (WG, SG, DK, CF), pp. 581–592.
FoSSaCS-2015-GrelloisM #linear #logic: An Infinitary Model of Linear Logic (CG, PAM), pp. 41–55.
FoSSaCS-2015-Vakar #category theory #framework #linear #logic #semantics: A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.
TACAS-2015-BransenBCD #attribute grammar #order #scheduling #using: Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving (JB, LTvB, KC, AD), pp. 289–303.
TACAS-2015-SebastianiT #cost analysis #modulo theories #optimisation: Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (RS, PT), pp. 335–349.
ICPC-2015-BusjahnBBCPSST #eye tracking #linear #order: Eye movements in code reading: relaxing the linear order (TB, RB, AB, MEC, JHP, CS, BS, ST), pp. 255–265.
PEPM-2015-BinsbergenBD #attribute grammar #automation #dependence #order: Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
SAS-2015-GargR #integer #linear #programming: Synthesizing Heap Manipulations via Integer Linear Programming (AG, SR), pp. 109–127.
STOC-2015-KawarabayashiT #graph: Deterministic Global Minimum Cut of a Simple Graph in Near-Linear Time (KiK, MT), pp. 665–674.
STOC-2015-ZhuO #convergence #performance: Nearly-Linear Time Positive LP Solver with Faster Convergence Rate (ZAZ, LO), pp. 229–236.
CIAA-2015-Madejski #linear #permutation #problem: The Membership Problem for Linear and Regular Permutation Languages (GM), pp. 211–223.
ICALP-v1-2015-BeiCZ #constraints #linear #programming: Solving Linear Programming with Constraints Unknown (XB, NC, SZ), pp. 129–142.
ICALP-v1-2015-HemenwayW #linear: Linear-Time List Recovery of High-Rate Expander Codes (BH, MW), pp. 701–712.
ICALP-v1-2015-KannanM0 #complexity #graph #query: Near-Linear Query Complexity for Graph Inference (SK, CM, HZ), pp. 773–784.
ICALP-v1-2015-LokshtanovMPS #linear: Deterministic Truncation of Linear Matroids (DL, PM, FP, SS), pp. 922–934.
ICALP-v1-2015-LokshtanovRS #algorithm #feedback #linear #set: Linear Time Parameterized Algorithms for Subset Feedback Vertex Set (DL, MSR, SS), pp. 935–946.
ICALP-v2-2015-ColcombetS #linear #order #quantifier #set: Limited Set quantifiers over Countable Linear Orderings (TC, AVS), pp. 146–158.
LATA-2015-PolicritiGP #linear: Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform (AP, NG, NP), pp. 587–598.
ICEIS-v1-2015-AwasthiLK #algorithm #linear #problem #sequence #strict: Un-restricted Common Due-Date Problem with Controllable Processing Times — Linear Algorithm for a Given Job Sequence (AA, JL, OK), pp. 526–534.
ICML-2015-AnBB #how #linear #network #question: How Can Deep Rectifier Networks Achieve Linear Separability and Preserve Distances? (SA, FB, MB), pp. 514–523.
ICML-2015-BelangerK #linear: A Linear Dynamical System Model for Text (DB, SMK), pp. 833–842.
ICML-2015-GuanSBMBB #linear: Moderated and Drifting Linear Dynamical Systems (JG, KS, EB, CM, EB, KB), pp. 2473–2482.
ICML-2015-HegdeIS #framework: A Nearly-Linear Time Framework for Graph-Structured Sparsity (CH, PI, LS), pp. 928–937.
ICML-2015-KuklianskyS #linear #performance: Attribute Efficient Linear Regression with Distribution-Dependent Sampling (DK, OS), pp. 153–161.
ICML-2015-LeeR #distributed #linear #optimisation #polynomial: Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.
ICML-2015-LiuHW #collaboration: Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.
ICML-2015-MaLF #analysis #canonical #correlation #dataset #linear #scalability: Finding Linear Structure in Large Datasets with Scalable Canonical Correlation Analysis (ZM, YL, DPF), pp. 169–178.
ICML-2015-ShajarisalesJSB #linear: Telling cause from effect in deterministic linear dynamical systems (NS, DJ, BS, MB), pp. 285–294.
ICML-2015-SunLXB #clustering #multi: Multi-view Sparse Co-clustering via Proximal Alternating Linearized Minimization (JS, JL, TX, JB), pp. 757–766.
KDD-2015-ChuHTLL #classification #linear #parametricity: Warm Start for Parameter Selection of Linear Classifiers (BYC, CHH, CHT, CYL, CJL), pp. 149–158.
KDD-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.
KDD-2015-ZhengYX #composition #linear #modelling #topic #using: Linear Time Samplers for Supervised Topic Models using Compositional Proposals (XZ, YY, EPX), pp. 1523–1532.
KDD-2015-ZhouALS #algebra #linear: Cuckoo Linear Algebra (LZ, DGA, ML, AJS), pp. 1553–1562.
RecSys-2015-AuteriT #linear #personalisation: Personalized Catch-up & DVR: VOD or Linear, That is the Question (PA, RT), p. 227.
RecSys-2015-KarSA #linear #online #video: Selection and Ordering of Linear Online Video Ads (WK, VS, PA), pp. 203–210.
PADL-2015-CruzR #compilation #linear #logic programming #on the #source code: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
POPL-2015-KrishnaswamiPB #dependent type #linear: Integrating Linear and Dependent Types (NRK, PP, NB), pp. 17–30.
POPL-2015-Staton #algebra #programming language #quantum: Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
SAC-2015-FauconnierKR #approach #machine learning #recognition #taxonomy: A supervised machine learning approach for taxonomic relation recognition through non-linear enumerative structures (JPF, MK, BR), pp. 423–425.
HPDC-2015-ElliottHM #fault #linear: A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.
PPoPP-2015-HaidarDLTD #hardware #linear #towards: Towards batched linear solvers on accelerated hardware platforms (AH, TD, PL, ST, JJD), pp. 261–262.
CADE-2015-Bromberger0W #integer #linear #revisited: Linear Integer Arithmetic Revisited (MB, TS, CW), pp. 623–637.
CADE-2015-ShintaniH #confluence #linear #named #term rewriting: CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (KS, NH), pp. 127–136.
CSL-2015-AminiE #linear #logic #on the: On Classical PCF, Linear Logic and the MIX Rule (SA, TE), pp. 582–596.
CSL-2015-BreuvartP #linear #logic #modelling #relational #semantics: Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
CSL-2015-Charatonik0 #linear #logic #order: Two-variable Logic with Counting and a Linear Order (WC, PW), pp. 631–647.
CSL-2015-GrelloisM #higher-order #linear #logic #model checking #relational #semantics: Relational Semantics of Linear Logic and Higher-order Model Checking (CG, PAM), pp. 260–276.
ICLP-J-2015-AngelisFPP #correctness #horn clause #imperative #proving #source code: Proving correctness of imperative programs by linearizing constrained Horn clauses (EDA, FF, AP, MP), pp. 635–650.
LICS-2015-LechnerOW #complexity #linear #on the: On the Complexity of Linear Arithmetic with Divisibility (AL, JO, JW), pp. 667–676.
RTA-2015-DasS #linear #logic #term rewriting: No complete linear term rewriting system for propositional logic (AD, LS), pp. 127–142.
VMCAI-2015-AdjeG #automation #invariant #linear #polynomial #source code #synthesis: Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.
CASE-2014-ChuLSO #analysis #contract #flexibility #linear #parametricity #programming #using: Flexibility analysis on a supply chain contract using a parametric Linear Programming model (CC, EEL, XS, DO), pp. 704–709.
CASE-2014-KeferZX #industrial: A versatile, non-linear and elasto-static stiffness model of articulated industrial robots (MK, JZ, HX), pp. 208–214.
CASE-2014-WuBZ #approach #linear #scheduling: Linear programming-based approach to scheduling of crude oil operations in refinery with oil type mixing requirement (NW, LB, MZ), pp. 430–435.
DAC-2014-SchaffnerGSKB #approximate #complexity #linear #realtime #video: An Approximate Computing Technique for Reducing the Complexity of a Direct-Solver for Sparse Linear Systems in Real-Time Video Processing (MS, FKG, AS, HK, LB), p. 6.
DATE-2014-GangopadhyayLNR #adaptation #analysis #linear #modelling #performance: Modeling and analysis of digital linear dropout regulators with adaptive control for high efficiency under wide dynamic range digital loads (SG, YL, SBN, AR), pp. 1–6.
DATE-2014-SchollPDA #linear: Simple interpolants for linear arithmetic (CS, FP, SD, EA), pp. 1–6.
DATE-2014-UbolliGBC #linear #megamodelling: Sensitivity-based weighting for passivity enforcement of linear macromodels in power integrity applications (AU, SGT, MB, AC), pp. 1–6.
ESOP-2014-GhicaS #bound #linear: Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.
FoSSaCS-2014-Cirstea #algebra #approach #linear #logic: A Coalgebraic Approach to Linear-Time Logics (CC), pp. 426–440.
FoSSaCS-2014-Padovani #linear #re-engineering #recursion #π-calculus: Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (LP), pp. 88–102.
TACAS-2014-AdzkiyaSA #reachability: Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.
TACAS-2014-LeikeH #linear #ranking: Ranking Templates for Linear Loops (JL, MH), pp. 172–186.
STOC-2014-AwasthiBL #learning #linear #locality #power of: The power of localization for efficiently learning linear separators with noise (PA, MFB, PML), pp. 449–458.
STOC-2014-Belazzougui #linear: Linear time construction of compressed text indices in compact space (DB), pp. 148–193.
STOC-2014-CohenKMPPRX #linear: Solving SDD linear systems in nearly mlog1/2n time (MBC, RK, GLM, JWP, RP, AR, SCX), pp. 343–352.
STOC-2014-LiNW #algorithm #linear #sketching #streaming: Turnstile streaming algorithms might as well be linear sketches (YL, HLN, DPW), pp. 174–183.
STOC-2014-PengS #linear #parallel #performance: An efficient parallel solver for SDD linear systems (RP, DAS), pp. 333–342.
STOC-2014-Williams #algorithm #bound #linear: New algorithms and lower bounds for circuits with linear threshold gates (RW), pp. 194–202.
FLOPS-2014-Sacchini #calculus #linear: Linear Sized Types in the Calculus of Constructions (JLS), pp. 169–185.
CIAA-2014-AmorimMR #canonical #finite #linear #transducer #using: Counting Equivalent Linear Finite Transducers Using a Canonical Form (IA, AM, RR), pp. 70–83.
ICALP-v1-2014-HegdeIS #linear #modelling: Nearly Linear-Time Model-Based Compressive Sensing (CH, PI, LS), pp. 588–599.
ICALP-v1-2014-HsuRRU #linear #source code: Privately Solving Linear Programs (JH, AR, TR, JU), pp. 612–624.
ICALP-v2-2014-OuaknineW #linear #on the #problem #sequence: On the Positivity Problem for Simple Linear Recurrence Sequences, (JO, JW), pp. 318–329.
ICALP-v2-2014-OuaknineW14a #decidability #linear #sequence: Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences (JO, JW), pp. 330–341.
LATA-2014-FinkbeinerT #linear #logic #modelling: Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.
SFM-2014-GiachinoL #concurrent #detection #linear #recursion #source code: Deadlock Detection in Linear Recursive Programs (EG, CL), pp. 26–64.
IFL-2014-AmorimGAH #linear #type checking: Really Natural Linear Indexed Type Checking (AAdA, MG, EJGA, JH), p. 5.
CHI-2014-AuSL #linear #named: LinearDragger: a linear selector for target acquisition on touch screens (OKCA, XS, RWHL), pp. 2607–2616.
CHI-2014-BaillyOBH #linear #visual notation: Model of visual search and selection time in linear menus (GB, AO, DPB, AH), pp. 3865–3874.
CIKM-2014-DeBBGC #learning #linear: Learning a Linear Influence Model from Transient Opinion Dynamics (AD, SB, PB, NG, SC), pp. 401–410.
CIKM-2014-LiuXCXTY #approach #bound #linear #network #scalability #social: Influence Maximization over Large-Scale Social Networks: A Bounded Linear Approach (QL, BX, EC, HX, FT, JXY), pp. 171–180.
CIKM-2014-MaoWHO #classification #learning #linear #multi: Nonlinear Classification via Linear SVMs and Multi-Task Learning (XM, OW, WH, PO), pp. 1955–1958.
CIKM-2014-SchneiderBV #linear #multi: Solving Linear SVMs with Multiple 1D Projections (JS, JB, MV), pp. 221–230.
ECIR-2014-BaiGLC #documentation #linear #matrix #modelling: Local Linear Matrix Factorization for Document Modeling (LB, JG, YL, XC), pp. 398–411.
ICML-c1-2014-LiWLZT #dependence #modelling #on the #topic: On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICML-c1-2014-RamdasP #kernel: Margins, Kernels and Non-linear Smoothed Perceptrons (AR, JP), pp. 244–252.
ICML-c2-2014-JawanpuriaVN #feature model #kernel #learning #multi #on the: On p-norm Path Following in Multiple Kernel Learning for Non-linear Feature Selection (PJ, MV, JSN), pp. 118–126.
ICML-c2-2014-KarninH #linear: Hard-Margin Active Linear Regression (ZSK, EH), pp. 883–891.
ICML-c2-2014-LinAKLC #combinator #feedback #game studies #linear #monitoring: Combinatorial Partial Monitoring Game with Linear Feedback and Its Applications (TL, BDA, RDK, JL, WC), pp. 901–909.
ICML-c2-2014-MalekAB #linear #markov #problem #programming #scalability: Linear Programming for Large-Scale Markov Decision Problems (AM, YAY, PLB), pp. 496–504.
ICML-c2-2014-MizrahiDF #learning #linear #markov #parallel #random: Linear and Parallel Learning of Markov Random Fields (YDM, MD, NdF), pp. 199–207.
ICML-c2-2014-NieHH #linear: Linear Time Solver for Primal SVM (FN, YH, HH), pp. 505–513.
ICML-c2-2014-SunIM #classification #learning #linear: Learning Mixtures of Linear Classifiers (YS, SI, AM), pp. 721–729.
ICML-c2-2014-TaylorGP #analysis #approximate #linear #programming: An Analysis of State-Relevance Weights and Sampling Distributions on L1-Regularized Approximate Linear Programming Approximation Accuracy (GT, CG, DP), pp. 451–459.
ICML-c2-2014-ToulisAR #analysis #linear #modelling #probability #statistics: Statistical analysis of stochastic gradient methods for generalized linear models (PT, EA, JR), pp. 667–675.
ICML-c2-2014-YangLR #linear: Elementary Estimators for High-Dimensional Linear Regression (EY, ACL, PDR), pp. 388–396.
ICML-c2-2014-YiCS #linear: Alternating Minimization for Mixed Linear Regression (XY, CC, SS), pp. 613–621.
ICPR-2014-ChenYJ #analysis #feature model #linear #robust: An Improved Linear Discriminant Analysis with L1-Norm for Robust Feature Extraction (XC, JY, ZJ), pp. 1585–1590.
ICPR-2014-DuZCW #flexibility #learning #linear #random: Learning Flexible Binary Code for Linear Projection Based Hashing with Random Forest (SD, WZ, SC, YW), pp. 2685–2690.
ICPR-2014-FornoniC #learning #naive bayes #recognition: Scene Recognition with Naive Bayes Non-linear Learning (MF, BC), pp. 3404–3409.
ICPR-2014-GubarevaSSLM #linear: Finding the Largest Hypercavity in a Linear Data Space (AG, VS, OS, AL, VM), pp. 4406–4410.
ICPR-2014-ItohIS #2d #image #linear #using: Two-Dimensional Global Image Registration Using Local Linear Property of Image Manifold (HI, AI, TS), pp. 3862–3867.
ICPR-2014-KrytheL #analysis #linear: Implicitly Constrained Semi-supervised Linear Discriminant Analysis (JHK, ML), pp. 3762–3767.
ICPR-2014-LenochHGW #3d #linear: Linear Unmixing in BRDF Reproduction and 3D Shape Recovery (ML, SH, AG, CW), pp. 2071–2076.
ICPR-2014-MiaoSH #linear #multi #programming #robust: Fusion of Multibiometrics Based on a New Robust Linear Programming (DM, ZS, YH), pp. 291–296.
ICPR-2014-NguyenP #linear #multi #using: Tracking Using Multiple Linear Searches and Motion Direction Sampling (TN, TPP), pp. 2191–2196.
ICPR-2014-NieJ #learning #linear #using: Feature Learning Using Bayesian Linear Regression Model (SN, QJ), pp. 1502–1507.
ICPR-2014-RahmaniMHM #classification #linear: Action Classification with Locality-Constrained Linear Coding (HR, AM, DQH, ASM), pp. 3511–3516.
ICPR-2014-YanRLSS #analysis #clustering #invariant #linear #multi #recognition: Clustered Multi-task Linear Discriminant Analysis for View Invariant Color-Depth Action Recognition (YY, ER, GL, RS, NS), pp. 3493–3498.
KDD-2014-FangP #algorithm #linear #performance: Fast DTT: a near linear algorithm for decomposing a tensor into factor tensors (XF, RP), pp. 967–976.
KDD-2014-FangT #linear: Networked bandits with disjoint linear payoffs (MF, DT), pp. 1106–1115.
KDD-2014-TsaiLL #classification #incremental #linear: Incremental and decremental training for linear classification (CHT, CYL, CJL), pp. 343–352.
KDD-2014-Yoshida #adaptation #algorithm #linear #sketching #using: Almost linear-time algorithms for adaptive betweenness centrality using hypergraph sketches (YY), pp. 1416–1425.
KDIR-2014-SenkoDPRK #modelling: A Method for Evaluating Validity of Piecewise-linear Models (OVS, DSD, EAP, LYR, AVK), pp. 437–443.
KR-2014-Lin #first-order #formal method #linear #logic #source code: A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).
KR-2014-Potyka #consistency #linear #logic #nondeterminism #probability #source code: Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).
RecSys-2014-Christakopoulou #independence #recommendation: Moving beyond linearity and independence in top-N recommender systems (EC), pp. 409–412.
PPDP-J-2012-LagoP14 #call-by #dependent type #linear: Linear dependent types in a call-by-value scenario (UDL, BP), pp. 77–100.
PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
POPL-2014-JeannetSS #linear: Abstract acceleration of general linear loops (BJ, PS, SS), pp. 529–540.
SAC-2014-MoonKSP #image #novel #scalability: A novel double linear-cubic convolution interpolation for digital image scaling (HMM, KRK, JS, SBP), pp. 1733–1734.
CC-2014-AnantpurG #control flow: Taming Control Divergence in GPUs through Control Flow Linearization (JA, RG), pp. 133–153.
CGO-2014-SpampinatoP #algebra #compilation #linear: A Basic Linear Algebra Compiler (DGS, MP), p. 23.
ISMM-2014-BrandtKSB #concurrent #garbage collection #linear #parallel: Concurrent, parallel garbage collection in linear time (SRB, HK, GS, CB), pp. 47–58.
LCTES-2014-BeaugnonKHBTAL #algebra #linear #named: VOBLA: a vehicle for optimized basic linear algebra (UB, AK, SvH, RB, DT, JA, AL), pp. 115–124.
ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using: Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
ICLP-J-2014-CominiTV #linear #logic #using: Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.
ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language: A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
IJCAR-2014-BozzelliS #linear #logic: Visibly Linear Temporal Logic (LB, CS), pp. 418–433.
LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring: Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.
LICS-CSL-2014-Padovani #concurrent #linear #π-calculus: Deadlock and lock freedom in the linear π-calculus (LP), p. 10.
SMT-2014-KingBT #integer #linear #programming #smt: Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.
CASE-2013-LiF #approach #integer #linear #multi #problem #programming #scheduling: A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping (XL, RYKF), pp. 274–279.
CASE-2013-SilvaCTS #automation #linear #optimisation #programming: A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
CASE-2013-SunSSZS #heuristic #optimisation: A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization (BS, ZS, JS, GZ, LS), pp. 629–633.
DAC-2013-KarthikR #approximate #linear #modelling #named #using: ABCD-L: approximating continuous linear systems using boolean models (KVA, JSR), p. 9.
DAC-2013-ShafaeiSP #architecture #distance #interactive #linear #nearest neighbour #optimisation #quantum: Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures (AS, MS, MP), p. 6.
DAC-2013-ZhouLJ #3d #complexity #finite #linear #multi #scalability: A direct finite element solver of linear complexity for large-scale 3-D circuit extraction in multiple dielectrics (BZ, HL, DJ), p. 6.
DATE-2013-LifaEP #linear #predict: Dynamic configuration prefetching based on piecewise linear prediction (AAL, PE, ZP), pp. 815–820.
DATE-2013-LiuLHCLL #clustering #effectiveness #linear #network #programming #prototype #statistics: Effective power network prototyping via statistical-based clustering and sequential linear programming (SYSL, CJL, CCH, HMC, CTL, CHL), pp. 1701–1706.
DATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off: Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.
SIGMOD-2013-PapadopoulosCDG #algebra #authentication #data type #lightweight #linear #query: Lightweight authentication of linear algebraic queries on data streams (SP, GC, AD, MNG), pp. 881–892.
TACAS-2013-JohnC #linear #quantifier: Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors (AKJ, SC), pp. 78–92.
PEPM-2013-CominiT #automation #equivalence #linear #named #term rewriting: TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems (MC, LT), pp. 67–70.
PLDI-2013-LiangF #composition #verification: Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
STOC-2013-EisenstatK #algorithm #graph #linear #multi: Linear-time algorithms for max flow and multiple-source shortest paths in unit-weight planar graphs (DE, PNK), pp. 735–744.
STOC-2013-Har-PeledR #algorithm #distance #linear #problem: Net and prune: a linear time algorithm for euclidean distance problems (SHP, BAR), pp. 605–614.
STOC-2013-HardtW #adaptation #how #linear #question #robust #sketching: How robust are linear sketches to adaptive inputs? (MH, DPW), pp. 121–130.
STOC-2013-KelnerOSZ #algorithm #combinator: A simple, combinatorial algorithm for solving SDD systems in nearly-linear time (JAK, LO, AS, ZAZ), pp. 911–920.
STOC-2013-KleinMS #graph #linear #recursion: Structured recursive separator decompositions for planar graphs in linear time (PNK, SM, CS), pp. 505–514.
STOC-2013-MengM #linear #robust: Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (XM, MWM), pp. 91–100.
STOC-2013-Wootters #fault #linear #on the #random #scalability: On the list decodability of random linear codes with large error rates (MW), pp. 853–860.
DLT-2013-BertoniCD #automaton #context-free grammar #decidability #finite #linear #problem #quantum: Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem (AB, CC, FD), pp. 82–93.
DLT-2013-FulopM #composition #linear #top-down #transducer: Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers (ZF, AM), pp. 239–251.
ICALP-v1-2013-0002LPRRSS #algorithm #kernel #linear: Linear Kernels and Single-Exponential Algorithms via Protrusion Decompositions (EJK, AL, CP, FR, PR, IS, SS), pp. 613–624.
ICALP-v1-2013-AndoniNPW #bound #linear #sketching: Tight Lower Bound for Linear Sketches of Moments (AA, HLN, YP, YW), pp. 25–32.
ICALP-v1-2013-DuanM #algorithm #combinator #linear #polynomial: A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market (RD, KM), pp. 425–436.
ICALP-v1-2013-Kolmogorov #linear #power of #programming: The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization (VK), pp. 625–636.
ICALP-v1-2013-WeimannY #approximate #graph #linear: Approximating the Diameter of Planar Graphs in Near Linear Time (OW, RY), pp. 828–839.
ICALP-v1-2013-WimmerY #invariant #morphism #testing: Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.
ICALP-v2-2013-Jez #equation #linear #word: One-Variable Word Equations in Linear Time (AJ), pp. 324–335.
LATA-2013-GocSS #automation #sequence #word: Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences (DG, KS, JS), pp. 311–322.
LATA-2013-KociumakaRRW #algorithm #linear #testing: Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing (TK, JR, WR, TW), pp. 383–394.
LATA-2013-NakamuraI #automaton #linear #stack: Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars (KN, KI), pp. 444–455.
LATA-2013-Ouaknine #linear: Discrete Linear Dynamical Systems (JO), p. 42.
ICFP-2013-Dolan #algebra #functional #linear: Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
ICEIS-v1-2013-QasimR #analysis #classification #evaluation #linear #using: Classification of Hepatitis Patients and Fibrosis Evaluation using Decision Trees and Linear Discriminant Analysis (RQ, RMR), pp. 239–246.
CIKM-2013-AkibaIY #linear #network #random #scalability: Linear-time enumeration of maximal K-edge-connected subgraphs in large networks by random contraction (TA, YI, YY), pp. 909–918.
CIKM-2013-XieSYPZ #correlation #detection #streaming: Local correlation detection with linearity enhancement in streaming data (QX, SS, BY, CP, XZ), pp. 309–318.
ICML-c1-2013-AnandkumarHJK #learning #linear #network: Learning Linear Bayesian Networks with Latent Variables (AA, DH, AJ, SK), pp. 249–257.
ICML-c1-2013-ChevaleyreKZ #classification #linear: Rounding Methods for Discrete Linear Classification (YC, FK, JDZ), pp. 651–659.
ICML-c1-2013-PeleTGW #classification #performance: The Pairwise Piecewise-Linear Embedding for Efficient Non-Linear Classification (OP, BT, AG, MW), pp. 205–213.
ICML-c1-2013-ZhangC #analysis #linear: Sparse Uncorrelated Linear Discriminant Analysis (XZ, DC), pp. 45–52.
ICML-c3-2013-0002YY #linear: Guaranteed Sparse Recovery under Linear Transformation (JL, LY, JY), pp. 91–99.
ICML-c3-2013-AgrawalG #linear: Thompson Sampling for Contextual Bandits with Linear Payoffs (SA, NG), pp. 127–135.
ICML-c3-2013-BaktashmotlaghHBLS #analysis #classification #video: Non-Linear Stationary Subspace Analysis with Application to Video Classification (MB, MTH, AB, BCL, MS), pp. 450–458.
ICML-c3-2013-ChagantyL #linear: Spectral Experts for Estimating Mixtures of Linear Regressions (ATC, PL), pp. 1040–1048.
ICML-c3-2013-GermainHLM #adaptation #approach #classification #linear: A PAC-Bayesian Approach for Domain Adaptation with Specialization to Linear Classifiers (PG, AH, FL, EM), pp. 738–746.
ICML-c3-2013-JoseGAV #kernel #learning #performance #predict: Local Deep Kernel Learning for Efficient Non-linear SVM Prediction (CJ, PG, PA, MV), pp. 486–494.
KDD-2013-CaiQ #analysis #linear #on the #rank: On the equivalent of low-rank linear regressions and linear discriminant analysis based regressions (XC, CHQD, FN, HH), pp. 1124–1132.
KDD-2013-YenCLLL #classification #coordination #linear #memory management #scalability: Indexed block coordinate descent for large-scale linear classification with limited memory (IEHY, CFC, TWL, SWL, SDL), pp. 248–256.
ECOOP-2013-ZhuL #composition #linear #programming: Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.
LOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem: Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.
PPDP-2013-BagnaraM #linear #ranking: Eventual linear ranking functions (RB, FM), pp. 229–238.
POPL-2013-Ben-AmramG #constraints #integer #linear #on the #problem #ranking: On the linear ranking problem for integer linear-constraint loops (AMBA, SG), pp. 51–62.
POPL-2013-GaboardiHHNP #dependent type #difference #linear #privacy: Linear dependent types for differential privacy (MG, AH, JH, AN, BCP), pp. 357–370.
SAC-2013-BlondelSU #classification #constraints #learning #using: Learning non-linear classifiers with a sparsity constraint using L1 regularization (MB, KS, KU), pp. 167–169.
SAC-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.
CGO-2013-DuchateauPB #algebra #algorithm #automation #equation #linear #named: Hydra: Automatic algorithm exploration from linear algebra equations (AD, DAP, DB), p. 10.
CAV-2013-0001LMN #data type #invariant #learning #linear #quantifier: Learning Universally Quantified Invariants of Linear Data Structures (PG, CL, PM, DN), pp. 813–829.
CAV-2013-ChenAS #hybrid: Flow*: An Analyzer for Non-linear Hybrid Systems (XC, EÁ, SS), pp. 258–263.
CAV-2013-DaiXZ #generative #programming: Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
CSL-2013-CloustonDGT #calculus #linear #logic: Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.
CSL-2013-HampsonK #first-order #linear #logic: One-variable first-order linear temporal logics with counting (CH, AK), pp. 348–362.
LICS-2013-AndersonDH #fixpoint #linear #logic #programming: Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.
RTA-2013-Accattoli #linear #logic #normalisation: Linear Logic and Strong Normalization (BA), pp. 39–54.
RTA-2013-Das #linear #logic: Rewriting with Linear Inferences in Propositional Logic (AD), pp. 158–173.
TLCA-2013-Clairambault #bound #linear #reduction: Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction (PC), pp. 109–124.
TLCA-2013-Mazza #metric: Non-linearity as the Metric Completion of Linearity (DM), pp. 3–14.
ASE-2012-AminGC #approach #automation #linear #modelling: An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling (AA, LG, AC), pp. 130–139.
CASE-2012-LiuJCLX #analysis #canonical #correlation #fault #identification #linear #research: Research on fault identification for complex system based on generalized linear canonical correlation analysis (DL, DJ, XC, AL, GX), pp. 474–478.
CASE-2012-ParkM #behaviour #bound #clustering #hybrid #linear #performance #tool support: Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools (KP, JRM), pp. 371–376.
CASE-2012-ShinPKA #analysis #linear: Structural analysis of built-in sensor frame in jaws with linear type gripper (DHS, TSP, YGK, JA), pp. 810–814.
CASE-2012-TuanKL #3d #feedback: Partial Feedback Linearization Control of the three dimensional overhead crane (LAT, GHK, SGL), pp. 1198–1203.
CASE-2012-WuY #estimation #linear #markov #metric #using: State estimation for Markovian Jump Linear System using quantized measurements (HW, HY), pp. 527–531.
DATE-2012-GaoXCG #design: Design of an intrinsically-linear double-VCO-based ADC with 2nd-order noise shaping (PG, XX, JC, GGEG), pp. 1215–1220.
DATE-2012-MahmoodSD #framework #linear #modelling #multi #performance: An efficient framework for passive compact dynamical modeling of multiport linear systems (ZM, RS, LD), pp. 1203–1208.
DATE-2012-Mancini #kernel #memory management #synthesis: Enhancing non-linear kernels by an optimized memory hierarchy in a High Level Synthesis flow (SM, FR), pp. 1130–1133.
DATE-2012-WangLPW #algorithm #difference #linear #simulation: An operational matrix-based algorithm for simulating linear and fractional differential circuits (YW, HL, GKHP, NW), pp. 1463–1466.
DocEng-2012-MeixnerK #interactive #video #xml: Interactive non-linear video: definition and XML structure (BM, HK), pp. 49–58.
PODS-2012-GrozMS #linear #regular expression: Deterministic regular expressions in linear time (BG, SM, SS), pp. 49–60.
PODS-2012-IndykLR #approximate #testing: Approximating and testing k-histogram distributions in sub-linear time (PI, RL, RR), pp. 15–22.
ESOP-2012-PerezCPT #concurrent #linear #logic: Linear Logical Relations for Session-Based Concurrency (JAP, LC, FP, BT), pp. 539–558.
SAS-2012-ChenFM #linear #proving #termination: Termination Proofs for Linear Simple Loops (HYC, SF, SM), pp. 422–438.
STOC-2012-BhaskaraDKT #linear #query: Unconditional differentially private mechanisms for linear queries (AB, DD, RK, KT), pp. 1269–1284.
STOC-2012-FioriniMPTW #bound #exponential #linear: Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds (SF, SM, SP, HRT, RdW), pp. 95–106.
STOC-2012-GargMSV #algorithm: A complementary pivot algorithm for markets under separable, piecewise-linear concave utilities (JG, RM, MAS, VVV), pp. 1003–1016.
STOC-2012-SharathkumarA #algorithm #approximate #geometry: A near-linear time ε-approximation algorithm for geometric bipartite matching (RS, PKA), pp. 385–394.
CIAA-2012-Oliveira #algebra #automaton #linear #probability: Typed Linear Algebra for Weigthed (Probabilistic) Automata (JNO), pp. 52–65.
ICALP-v1-2012-AzarG #constraints #linear #performance: Efficient Submodular Function Maximization under Linear Packing Constraints (YA, IG), pp. 38–50.
ICALP-v1-2012-MolinaroR #geometry #linear #online #source code: Geometry of Online Packing Linear Programs (MM, RR), pp. 701–713.
ICALP-v1-2012-Schmidt #linear: Certifying 3-Connectivity in Linear Time (JMS), pp. 786–797.
ICALP-v2-2012-Spielman #algorithm #equation #graph #linear: Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations (DAS), pp. 24–26.
CIKM-2012-ComarLSNT #detection #kernel #linear: Weighted linear kernel with tree transformed features for malware detection (PMC, LL, SS, AN, PNT), pp. 2287–2290.
CIKM-2012-XieZSzP #data type #linear #multi #performance #representation: Efficient buffer management for piecewise linear representation of multiple data streams (QX, JZ, MAS, XZ, CP), pp. 2114–2118.
CIKM-2012-ZhangWH #integer #linear #programming #set: Selecting expansion terms as a set via integer linear programming (QZ, YW, XH), pp. 2399–2402.
ECIR-2012-GeraniZC #linear #multi #ranking: Score Transformation in Linear Combination for Multi-criteria Relevance Ranking (SG, CZ, FC), pp. 256–267.
ICML-2012-BelletHS #classification #learning #linear #similarity: Similarity Learning for Provably Accurate Sparse Linear Classification (AB, AH, MS), p. 193.
ICML-2012-ChenCRCC #analysis #linear: Communications Inspired Linear Discriminant Analysis (MC, WRC, MRDR, LC, ARC), p. 196.
ICML-2012-DegrisWS #linear: Linear Off-Policy Actor-Critic (TD, MW, RSS), p. 28.
ICML-2012-HartikainenSS #modelling #predict: State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
ICML-2012-HazanK12a #linear: Linear Regression with Limited Observation (EH, TK), p. 242.
ICML-2012-KongD #algorithm #linear: An Iterative Locally Linear Embedding Algorithm (DK, CHQD), p. 122.
ICML-2012-MerchanteGG #analysis #approach #linear #performance: An Efficient Approach to Sparse Linear Discriminant Analysis (LFSM, YG, GG), p. 168.
ICML-2012-PiresS #estimation #learning #linear #statistics: Statistical linear estimation with penalized estimators: an application to reinforcement learning (BAP, CS), p. 228.
ICPR-2012-BaiZX #detection #linear #multi: Multi scale multi structuring element top-hat transform for linear feature detection (XB, FZ, BX), pp. 1920–1923.
ICPR-2012-BrownLG #linear #recognition: Locality-Regularized Linear Regression for face recognition (DB, HL, YG), pp. 1586–1589.
ICPR-2012-DongYDWYGSM #classification #linear: A Linear Max K-min classifier (MD, LY, WD, QW, CY, JG, LS, LM), pp. 2967–2971.
ICPR-2012-DuH #adaptation #approach #linear: A discriminative linear regression approach to OCR adaptation (JD, QH), pp. 629–632.
ICPR-2012-LeiLL #analysis #feature model #linear #performance #recognition: Efficient feature selection for linear discriminant analysis and its application to face recognition (ZL, SL, SZL), pp. 1136–1139.
ICPR-2012-LiuDHZL #linear: A cost construction via MSW and linear regression for stereo matching (TL, XD, ZH, XZ, LL), pp. 914–917.
ICPR-2012-LiuLWZ #learning #linear: Locally linear embedding based example learning for pan-sharpening (QL, LL, YW, ZZ), pp. 1928–1931.
ICPR-2012-SjobergKIL #classification #concept #detection #linear #realtime #scalability #visual notation: Real-time large-scale visual concept detection with linear classifiers (MS, MK, SI, JL), pp. 421–424.
ICPR-2012-TaniguchiHISC #image #linear: Image super-resolution based on locality-constrained linear coding (KT, XHH, YI, SS, YWC), pp. 1948–1951.
ICPR-2012-WangST #feature model #linear #programming #recognition #robust: Robust regularized feature selection for iris recognition via linear programming (LW, ZS, TT), pp. 3358–3361.
ICPR-2012-YilmazYK #multimodal #network #process: Non-linear weighted averaging for multimodal information fusion by employing Analytical Network Process (TY, AY, MK), pp. 234–237.
ICPR-2012-ZhangWDP #detection #linear: Skin detection via linear regression tree (JZ, HW, FD, CP), pp. 1711–1714.
ICPR-2012-ZillyRMWSK #multi #using: Multi-camera rectification using linearized trifocal tensor (FZ, CR, MM, WW, TS, PK), pp. 2727–2731.
KDD-2012-BoleyMG #linear #using: Linear space direct pattern sampling using coupling from the past (MB, SM, TG), pp. 69–77.
KDD-2012-MatsushimaVS #linear: Linear support vector machines via dual cached loops (SM, SVNV, AJS), pp. 177–185.
KDD-2012-PhamP #algorithm #approximate #detection: A near-linear time approximation algorithm for angle-based outlier detection in high-dimensional data (NP, RP), pp. 877–885.
RecSys-2012-NingK #linear #recommendation: Sparse linear methods with side information for top-n recommendations (XN, GK), pp. 155–162.
SEKE-2012-NarataM #linear: Managing Linear Hash in a Closed Space (SN, TM), pp. 741–746.
SEKE-2012-WangXC #linear #mining #network #social: Sparse Linear Influence Model for Hot User Selection on Mining a Social Network (YW, GX, SKC), pp. 1–6.
SIGIR-2012-MarkovAC #linear #normalisation #revisited: Unsupervised linear score normalization revisited (IM, AA, FC), pp. 1161–1162.
PPDP-2012-LagoP #call-by #dependent type #linear: Linear dependent types in a call-by-value scenario (UDL, BP), pp. 115–126.
PPDP-2012-LamC #datalog #linear #logic #modelling: Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.
PPDP-2012-OlartePRC #approach #automation #concurrent #constraints #linear #verification: A linear concurrent constraint approach for the automatic verification of access permissions (CO, EP, CR, NC), pp. 207–216.
SAC-2012-Skubch #constraints #realtime: Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.
PPoPP-2012-MarkerTPBG #algebra #developer #linear: Mechanizing the expert dense linear algebra developer (BM, AT, JP, DSB, RAvdG), pp. 289–290.
PPoPP-2012-ZhangL #linear #named: LHlf: lock-free linear hashing (poster paper) (DZ, PÅL), pp. 307–308.
CAV-2012-Venet #analysis #difference #invariant #linear #scalability: The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
CSL-2012-DawarGHKP #equation #linear: Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.
CSL-2012-DeYoungCPT #communication #linear #logic #reduction: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
CSL-2012-GroheO #equation #game studies #linear: Pebble Games and Linear Equations (MG, MO), pp. 289–304.
CSL-2012-Kuske #automation #linear #morphism #order: Isomorphisms of scattered automatic linear orders (DK), pp. 455–469.
IJCAR-2012-BobotCCIMMM #integer #linear: A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
IJCAR-2012-FalkeK #induction #linear: Rewriting Induction + Linear Arithmetic = Decision Procedure (SF, DK), pp. 241–255.
IJCAR-2012-HeamHK #linear #logic: From Linear Temporal Logic Properties to Rewrite Propositions (PCH, VH, OK), pp. 316–331.
IJCAR-2012-JovanovicM: Solving Non-linear Arithmetic (DJ, LMdM), pp. 339–354.
LICS-2012-Nigam #complexity #linear #logic #on the: On the Complexity of Linear Authorization Logics (VN), pp. 511–520.
LICS-2012-SchalkS #linear #logic #modelling #multi: Constructing Fully Complete Models for Multiplicative Linear Logic (AS, HPS), pp. 571–580.
SAT-2012-SlivovskyS #dependence #linear: Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.
TAP-2012-SulzmannZ #analysis #finite #linear #logic: Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.
CASE-2011-Gomez-GutierrezCRRG #linear: Sliding mode observer for Switched Linear Systems (DGG, SC, ART, JJRL, SDG), pp. 725–730.
CASE-2011-MovafaghpourM #approach #linear #probability #programming: A linear programming approach for probabilistic robot path planning with missing information of outcomes (MAM, EM), pp. 126–132.
CASE-2011-SchererCC #distributed #linear #modelling #network: Transfer function modeling of linear dynamic networks for distributed MPC (HFS, EC, AC), pp. 613–618.
DAC-2011-ChaiJ #complexity #equation #linear #matrix: Direct matrix solution of linear complexity for surface integral-equation based impedance extraction of high bandwidth interconnects (WC, DJ), pp. 206–211.
DAC-2011-MukherjeeFBL #automation #linear #scalability: Automatic stability checking for large linear analog integrated circuits (PM, GPF, RB, PL), pp. 304–309.
HT-2011-ChilukuriI #algorithm: An algorithm to generate engaging narratives through non-linearity (VC, BI), pp. 291–298.
ICDAR-2011-VinelDA #feature model #linear #optimisation #random: Joint Optimization of Hidden Conditional Random Fields and Non Linear Feature Extraction (AV, TMTD, TA), pp. 513–517.
VLDB-2011-ChiMH #incremental #linear #named #scheduling: iCBS: Incremental Costbased Scheduling under Piecewise Linear SLAs (YC, HJM, HH), pp. 563–574.
ESOP-2011-ChenMWC #analysis #linear: Linear Absolute Value Relation Analysis (LC, AM, JW, PC), pp. 156–175.
FASE-2011-MassinkLBH #modelling: Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
FoSSaCS-2011-Hoshino #functional #linear #programming language: A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
FoSSaCS-2011-Kobayashi #algorithm #automaton #higher-order #linear #model checking #recursion: A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (NK0), pp. 260–274.
TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime: Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
TACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
STOC-2011-AaronsonA #complexity #linear: The computational complexity of linear optics (SA, AA), pp. 333–342.
STOC-2011-DinitzK #linear #source code: Directed spanners via flow-based linear programs (MD, RK), pp. 323–332.
STOC-2011-KhotM #approximate #equation #linear #np-hard: NP-hardness of approximately solving linear equations over reals (SK, DM), pp. 413–420.
STOC-2011-NovocinSV #algorithm #complexity: An LLL-reduction algorithm with quasi-linear time complexity: extended abstract (AN, DS, GV), pp. 403–412.
DLT-J-2009-BloomE11 #algebra #linear #order: Algebraic Linear Orderings (SLB, ZÉ), pp. 491–515.
DLT-J-2010-YuanCL11 #fault #graph: Linearly Many Faults in (n, k)-Star Graphs (AY, EC, LL), pp. 1729–1745.
CIAA-2011-Ibarra #equivalence #linear #on the #problem #transducer: On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs (OHI), pp. 190–202.
DLT-2011-Esik #linear #order: Scattered Context-Free Linear Orderings (ZÉ), pp. 216–227.
DLT-2011-MantaciM #linear: From Linear Partitions to Parallelogram Polyominoes (RM, PM), pp. 350–361.
ICALP-v1-2011-DurocherHMNS #constant #linear: Range Majority in Constant Time and Linear Space (SD, MH, JIM, PKN, MS), pp. 244–255.
ICALP-v1-2011-KawarabayashiKS #approximate #bound #distance #graph: Linear-Space Approximate Distance Oracles for Planar, Bounded-Genus and Minor-Free Graphs (KiK, PNK, CS), pp. 135–146.
ICALP-v2-2011-AhnG #linear #problem #programming: Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem (KJA, SG), pp. 526–538.
ICALP-v2-2011-CartonCP #linear #order #regular expression #word: Regular Languages of Words over Countable Linear Orderings (OC, TC, GP), pp. 125–136.
ICALP-v2-2011-FischerK #calculus #hybrid #linear #model checking #μ-calculus: Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (DF, LK), pp. 404–415.
ICFP-2011-GaboardiPP #exclamation #semantics: Linearity and PCF: a semantic insight! (MG, LP, MP), pp. 372–384.
CIKM-2011-JangKFP #approximate #distance #linear: A linear-time approximation of the earth mover’s distance (MHJ, SWK, CF, SP), pp. 505–514.
ICML-2011-Bylander #learning #linear #multi #polynomial: Learning Linear Functions with Quadratic and Linear Multiplicative Updates (TB), pp. 505–512.
ICML-2011-CossalterYZ #adaptation #approximate #kernel #predict #scalability: Adaptive Kernel Approximation for Large-Scale Non-Linear SVM Prediction (MC, RY, LZ), pp. 409–416.
ICML-2011-Gould #learning #linear #markov #random: Max-margin Learning for Lower Linear Envelope Potentials in Binary Markov Random Fields (SG), pp. 193–200.
ICML-2011-LadickyT #linear: Locally Linear Support Vector Machines (LL, PHST), pp. 985–992.
ICML-2011-MeyerBS #approach #constraints #linear: Linear Regression under Fixed-Rank Constraints: A Riemannian Approach (GM, SB, RS), pp. 545–552.
ICML-2011-Potetz #linear #problem #using: Estimating the Bayes Point Using Linear Knapsack Problems (BP), pp. 257–264.
KDD-2011-ChangR #convergence #linear #memory management #modelling #performance #scalability: Selective block minimization for faster convergence of limited memory large-scale linear models (KWC, DR), pp. 699–707.
KDD-2011-MukerjeePG #algorithm #framework #linear #mining #semantics #sql: Linear scale semantic mining algorithms in microsoft SQL server’s semantic platform (KM, TP, SG), pp. 213–221.
SEKE-2011-Amasaki #case study #consistency #estimation #linear #nondeterminism #performance: A Study on Performance Inconsistency between Estimation by Analogy and Linear Regression (SA), pp. 485–488.
OOPSLA-2011-AdamsKMMCD #polynomial: Flow-sensitive type recovery in linear-log time (MDA, AWK, JM, MM, AC, RKD), pp. 483–498.
LOPSTR-2011-StroderESGF #analysis #complexity #linear #prolog #semantics #termination: A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog (TS, FE, PSK, JG, CF), pp. 237–252.
PPDP-2011-AlvesFFM #recursion #λ-calculus: Linearity and recursion in a typed λ-calculus (SA, MF, MF, IM), pp. 173–182.
PPDP-2011-ToninhoCP #linear #type system: Dependent session types via intuitionistic linear type theory (BT, LC, FP), pp. 161–172.
QAPL-2011-AssouramouD #analysis #hybrid #probability: Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
CADE-2011-JovanovicM #integer #linear: Cutting to the Chase Solving Linear Integer Arithmetic (DJ, LMdM), pp. 338–353.
CADE-2011-KorovinV #bound #linear: Solving Systems of Linear Inequalities by Bound Propagation (KK, AV), pp. 369–383.
CAV-2011-JohnC #algorithm #composition #equation #linear #quantifier: A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.
CAV-2011-KroeningOSWW #bound #linear #model checking: Linear Completeness Thresholds for Bounded Model Checking (DK, JO, OS, TW, JW), pp. 557–572.
CSL-2011-BesC #algebra #linear #order: Algebraic Characterization of FO for Scattered Linear Orderings (AB, OC), pp. 67–81.
CSL-2011-Kieronski #decidability #linear #logic #order: Decidability Issues for Two-Variable Logics with Several Linear Orders (EK), pp. 337–351.
CSL-2011-Vardi #branch #linear #perspective #semantics: Branching vs. Linear Time: Semantical Perspective (MYV), p. 3.
ICLP-J-2011-AreiasR #evaluation #logic programming #on the #source code: On combining linear-based strategies for tabled evaluation of logic programs (MA, RR), pp. 681–696.
ICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic: Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.
LICS-2011-Heijltjes #linear #logic #proving: Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.
LICS-2011-LagoG #dependent type #linear: Linear Dependent Types and Relative Completeness (UDL, MG), pp. 133–142.
RTA-2011-DurandS #bound #linear: Left-linear Bounded TRSs are Inverse Recognizability Preserving (ID, MS), pp. 361–376.
RTA-2011-KochemsO #analysis #functional #linear #reachability #using: Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars (JK, CHLO), pp. 187–202.
RTA-2011-NishidaSS #term rewriting: Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (NN, MS, TS), pp. 267–282.
TLCA-2011-Gimenez #difference #linear #logic #normalisation #proving: Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.
TLCA-2011-Roversi #linear #λ-calculus: Linear λ Calculus and Deep Inference (LR), pp. 184–197.
DAC-2010-GuthausWR #linear #optimisation #programming: Non-uniform clock mesh optimization with linear programming buffer insertion (MRG, GW, RR), pp. 74–79.
DAC-2010-ShenTX #algorithm #analysis #correlation #linear #power management #statistics: A linear algorithm for full-chip statistical leakage power analysis considering weak spatial correlation (RS, SXDT, JX), pp. 481–486.
DAC-2010-XiongW #algorithm #constraints #grid #linear #performance #power management #verification: An efficient dual algorithm for vectorless power grid verification under linear current constraints (XX, JW), pp. 837–842.
DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability: BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
DATE-2010-FerentSGD #approach #embedded #linear #network #programming: Linear programming approach for performance-driven data aggregation in networks of embedded sensors (CF, VS, MG, AD), pp. 1456–1461.
DATE-2010-MaricauG #complexity #reliability #simulation #variability: Variability-aware reliability simulation of mixed-signal ICs with quasi-linear complexity (EM, GGEG), pp. 1094–1099.
DATE-2010-PanYZS #approach #megamodelling #order #performance #reduction: An efficient transistor-level piecewise-linear macromodeling approach for model order reduction of nonlinear circuits (XP, FY, XZ, YS), pp. 1673–1676.
DATE-2010-RitheGWDGBC #analysis #logic #statistics: Non-linear Operating Point Statistical Analysis for Local Variations in logic timing at low voltage (RR, JG, AW, SD, GG, DB, AC), pp. 965–968.
PODS-2010-LiHRMM #difference #linear #optimisation #privacy #query: Optimizing linear counting queries under differential privacy (CL, MH, VR, GM, AM), pp. 123–134.
VLDB-2010-LiPF #linear: Parsimonious Linear Fingerprinting for Time Series (LL, BAP, CF), pp. 385–396.
ESOP-2010-BaillotGM #functional #linear #logic: A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
FoSSaCS-2010-EggerMS #calculus #continuation: Linearly-Used Continuations in the Enriched Effect Calculus (JE, REM, AS), pp. 18–32.
WRLA-2010-BaeM #linear #logic #maude #model checking: The Linear Temporal Logic of Rewriting Maude Model Checker (KB, JM), pp. 208–225.
SAS-2010-CheriniRB #analysis #data type: A Shape Analysis for Non-linear Data Structures (RC, LR, JOB), pp. 201–217.
SAS-2010-KatoenMMM #automation #generative #invariant #probability #source code: Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.
SAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
SAS-2010-NasreG #analysis #equation #linear #points-to: Points-to Analysis as a System of Linear Equations (RN, RG), pp. 422–438.
STOC-2010-DeyHK #linear #programming: Optimal homologous cycles, total unimodularity, and linear programming (TKD, ANH, BK), pp. 221–230.
STOC-2010-GuruswamiHK #linear #on the #random: On the list-decodability of random linear codes (VG, JH, SK), pp. 409–416.
STOC-2010-KoppartyS #fault #linear #random #testing: Local list-decoding and testing of random linear codes from high error (SK, SS), pp. 417–426.
ICALP-v1-2010-BjorklundHKK #linear: Covering and Packing in Linear Space (AB, TH, PK, MK), pp. 727–737.
ICALP-v1-2010-PatrascuT #independence #linear #on the: On the k-Independence Required by Linear Probing and Minwise Independence (MP, MT), pp. 715–726.
ICALP-v2-2010-BraudC #automaton #linear #order: Linear Orders in the Pushdown Hierarchy (LB, AC), pp. 88–99.
ICFP-2010-MazurakZ #concurrent #linear #logic #named: Lolliproc: to concurrency from classical linear logic via curry-howard and control (KM, SZ), pp. 39–50.
CHI-2010-BaillyLG #linear #multi: Finger-count & radial-stroke shortcuts: 2 techniques for augmenting linear menus on multi-touch surfaces (GB, EL, YG), pp. 591–594.
ECIR-2010-AnderkaSP #bound #similarity #why: Cross-Language High Similarity Search: Why No Sub-linear Time Bound Can Be Expected (MA, BS, MP), pp. 640–644.
ICML-2010-BshoutyL #clustering #linear #using: Finding Planted Partitions in Nearly Linear Time using Arrested Spectral Clustering (NHB, PML), pp. 135–142.
ICML-2010-KrishnamurthyT: Inverse Optimal Control with Linearly-Solvable MDPs (KD, ET), pp. 335–342.
ICML-2010-Martens10a #learning #linear: Learning the Linear Dynamical System with ASOS (JM), pp. 743–750.
ICML-2010-NairH #linear #strict: Rectified Linear Units Improve Restricted Boltzmann Machines (VN, GEH), pp. 807–814.
ICML-2010-PetrikTPZ #approximate #feature model #linear #markov #process #source code #using: Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes (MP, GT, RP, SZ), pp. 871–878.
ICML-2010-SonnenburgF #framework #linear #named: COFFIN: A Computational Framework for Linear SVMs (SS, VF), pp. 999–1006.
ICPR-2010-ArvanitopoulosBT #fault #linear #subclass #using: Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.
ICPR-2010-BushraOEO #detection #linear: QRS Complex Detection by Non Linear Thresholding of Modulus Maxima (BJ, OB, EF, OL), pp. 4500–4503.
ICPR-2010-ChenSW #distance #geometry #linear #optimisation: Minimizing Geometric Distance by Iterative Linear Optimization (YC, JS, GW), pp. 1–4.
ICPR-2010-ChiaSN #linear #multimodal #towards: Towards a Best Linear Combination for Multimodal Biometric Fusion (CC, NS, LN), pp. 1176–1179.
ICPR-2010-ErdoganS #classification #framework #learning #linear: A Unifying Framework for Learning the Linear Combiners for Classifier Ensembles (HE, MUS), pp. 2985–2988.
ICPR-2010-FaureF #composition #linear: Linear Decomposition of Planar Shapes (AF, FF), pp. 1096–1099.
ICPR-2010-GhanemA #linear #recognition: Sparse Coding of Linear Dynamical Systems with an Application to Dynamic Texture Recognition (BG, NA), pp. 987–990.
ICPR-2010-HuiWX #linear: Globally-Preserving Based Locally Linear Embedding (KH, CW, BX), pp. 531–534.
ICPR-2010-HuntyAG #linear #modelling: Linear Facial Expression Transfer with Active Appearance Models (MdlH, AA, RG), pp. 3789–3792.
ICPR-2010-JokoKY #learning #linear #modelling: Learning Non-linear Dynamical Systems by Alignment of Local Linear Models (MJ, YK, TY), pp. 1084–1087.
ICPR-2010-LathenCKB #detection #linear #robust: Non-ring Filters for Robust Detection of Linear Structures (GL, OC, HK, MB), pp. 233–236.
ICPR-2010-LeeWC #classification #linear #multi: A Discriminative and Heteroscedastic Linear Feature Transformation for Multiclass Classification (HSL, HMW, BC), pp. 690–693.
ICPR-2010-LiuWWY #adaptation #linear #using: Pan-Sharpening Using an Adaptive Linear Model (LL, YW, YW, HY), pp. 4512–4515.
ICPR-2010-NguyenD10a #linear: Circularity Measuring in Linear Time (TPN, IDR), pp. 2098–2101.
ICPR-2010-NymanHA #constraints #framework #multi #using: Multi-camera Platform Calibration Using Multi-linear Constraints (PN, AH, KÅ), pp. 53–56.
ICPR-2010-PlumptonKLJ #classification #linear #online #using: On-Line fMRI Data Classification Using Linear and Ensemble Classifiers (COP, LIK, DEJL, SJJ), pp. 4312–4315.
ICPR-2010-RajgopalanRRM #automation #editing #video: Keyframe-Guided Automatic Non-linear Video Editing (VR, AR, RR, SPM), pp. 3236–3239.
ICPR-2010-SrikrishnanC #analysis #linear #using: Crowd Motion Analysis Using Linear Cyclic Pursuit (VS, SC), pp. 3340–3343.
ICPR-2010-WangLL #3d #linear #programming #using: Monocular 3D Tracking of Deformable Surfaces Using Linear Programming (CW, XL, YL), pp. 1710–1713.
ICPR-2010-ZhangGA #analysis #linear: An Information Theoretic Linear Discriminant Analysis Method (HZ, CG, KKA), pp. 4182–4185.
KDD-2010-AgarwalAKK #modelling #multi #scalability: Estimating rates of rare events with multiple hierarchies through scalable log-linear models (DA, RA, RK, NK), pp. 213–222.
KDD-2010-DangB #clustering #linear: A hierarchical information theoretic technique for the discovery of non linear alternative clusterings (XHD, JB), pp. 573–582.
KDD-2010-DurrantK #analysis #classification #linear: Compressed fisher linear discriminant analysis: classification of randomly projected data (RJD, AK), pp. 1119–1128.
KDD-2010-LiuMTLL #learning #metric #optimisation #using: Semi-supervised sparse metric learning using alternating linearization optimization (WL, SM, DT, JL, PL), pp. 1139–1148.
KDD-2010-WangC #algorithm #linear #modelling #performance: An efficient causal discovery algorithm for linear models (ZW, LC), pp. 1109–1118.
KDD-2010-YuHCL #classification #in memory #linear #memory management #scalability: Large linear classification when data cannot fit in memory (HFY, CJH, KWC, CJL), pp. 833–842.
KR-2010-PorelloE #combinator #linear #logic #modelling: Modelling Combinatorial Auctions in Linear Logic (DP, UE).
PPDP-2010-BaillotH #linear #logic #type inference: Type inference in intuitionistic linear logic (PB, MH), pp. 219–230.
PPDP-2010-Martinez #concurrent #constraints #linear #programming #semantics: Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules (TM), pp. 57–66.
QAPL-2010-CacheraJ #abstract interpretation #cost analysis #injection #linear #modelling: Injecting Abstract Interpretations into Linear Cost Models (DC, AJ), pp. 64–81.
PADL-2010-AreiasR #implementation #linear #order #performance: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.
SAC-2010-ChakrabartiCGM #analysis #linear #privacy: Privacy preserving linear discriminant analysis from perturbed data (SC, ZC, AG, SM), pp. 610–615.
SAC-2010-NepomucenoLA #clustering #correlation #linear #metaheuristic: Evolutionary metaheuristic for biclustering based on linear correlations among genes (JAN, ATL, JSAR), pp. 1143–1147.
SAC-2010-RuggieriM #constraints #linear: Variable ranges in linear constraints (SR, FM), pp. 2061–2065.
SAC-2010-ZhouCS #consistency #linear #source code: Reparameterization based consistent graph-structured linear programs (HZ, QC, ZS), pp. 974–978.
CGO-2010-WimmerF #linear: Linear scan register allocation on SSA form (CW, MF), pp. 170–179.
PPoPP-2010-ChandramowlishwaranKV #algebra #concurrent #linear #parallel #programming: Applying the concurrent collections programming model to asynchronous parallel dense linear algebra (AC, KK, RWV), pp. 345–346.
CAV-2010-MariMST #feedback #hybrid #linear #synthesis: Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.
CAV-2010-TorreMP #concurrent #interface #linear #model checking #source code #using: Model-Checking Parameterized Concurrent Programs Using Linear Interfaces (SLT, PM, GP), pp. 629–644.
CSL-2010-CookF #algebra #linear: Formal Theories for Linear Algebra (SAC, LF), pp. 245–259.
CSL-2010-Pous #algebra #linear #logic #proving: Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.
ICLP-2010-Guenot10 #calculus #linear #logic #proving: Focused Proof Search for Linear Logic in the Calculus of Structures (NG), pp. 84–93.
ICLP-2010-Martinez10 #concurrent #constraints #design #implementation #linear #logic programming #programming language: Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints (TM), pp. 277–280.
IJCAR-2010-Bjorner #linear #quantifier: Linear Quantifier Elimination as an Abstract Decision Procedure (NB), pp. 316–330.
IJCAR-2010-Schack-NielsenS #linear #λ-calculus: Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (ASN, CS), pp. 1–14.
RTA-2010-DurandSS #bound #linear #term rewriting #termination: Termination of linear bounded term rewriting systems (ID, GS, MS), pp. 341–356.
SAT-2010-FuhsS #linear #satisfiability #source code #using: Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT (CF, PSK), pp. 71–84.
SAT-2010-PorschenSS #complexity #linear #problem: Complexity Results for Linear XSAT-Problems (SP, TS, ES), pp. 251–263.
VMCAI-2010-ChenMWC #abstract domain #linear: An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
VMCAI-2010-SanchezL #linear #logic: Regular Linear Temporal Logic with Past (CS, ML), pp. 295–311.
ASE-2009-ArthoLHTY #branch #linear #model checking: Cache-Based Model Checking of Networked Applications: From Linear to Branching Time (CA, WL, MH, YT, MY), pp. 447–458.
ASE-2009-DeanPMW #approach #automation #fault #linear #locality #multi #programming: A Linear Programming Approach for Automated Localization of Multiple Faults (BCD, WBP, BAM, AAW), pp. 640–644.
CASE-2009-RamakrishnanR #analysis #linear: Delay-dependent stability analysis of linear system with additive time-varying delays (KR, GR), pp. 122–126.
DAC-2009-ArfaeeILFK #linear #multi #named #performance: Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DAC-2009-ChaiJK #3d #complexity #equation #linear #scalability: A direct integral-equation solver of linear complexity for large-scale 3D capacitance and impedance extraction (WC, DJ, CKK), pp. 752–757.
DATE-2009-JafriKBJ #flexibility #linear: ASIP-based flexible MMSE-IC Linear Equalizer for MIMO turbo-equalization applications (ARJ, DK, AB, MJ), pp. 1620–1625.
DATE-2009-MullerWJSM #approach #linear #modelling #testing: An approach to linear model-based testing for nonlinear cascaded mixed-signal systems (RM, CW, HJJ, SS, HM), pp. 1662–1667.
ICDAR-2009-Abd-AlmageedKD #documentation #linear #using: Page Rule-Line Removal Using Linear Subspaces in Monochromatic Handwritten Arabic Documents (WAA, JK, DSD), pp. 768–772.
ICDAR-2009-BodicLAHLK #detection #graph #integer #linear #programming #using: Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming (PLB, HL, SA, PH, YL, AK), pp. 1320–1324.
ICDAR-2009-HeLS #analysis #linear #metric #novel #recognition: A Novel Rejection Measurement in Handwritten Numeral Recognition Based on Linear Discriminant Analysis (CLH, LL, CYS), pp. 451–455.
ICDAR-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.
PODS-2009-Parys #complexity #evaluation #linear #polynomial #xpath: XPath evaluation in linear time with polynomial combined complexity (PP), pp. 55–64.
VLDB-2009-ElmeleegyECAZ #approximate #linear #online #precise: Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees (HE, AKE, EC, WGA, WZ), pp. 145–156.
ITiCSE-2009-Blaheta09a #array #proving #visual notation: A visual proof of amortised-linear resizable arrays (DB), p. 338.
TACAS-2009-SchollDPK #constraints #detection #linear: Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.
PEPM-2009-SimmonsP #approximate #linear #logic: Linear logical approximations (RJS, FP), pp. 9–20.
SAS-2009-ChenMWC #abstract domain #linear: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
STOC-2009-AndoniO #approximate #distance #edit distance: Approximating edit distance in near-linear time (AA, KO), pp. 199–204.
STOC-2009-BarenboimE #distributed #linear: Distributed (delta+1)-coloring in linear (in delta) time (LB, ME), pp. 111–120.
STOC-2009-ClarksonW #algebra #linear #streaming: Numerical linear algebra in the streaming model (KLC, DPW), pp. 205–214.
STOC-2009-KannanN #linear #programming #random: Random walks on polytopes and an affine interior point method for linear programming (RK, HN), pp. 561–570.
STOC-2009-KarpinskiS #approximate #game studies #linear #problem: Linear time approximation schemes for the Gale-Berlekamp game and related minimization problems (MK, WS), pp. 313–322.
STOC-2009-RabaniS #linear: Explicit construction of a small epsilon-net for linear threshold functions (YR, AS), pp. 649–658.
STOC-2009-Shapira #invariant #testing: Green’s conjecture and testing linear-invariant properties (AS), pp. 159–166.
ICALP-v1-2009-ChandranGR #complexity #linear: The Tile Complexity of Linear Assemblies (HC, NG, JHR), pp. 235–253.
ICALP-v2-2009-MelliesTT #exponential #linear #logic: An Explicit Formula for the Free Exponential Modality of Linear Logic (PAM, NT, CT), pp. 247–260.
FM-2009-SeidlVV #alias #analysis #linear #polynomial: A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis (HS, VV, VV), pp. 644–659.
CIKM-2009-ColazzoGPS #linear #regular expression #xml: Linear inclusion for XML regular expression types (DC, GG, LP, CS), pp. 137–146.
ECIR-2009-Ailon #algorithm #linear #query #ranking #using: A Simple Linear Ranking Algorithm Using Query Dependent Intercept Variables (NA), pp. 685–690.
ICML-2009-GermainLLM #classification #learning #linear: PAC-Bayesian learning of linear classifiers (PG, AL, FL, MM), pp. 353–360.
ICML-2009-HelleputteD #feature model #linear #modelling: Partially supervised feature selection with regularized linear models (TH, PD), pp. 409–416.
ICML-2009-HuangS #learning #linear #sequence: Learning linear dynamical systems without sequence information (TKH, JGS), pp. 425–432.
ICML-2009-LawrenceU #matrix #process: Non-linear matrix factorization with Gaussian processes (NDL, RU), pp. 601–608.
ICML-2009-LiuY #linear #performance: Efficient Euclidean projections in linear time (JL, JY), pp. 657–664.
ICML-2009-NickischS #linear #modelling #scalability: Convex variational Bayesian inference for large scale generalized linear models (HN, MWS), pp. 761–768.
ICML-2009-NowozinJ #clustering #graph #learning #linear #programming: Solution stability in linear programming relaxations: graph partitioning and unsupervised learning (SN, SJ), pp. 769–776.
ICML-2009-PetrikZ #approximate #constraints #linear #source code: Constraint relaxation in approximate linear programs (MP, SZ), pp. 809–816.
ICML-2009-SuttonMPBSSW #approximate #learning #linear #performance: Fast gradient-descent methods for temporal-difference learning with linear function approximation (RSS, HRM, DP, SB, DS, CS, EW), pp. 993–1000.
KDD-2009-FormanSR #classification #linear: Feature shaping for linear SVM classifiers (GF, MS, SR), pp. 299–308.
KDD-2009-ShiJ #linear #statistics: Anomalous window discovery through scan statistics for linear intersecting paths (SSLIP) (LS, VPJ), pp. 767–776.
MLDM-2009-KobayashiS #classification #distributed #linear #representation #using: A Linear Classification Method in a Very High Dimensional Space Using Distributed Representation (TK, IS), pp. 137–147.
PPDP-2009-NigamM #algorithm #linear #logic #specification: Algorithmic specifications in linear logic with subexponentials (VN, DM), pp. 129–140.
PPDP-2009-Vasconcelos #functional #linear #parallel #programming #thread: Session types for linear multithreaded functional programming (VTV), pp. 1–6.
POPL-2009-Monniaux #abstraction #automation #composition #constraints #linear: Automatic modular abstractions for linear constraints (DM), pp. 140–151.
POPL-2009-Simpson #linear: Linear types for computational effects (AS), p. 301.
SAC-2009-Djelloul #exponential #finite #infinity #linear: From exponential to almost linear decomposability of finite or infinite trees (KD), pp. 897–902.
SAC-2009-Vaidya #linear #privacy #programming: Privacy-preserving linear programming (JV), pp. 2002–2007.
SAC-2009-ZhangLZZZZ #first-order #linear #optimisation: Optimizing techniques for saturated arithmetic with first-order linear recurrence (WZ, LL, CZ, HZ, BZ, CZ), pp. 1883–1889.
CGO-2009-VoronenkoMP #generative #library #linear: Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
PPoPP-2009-Quintana-OrtiIQG #hardware #linear #multi: Solving dense linear systems on platforms with multiple hardware accelerators (GQO, FDI, ESQO, RAvdG), pp. 121–130.
CADE-2009-BorrallerasLNRR #linear #polynomial #satisfiability: Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (CB, SL, RNM, ERC, AR), pp. 294–305.
CADE-2009-MaLZ #constraints #linear: Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
CAV-2009-BjornerH #fixpoint #functional #linear: Linear Functional Fixed-points (NB, JH), pp. 124–139.
CAV-2009-DilligDA #integer #linear #proving: Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers (ID, TD, AA), pp. 233–247.
CAV-2009-Monniaux #float #linear #on the #using: On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (DM), pp. 570–583.
CSL-2009-DuparcFM #automaton #decidability #game studies #linear #problem: Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata (JD, AF, FM), pp. 225–239.
CSL-2009-EggerMS #calculus #linear: Enriching an Effect Calculus with Linear Types (JE, REM, AS), pp. 240–254.
CSL-2009-FerreiraO #functional #linear #logic: Functional Interpretations of Intuitionistic Linear Logic (GF, PO), pp. 3–19.
CSL-2009-GheerbrantC #linear: Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.
ISSTA-2009-ZhangHGXM #integer #linear #programming #testing #using: Time-aware test-case prioritization using integer linear programming (LZ, SSH, CG, TX, HM), pp. 213–224.
LICS-2009-CreusGMT #normalisation #term rewriting: Non-linear Rewrite Closure and Weak Normalization (CC, GG, FM, AT), pp. 365–374.
LICS-2009-PaganiT #linear #logic #problem: The Inverse Taylor Expansion Problem in Linear Logic (MP, CT), pp. 222–231.
TLCA-2009-FaggianP #linear #partial order: Partial Orders, Event Structures and Linear Strategies (CF, MP), pp. 95–111.
TLCA-2009-LagoH #bound #linear #logic #revisited: Bounded Linear Logic, Revisited (UDL, MH), pp. 80–94.
TLCA-2009-Strassburger #higher-order #linear #logic #multi #proving: Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (LS), pp. 309–324.
TLCA-2009-Vaux #difference #linear #logic: Differential Linear Logic and Polarization (LV), pp. 371–385.
VMCAI-2009-LavironL #approach #linear #named #scalability: SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities (VL, FL), pp. 229–244.
DAC-2008-CzajkowskiB #composition #linear #logic #synthesis: Functionally linear decomposition and synthesis of logic circuits for FPGAs (TSC, SDB), pp. 18–23.
DAC-2008-YanZTCM #distributed #linear #named #network #order #reduction: DeMOR: decentralized model order reduction of linear networks with massive ports (BY, LZ, SXDT, JC, BM), pp. 409–414.
DAC-2008-YeZP #analysis #equation #linear #multi: Generalized Krylov recycling methods for solution of multiple related linear equation systems in electromagnetic analysis (ZY, ZZ, JRP), pp. 682–687.
DATE-2008-DubrovaTT #analysis #feedback #on the #synthesis: On Analysis and Synthesis of (n, k)-Non-Linear Feedback Shift Registers (ED, MT, HT), pp. 1286–1291.
DATE-2008-KazmierskiZA #approximate #mobile #modelling #performance #using: Efficient circuit-level modelling of ballistic CNT using piecewise non-linear approximation of mobile charge density (TJK, DZ, BMAH), pp. 146–151.
DATE-2008-Parandeh-AfsharBI #integer #linear #programming #synthesis: Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming (HPA, PB, PI), pp. 1256–1261.
PODS-2008-BojanczykP #evaluation #linear #xpath: XPath evaluation in linear time (MB, PP), pp. 241–250.
ESOP-2008-KanekoK #classification #linear: Linear Declassification (YK, NK), pp. 224–238.
ESOP-2008-TerauchiM #bound #linear #programming: Inferring Channel Buffer Bounds Via Linear Programming (TT, AM), pp. 284–298.
FoSSaCS-2008-Bozzelli #complexity #linear: The Complexity of CTL* + Linear Past (LB), pp. 186–200.
FoSSaCS-2008-SelingerV #call-by #λ-calculus: A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (Extended Abstract) (PS, BV), pp. 81–96.
PLDI-2008-Terauchi #linear #programming: Checking race freedom via linear programming (TT), pp. 1–10.
SAS-2008-HornM #analysis: Flow Analysis, Linearity, and PTIME (DVH, HGM), pp. 255–269.
SAS-2008-RuggieriM #constraints #linear #source code #type system: Typing Linear Constraints for Moding CLP() Programs (SR, FM), pp. 128–143.
STOC-2008-AwerbuchK #distributed #linear #source code: Stateless distributed gradient descent for positive linear programs (BA, RK), pp. 691–700.
STOC-2008-DasK #algorithm #linear #set: Algorithms for subset selection in linear regression (AD, DK), pp. 45–54.
STOC-2008-KawarabayashiM #graph #linear #morphism: Graph and map isomorphism and all polyhedral embeddings in linear time (KiK, BM), pp. 471–480.
FLOPS-2008-Vidal #linear #termination: Termination of Narrowing in Left-Linear Constructor Systems (GV), pp. 113–129.
AFL-2008-Cruz-ReyesK #automaton: Non-Linear Subband Coding with Cellular Automata (CCR, JK), pp. 146–157.
DLT-2008-BassinoGN #complexity #finite #linear #set #word: The Average State Complexity of the Star of a Finite Set of Words Is Linear (FB, LG, CN), pp. 134–145.
ICALP-A-2008-CicaleseL #evaluation #linear #programming: Function Evaluation Via Linear Programming in the Priced Information Model (FC, ESL), pp. 173–185.
ICALP-A-2008-IwamaNPRY #linear #network #polynomial: Polynomial-Time Construction of Linear Network Coding (KI, HN, MP, RR, SY), pp. 271–282.
ICALP-A-2008-TedderCHP #composition #linear #permutation #recursion: Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations (MT, DGC, MH, CP), pp. 634–645.
ICALP-B-2008-SimmonsP #algorithm #linear #logic: Linear Logical Algorithms (RJS, FP), pp. 336–347.
LATA-2008-Kahramanogullari #concurrent #linear #logic #on the: On Linear Logic Planning and Concurrency (OK), pp. 250–262.
ICFP-2008-Henglein #linear #sorting: Generic discrimination: sorting and paritioning unshared data in linear time (FH), pp. 91–102.
CIKM-2008-GhelliCS #linear #regular expression: Linear time membership in a class of regular expressions with interleaving and counting (GG, DC, CS), pp. 389–398.
ICML-2008-DredzeCP #classification #linear: Confidence-weighted linear classification (MD, KC, FP), pp. 264–271.
ICML-2008-HsiehCLKS #coordination #linear #scalability: A dual coordinate descent method for large-scale linear SVM (CJH, KWC, CJL, SSK, SS), pp. 408–415.
ICML-2008-Li #approximate #comparison #difference #linear #worst-case: A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.
ICML-2008-ParrLTPL #analysis #approximate #feature model #learning #linear #modelling: An analysis of linear models, linear value-function approximation, and feature selection for reinforcement learning (RP, LL, GT, CPW, MLL), pp. 752–759.
ICML-2008-RavikumarAW #convergence #linear #message passing #source code: Message-passing for graph-structured linear programs: proximal projections, convergence and rounding schemes (PDR, AA, MJW), pp. 800–807.
ICML-2008-RishGCPG #linear #modelling #reduction: Closed-form supervised dimensionality reduction with generalized linear models (IR, GG, GAC, FP, GJG), pp. 832–839.
ICML-2008-RothF #algorithm #linear #modelling #performance: The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms (VR, BF), pp. 848–855.
ICML-2008-SyedBS #learning #linear #programming #using: Apprenticeship learning using linear programming (US, MHB, RES), pp. 1032–1039.
ICML-2008-WingateS #exponential #learning #predict #product line: Efficiently learning linear-linear exponential family predictive representations of state (DW, SPS), pp. 1176–1183.
ICPR-2008-ChenR #3d #algorithm #invariant #linear #recognition: Linear time recognition algorithms for topological invariants in 3D (LC, YR), pp. 1–4.
ICPR-2008-HuiW #clustering #linear: Clustering-based locally linear embedding (KH, CW), pp. 1–4.
ICPR-2008-LampertO #detection #image #linear: Active contour detection of linear patterns in spectrogram images (TAL, SO), pp. 1–4.
ICPR-2008-LiuWBM #kernel #learning #linear: Semi-supervised learning by locally linear embedding in kernel space (RL, YW, TB, DM), pp. 1–4.
ICPR-2008-ParkCDK #analysis #clustering #linear: Linear discriminant analysis for data with subcluster structure (HP, JC, BLD, JK), pp. 1–4.
ICPR-2008-TranTJ #anti #linear #network #probability: An adjustable combination of linear regression and modified probabilistic neural network for anti-spam filtering (TPT, PT, TJ), pp. 1–4.
ICPR-2008-WuJP #detection #effectiveness #linear: Effective features based on normal linear structures for detecting microcalcifications in mammograms (ZQW, JJ, YP), pp. 1–4.
KDD-2008-KeerthiSCHL #linear #multi #scalability: A sequential dual method for large scale multi-class linear svms (SSK, SS, KWC, CJH, CJL), pp. 408–416.
KDD-2008-LiFGMF #learning #linear #named #parallel #performance: Cut-and-stitch: efficient parallel learning of linear dynamical systems on smps (LL, WF, FG, TCM, CF), pp. 471–479.
KDD-2008-SongJRG #linear: A bayesian mixture model with linear regression mixing proportions (XS, CJ, SR, JG), pp. 659–667.
LOPSTR-2008-BandaG #analysis #hybrid #linear: Analysis of Linear Hybrid Systems in CLP (GB, JPG), pp. 55–70.
PPDP-2008-PaoliniP #linear #programming language #semantics: Semantically linear programming languages (LP, MP), pp. 97–107.
QAPL-2008-FaellaLS #linear #logic #model checking: Model Checking Quantitative Linear Time Logic (MF, AL, MS), pp. 61–77.
SAC-2008-ZhuDXW #documentation #image #linear #using: Perspective rectification of camera-based document images using local linear structure (YZ, RD, BX, CW), pp. 451–452.
HPDC-2008-YouseffSYDW #algebra #kernel #linear #memory management: The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software (LY, KS, HY, JD, RW), pp. 141–152.
PPoPP-2008-DiamondRKGGB #algebra #distributed #linear #performance: High performance dense linear algebra on a spatially distributed processor (JRD, BR, SWK, RAvdG, KG, DB), pp. 63–72.
CAV-2008-CohenN #concurrent #linear #proving #source code: Local Proofs for Linear-Time Properties of Concurrent Programs (AC, KSN), pp. 149–161.
CAV-2008-JainCG #composition #equation #linear #performance: Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
CAV-2008-PiskacK #linear: Linear Arithmetic with Stars (RP, VK), pp. 268–280.
CSL-2008-Eisinger #automaton #bound #integer #linear: Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (JE), pp. 431–445.
CSL-2008-HamanoT #linear #logic #multi: An Indexed System for Multiplicative Additive Polarized Linear Logic (MH, RT), pp. 262–277.
CSL-2008-LagoL #game studies #linear #logic #semantics: Quantitative Game Semantics for Linear Logic (UDL, OL), pp. 230–245.
CSL-2008-PiskacK #bound #linear: Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars (RP, VK), pp. 124–138.
CSL-2008-Tranquilli #correctness #linear #logic #multi #semantics: A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.
IJCAR-2008-NigamM #linear #logic: Focusing in Linear Meta-logic (VN, DM), pp. 507–522.
IJCAR-2008-Nipkow #linear #quantifier: Linear Quantifier Elimination (TN), pp. 18–33.
RTA-2008-ArrighiD #algebra #confluence #encoding #higher-order #λ-calculus: Linear-algebraic λ-calculus: higher-order, encodings, and confluence (PA, GD), pp. 17–31.
RTA-2008-KobayashiO #automaton: Tree Automata for Non-linear Arithmetic (NK, HO), pp. 291–305.
RTA-2008-KojimaS #decidability #linear #reachability #term rewriting: Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (YK, MS), pp. 187–201.
SAT-2008-FaureNOR #formal method #linear #satisfiability: SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers (GF, RN, AO, ERC), pp. 77–90.
SAT-2008-PorschenS #linear: A CNF Class Generalizing Exact Linear Formulas (SP, ES), pp. 231–245.
CASE-2007-CamponogaraCP #scheduling: Compressor Scheduling in Oil Fields: A Piecewise-Linear Formulation (EC, MPdC, AP), pp. 436–441.
CASE-2007-YiDZ0 #analysis #clustering #linear #throughput #tool support: Throughput Analysis of Linear Cluster Tools (JY, SD, MTZ, PvdM), pp. 1063–1068.
CASE-2007-ZuHT #coordination #generative #integer #linear #programming #using: Trajectory Generation in Relative Velocity Coordinates Using Mixed Integer Linear Programming with IHDR Guidance (DZ, JH, DT), pp. 1125–1130.
DAC-2007-ChengXH #analysis #statistics: Non-Linear Statistical Static Timing Analysis for Non-Gaussian Variation Sources (LC, JX, LH), pp. 250–255.
DAC-2007-FangHC #algorithm #design #integer #linear #programming: An Integer Linear Programming Based Routing Algorithm for Flip-Chip Design (JWF, CHH, YWC), pp. 606–611.
DAC-2007-ViswanathanNAVRC #named #polynomial: RQL: Global Placement via Relaxed Quadratic Spreading and Linearization (NV, GJN, CJA, PV, HR, CCNC), pp. 453–458.
ICDAR-2007-GaoWHD #documentation #image #integer #linear #programming #using: Decompose Document Image Using Integer Linear Programming (DG, YW, HH, MD), pp. 397–401.
ICDAR-2007-RamirezTBR #algorithm #linear #robust: Quantile Linear Algorithm for Robust Binarization of Digitalized Letters (MR, ET, MB, RR), pp. 1158–1162.
PODS-2007-BadiaV #query: Non-linear prefixes in query languages (AB, SV), pp. 185–194.
VLDB-2007-VoM #linear #named: RadixZip: Linear-Time Compression of Token Streams (BV, GSM), pp. 1162–1172.
ITiCSE-2007-JiWC #detection #source code: A source code linearization technique for detecting plagiarized programs (JHJ, GW, HGC), pp. 73–77.
ESOP-2007-SeidlFP #difference #linear: Interprocedurally Analysing Linear Inequality Relations (HS, AF, MP), pp. 284–299.
FoSSaCS-2007-BaulandSSSV #complexity #linear #logic #satisfiability: The Complexity of Generalized Satisfiability for Linear Temporal Logic (MB, TS, HS, IS, HV), pp. 48–62.
TACAS-2007-ArmandoBM #abstraction #array #linear #refinement #source code: Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
STOC-2007-KawarabayashiR #linear: Computing crossing number in linear time (KiK, BAR), pp. 382–390.
STOC-2007-PaghPR #constant #independence #linear: Linear probing with constant independence (AP, RP, MR), pp. 318–327.
CIAA-2007-Vardi #automaton #linear #model checking: Linear-Time Model Checking: Automata Theory in Practice (MYV), pp. 5–10.
ICALP-2007-ChandranGS #random: Ring Signatures of Sub-linear Size Without Random Oracles (NC, JG, AS), pp. 423–434.
ICALP-2007-GuoN #graph #kernel #linear #np-hard #problem: Linear Problem Kernels for NP-Hard Problems on Planar Graphs (JG, RN), pp. 375–386.
DHM-2007-VolzBHK #automation #generative #linear #metric #using: Automatic, Body Measurements Based Generation of Individual Avatars Using Highly Adjustable Linear Transformation (AV, RB, SH, KK), pp. 453–459.
DHM-2007-ZhangZPY #analysis #linear #multi: Estimating Mental Fatigue Based on Multichannel Linear Descriptors Analysis (CZ, CZ, XmP, XY), pp. 521–529.
HIMI-MTT-2007-SongQLPZ #linear #named #navigation: LensList: Browsing and Navigating Long Linear Information Structures (HS, YQ, YL, HP, LZ), pp. 535–543.
ICML-2007-AndrewG #modelling #scalability: Scalable training of L1-regularized log-linear models (GA, JG), pp. 33–40.
ICML-2007-GerberTW #reduction #robust #using: Robust non-linear dimensionality reduction using successive 1-dimensional Laplacian Eigenmaps (SG, TT, RTW), pp. 281–288.
ICML-2007-GlobersonKCC #algorithm #predict: Exponentiated gradient algorithms for log-linear structured prediction (AG, TK, XC, MC), pp. 305–312.
ICML-2007-McNeillV #generative #linear #modelling #probability: Linear and nonlinear generative probabilistic class models for shape contours (GM, SV), pp. 617–624.
ICML-2007-PhuaF #approximate #learning #linear: Tracking value function dynamics to improve reinforcement learning with piecewise linear function approximation (CWP, RF), pp. 751–758.
ICML-2007-XuF #learning #linear #on the #ranking: On learning linear ranking functions for beam search (YX, AF), pp. 1047–1054.
ICML-2007-Ye #analysis #linear: Least squares linear discriminant analysis (JY), pp. 1087–1093.
ICML-2007-YoganandaMG #linear #performance: A fast linear separability test by projection of positive points on subspaces (APY, MNM, LG), pp. 713–720.
KDD-2007-VogelAS #linear #scalability: Scalable look-ahead linear regression trees (DSV, OA, TS), pp. 757–764.
SEKE-2007-SalamahKG #generative #linear #logic #specification: Generating Linear Temporal Logic Formulas for Pattern-Based Specifications (SS, VK, AQG), pp. 422–427.
ECOOP-2007-DegenTW #java #linear: Tracking Linear and Affine Resources with Java(X) (MD, PT, SW), pp. 550–574.
PADL-2007-Liang #aspect-oriented #higher-order #linear #logic #programming: Aspect-Oriented Programming in Higher-Order and Linear Logic (CCL), pp. 305–319.
SAC-2007-BordeauxZ #constraints #linear #quantifier: A solver for quantified Boolean and linear constraints (LB, LZ), pp. 321–325.
SAC-2007-FeydyS #equation #integer #linear: Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.
CC-2007-NagarakatteG #integer #linear #pipes and filters #programming #scheduling #using: Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation (SGN, RG), pp. 126–140.
CC-2007-SarkarB #linear: Extended Linear Scan: An Alternate Foundation for Global Register Allocation (VS, RB), pp. 141–155.
CAV-2007-BeckerDEK #constraints #integer #linear #named: LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.
CAV-2007-Segelken #abstraction #automaton #hybrid #linear #model checking #modelling: Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models (MS), pp. 433–448.
CSL-2007-Hoshino #linear: Linear Realizability (NH), pp. 420–434.
CSL-2007-KorovinV #calculus #linear: Integrating Linear Arithmetic into Superposition Calculus (KK, AV), pp. 223–237.
CSL-2007-MillerS #composition #linear #logic #proving: From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic (DM, AS), pp. 405–419.
ICLP-2007-OikarinenJ #linear #logic programming: A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (EO, TJ), pp. 440–441.
LICS-2007-Oliva #linear #logic: Modified Realizability Interpretation of Classical Linear Logic (PO), pp. 431–442.
RTA-2007-Vaux #linear #on the: On Linear Combinations of λ-Terms (LV), pp. 374–388.
SAT-2007-Kojevnikov #bound #linear: Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities (AK), pp. 70–79.
TLCA-2007-Baillot #linear #logic #polynomial #type system: From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing (PB), pp. 2–7.
TLCA-2007-FaggianP #linear #π-calculus: Ludics is a Model for the Finitary Linear π-Calculus (CF, MP), pp. 148–162.
TLCA-2007-Fiore #difference #linear #logic #modelling #multi: Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (MPF), pp. 163–177.
CASE-2006-ChenYTCW #difference #fuzzy #hybrid #linear #matrix: Applying the Linear Matrix Inequality for Hybrid Fuzzy/H-infinity Control of Active Structural Damping (CWC, KY, CHT, CYC, DJW), pp. 678–682.
CASE-2006-LiLWC #automation #component #equation #generative #graph #linear #using: Automatic Generation of Component-level Dynamic Equations Using Extensible Element Linear Graph Method (YL, ZL, HW, YC), pp. 118–123.
CASE-2006-ShangYQ #algorithm #equation #linear: Algorithm of Two-Step Eye-Hand Calibration by Resolving Linear Equations (YS, QY, ZQ), pp. 218–222.
CASE-2006-ShaoHM #algorithm #analysis #component #linear #multi #using: Quantitative Analysis Using NIR by Building Principal Component- Multiple Linear Regression-BP Algorithm (YS, YH, JM), pp. 161–164.
CASE-2006-XiaoX #modelling #monitoring #process: Monitoring of batch processes with non-linear modeling methods (YX, BX), pp. 140–143.
CASE-2006-XieLP #hybrid #linear: The hybrid calibration of linear structured light system (KX, WYL, ZBP), pp. 611–614.
DAC-2006-AksoyCFM #constraints #integer #linear #optimisation #programming #satisfiability #synthesis #using: Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming (LA, EACdC, PFF, JM), pp. 669–674.
DAC-2006-LiS #linear #network #order #reduction: Model order reduction of linear networks with massive ports via frequency-dependent port packing (PL, WS), pp. 267–272.
DAC-2006-ZhaoPSYF #algorithm #linear #megamodelling #performance #programming #using: A fast on-chip decoupling capacitance budgeting algorithm using macromodeling and linear programming (MZ, RP, SS, SY, YF), pp. 217–222.
DATE-2006-DhayniMRB #functional #linear #pseudo: Pseudorandom functional BIST for linear and nonlinear MEMS (AD, SM, LR, AB), pp. 664–669.
DATE-DF-2006-FanucciCSKWSALM #design #image #linear #synthesis: ASIP design and synthesis for non linear filtering in image processing (LF, MC, SS, DK, EMW, OS, GA, RL, HM), pp. 233–238.
SIGMOD-2006-JainAAKPSV #design #evaluation #implementation #linear: Design, implementation, and evaluation of the linear road bnchmark on the stream processing core (NJ, LA, HA, RK, YP, PS, CV), pp. 431–442.
SIGMOD-2006-VuHCL #database #performance #scalability #similarity: A non-linear dimensionality-reduction technique for fast similarity search in large databases (KV, KAH, HC, SDL), pp. 527–538.
VLDB-2006-KanneM #algorithm #approximate #clustering #linear: A Linear Time Algorithm for Optimal Tree Sibling Partitioning and Approximation Algorithms in Natix (CCK, GM), pp. 91–102.
ESOP-2006-FluetMA #linear: Linear Regions Are All You Need (MF, GM, AJA), pp. 7–21.
ESOP-2006-GulwaniT #abstraction #linear: Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (SG, AT), pp. 279–293.
SAS-2006-GonnordH #analysis #linear: Combining Widening and Acceleration in Linear Relation Analysis (LG, NH), pp. 144–160.
STOC-2006-DevanurKSV #linear #problem: Integrality gaps for sparsest cut and minimum linear arrangement problems (NRD, SK, RS, NKV), pp. 537–546.
STOC-2006-KelnerS #algorithm #linear #polynomial #programming #random: A randomized polynomial-time simplex algorithm for linear programming (JAK, DAS), pp. 51–60.
STOC-2006-MoshkovitzR #fault: Sub-constant error low degree test of almost-linear size (DM, RR), pp. 21–30.
STOC-2006-NesetrilM #algorithm #linear: Linear time low tree-width partitions and algorithmic consequences (JN, POdM), pp. 391–400.
STOC-2006-Zuckerman #clique #linear: Linear degree extractors and the inapproximability of max clique and chromatic number (DZ), pp. 681–690.
DLT-J-2005-BesC06 #linear #order #theorem #word: A Kleene Theorem for Languages of Words Indexed by Linear Orderings (AB, OC), pp. 519–542.
CIAA-2006-GalvezSF #bound #linear #lookahead #parsing: Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time (JFG, SS, JF), pp. 253–264.
ICALP-v1-2006-GairingMT #game studies #latency #linear: Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions (MG, BM, KT), pp. 501–512.
ICALP-v2-2006-GuerriniM #commutative #linear #logic #multi #quantifier: Commutative Locative Quantifiers for Multiplicative Linear Logic (SG, PM), pp. 396–407.
ICEIS-AIDSS-2006-SombattheeraG #algorithm #distributed #linear: A Distributed Algorithm for Coalition Formation in Linear Production Domain (CS, AG), pp. 17–22.
CIKM-2006-JainZC #adaptation #clustering #data type: Adaptive non-linear clustering in data streams (AJ, ZZ, EYC), pp. 122–131.
CIKM-2006-YeXLJBCK #analysis #linear #performance: Efficient model selection for regularized linear discriminant analysis (JY, TX, QL, RJ, JB, VC, CK), pp. 532–539.
ICML-2006-KimMSBL #classification #linear: Pareto optimal linear classification (SJK, AM, SS, SPB, JL), pp. 473–480.
ICML-2006-RudaryS #modelling #predict #probability: Predictive linear-Gaussian models of controlled stochastic dynamical systems (MRR, SPS), pp. 777–784.
ICML-2006-WangZ #linear: Label propagation through linear neighborhoods (FW, CZ), pp. 985–992.
ICML-2006-WingateS #kernel #linear #modelling #predict #probability: Kernel Predictive Linear Gaussian models for nonlinear stochastic dynamical systems (DW, SPS), pp. 1017–1024.
ICML-2006-YeX #analysis #linear #null #orthogonal: Null space versus orthogonal linear discriminant analysis (JY, TX), pp. 1073–1080.
ICPR-v1-2006-AsharafM #clustering #scalability #using: Scalable non-linear Support Vector Machine using hierarchical clustering (SA, MNM), pp. 908–911.
ICPR-v1-2006-ConduracheA #2d #classification #image #linear #segmentation #using: Vessel Segmentation in 2D-Projection Images Using a Supervised Linear Hysteresis Classifier (AC, TA), pp. 343–346.
ICPR-v1-2006-LiuD #analysis #linear #performance #recognition: Improve Handwritten Character Recognition Performance by Heteroscedastic Linear Discriminant Analysis (HL, XD), pp. 880–883.
ICPR-v1-2006-LublinermanOZC #linear #process #recognition #using #validation: Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques (RL, NO, DZ, OIC), pp. 347–350.
ICPR-v1-2006-WangKY #2d #analysis #linear #recognition: Bilateral Two Dimensional Linear Discriminant Analysis for Stereo Face Recognition (JGW, HK, WYY), pp. 429–432.
ICPR-v1-2006-WashizawaY #kernel: Non-linear Wiener filter in reproducing kernel Hilbert space (YW, YY), pp. 967–970.
ICPR-v1-2006-YingZ #approach #image #linear #novel: A Novel Linear Approach to Camera Calibration from Sphere Images (XY, HZ), pp. 535–538.
ICPR-v2-2006-AnR #linear #novel #recognition: Novel Mathematical Model for Enhanced Fisher’s Linear Discriminant and Its Application to Face Recognition (GA, QR), pp. 524–527.
ICPR-v2-2006-InoueNK #analysis #feature model #kernel #recognition #string #using: Historical Hand-Written String Recognition by Non-linear Discriminant Analysis using Kernel Feature Selection (RI, HN, NK), pp. 1094–1097.
ICPR-v2-2006-InoueU #2d #analysis #linear: Non-Iterative Two-Dimensional Linear Discriminant Analysis (KI, KU), pp. 540–543.
ICPR-v2-2006-LiangZ #feature model #linear: Feature selection for linear support vector machines (ZL, TZ), pp. 606–609.
ICPR-v2-2006-Loog #analysis #linear: Conditional Linear Discriminant Analysis (ML), pp. 387–390.
ICPR-v2-2006-SunV #detection #linear #multi #performance #using: Fast Linear Feature Detection Using Multiple Directional Non-Maximum Suppression (CS, PV), pp. 288–291.
ICPR-v2-2006-TangT #analysis #linear #performance #using: Fast Linear Discriminant Analysis Using Binary Bases (FT, HT), pp. 52–55.
ICPR-v2-2006-UekiHK #2d #analysis #classification #linear: Two-dimensional Heteroscedastic Linear Discriminant Analysis for Age-group Classification (KU, TH, TK), pp. 585–588.
ICPR-v3-2006-ArreolaFB #classification #linear #performance #using: Fast Support Vector Machine Classification using linear SVMs (KZA, JF, HB), pp. 366–369.
ICPR-v3-2006-BombachG #sequence: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 149–151.
ICPR-v3-2006-BombachG06a #sequence: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 1248–1250.
ICPR-v3-2006-HoppeS #algorithm #linear #modelling: Fusion Algorithm for Locally Arranged Linear Models (FH, GS), pp. 1208–1211.
ICPR-v3-2006-NishiguchiIS: Laplacian Based Non-Linear Diffusion Filtering (HN, AI, TS), pp. 838–841.
ICPR-v4-2006-BombachG06b #sequence: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), p. 961.
ICPR-v4-2006-HoppeS06a #algorithm #linear #modelling: Fusion Algorithm for Locally Arranged Linear Models (FH, GS), p. 951.
ICPR-v4-2006-PeursumVW #linear: Observation-Switching Linear Dynamic Systems for Tracking Humans Through Unexpected Partial Occlusions by Scene Objects (PP, SV, GAWW), pp. 929–934.
ICPR-v4-2006-TaxD #linear #optimisation: Linear model combining by optimizing the Area under the ROC curve (DMJT, RPWD), pp. 119–122.
ICPR-v4-2006-VandeportaeleCMG #linear: A New Linear Calibration Method for Paracatadioptric Cameras (BV, MC, PM, PG), pp. 647–651.
ICPR-v4-2006-Yang #graph #linear: Building Connected Neighborhood Graphs for Locally Linear Embedding (LY), pp. 194–197.
KDD-2006-Joachims #linear: Training linear SVMs in linear time (TJ), pp. 217–226.
KDD-2006-RosalesF #learning #linear #metric #programming: Learning sparse metrics via linear programming (RR, GF), pp. 367–373.
KDD-2006-ZhangPD #categorisation #graph #linear #modelling #predict: Linear prediction models with graph regularization for web-page categorization (TZ, AP, BD), pp. 821–826.
SIGIR-2006-BlunsomKC #classification #modelling: Question classification with log-linear models (PB, KK, JRC), pp. 615–616.
SIGIR-2006-SindhwaniK #linear #scalability: Large scale semi-supervised linear SVMs (VS, SSK), pp. 477–484.
SIGIR-2006-ZhangOFM #analysis #linear #recommendation: Analysis of a low-dimensional linear model under recommendation attacks (SZ, YO, JF, FM), pp. 517–524.
GPCE-2006-PerryJW #contract #linear #logic: Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.
SAC-2006-AltLM #linear #on the #probability #problem #using: On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.
SAC-2006-Goldsztejn #algorithm #approximate #branch #set: A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.
SAC-2006-MontanesCRD #categorisation #feature model #linear #metric: Finding optimal linear measures for feature selection in text categorization (EM, EFC, JR, ID), pp. 861–862.
SAC-2006-SinghXMH #geometry #linear #locality #problem #programming #using: Solving the brachytherapy seed localization problem using geometric and linear programming techniques (VS, LM, JX, KRH), pp. 229–234.
HPCA-2006-JosephVT #analysis #linear #modelling #performance: Construction and use of linear regression models for processor performance analysis (PJJ, KV, MJT), pp. 99–108.
CAV-2006-Braverman #integer #linear #source code #termination: Termination of Integer Linear Programs (MB), pp. 372–385.
CAV-2006-DutertreM #performance: A Fast Linear-Arithmetic Solver for DPLL(T) (BD, LMdM), pp. 81–94.
CAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis: Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.
CSL-2006-AlvesFFM #linear #power of: The Power of Linear Functions (SA, MF, MF, IM), pp. 119–134.
CSL-2006-Bagan #linear #query: MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay (GB), pp. 167–181.
CSL-2006-Pagani #exponential #linear #logic #multi: Acyclicity and Coherence in Multiplicative Exponential Linear Logic (MP), pp. 531–545.
FATES-RV-2006-ArmoniKTVZ #linear #monitoring: Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.
ICLP-2006-SilvaRL #implementation #linear #prolog: An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.
IJCAR-2006-HendrixMO #axiom #linear #order #specification: A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms (JH, JM, HO), pp. 151–155.
IJCAR-2006-LahiriM #constraints #linear: Solving Sparse Linear Constraints (SKL, MM), pp. 468–482.
LICS-2006-BarthM #linear #logic #using: Managing Digital Rights using Linear Logic (AB, JCM), pp. 127–136.
LICS-2006-Lago #complexity #linear #logic #semantics: Context Semantics, Linear Logic and Computational Complexity (UDL), pp. 169–178.
LICS-2006-PalamidessiSVV #on the #persistent #π-calculus: On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (CP, VAS, FDV, BV), pp. 59–68.
RTA-2006-GramlichL #linear #term rewriting: Generalizing Newman’s Lemma for Left-Linear Rewrite Systems (BG, SL), pp. 66–80.
RTA-2006-OhtaH #confluence #linear #λ-calculus: A Terminating and Confluent Linear λ Calculus (YO, MH), pp. 166–180.
RTA-2006-Salvati #equation #linear #type system #λ-calculus: Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (SS), pp. 151–165.
RTA-2006-WangS #decidability #linear #termination: Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems (YW, MS), pp. 343–356.
SAT-2006-PorschenSR #linear #on the: On Linear CNF Formulas (SP, ES, BR), pp. 212–225.
SAT-2006-YuM #constraints #learning #linear #smt: Lemma Learning in SMT on Linear Constraints (YY, SM), pp. 142–155.
VMCAI-2006-HristovaL #algorithm #automaton #linear #logic #model checking: Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems (KH, YAL), pp. 190–206.
VMCAI-2006-JabbarE #linear #model checking #parallel: Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.
DAC-2005-JiangCC #3d #algorithm #linear #named #order: ICCAP: a linear time sparse transformation and reordering algorithm for 3D BEM capacitance extraction (RJ, YHC, CCPC), pp. 163–166.
DAC-2005-WanR #linear #reduction: Operator-based model-order reduction of linear periodically time-varying systems (YW, JSR), pp. 391–396.
DATE-2005-BalakrishnanT #configuration management #linear #using: Reconfigurable Linear Decompressors Using Symbolic Gaussian Elimination (KJB, NAT), pp. 1130–1135.
DATE-2005-ForzanP #analysis #behaviour #library #modelling: Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis (CF, DP), pp. 982–983.
TACAS-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.
MSR-2005-AntoniolRV #linear #mining #predict #repository: Linear predictive coding and cepstrum coefficients for mining time variant information from software repositories (GA, VFR, GV), pp. 61–65.
STOC-2005-Regev #encryption #fault #learning #linear #on the #random: On lattices, learning with errors, random linear codes, and cryptography (OR), pp. 84–93.
DLT-J-2004-RispalC05 #linear #order #set: Complementation of rational sets on countable scattered linear orderings (CR, OC), pp. 767–786.
CIAA-2005-FujiyoshiK #automaton #linear #recognition: Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton (AF, IK), pp. 129–140.
CIAA-2005-KleinB #automaton #linear #logic: Experiments with Deterministic ω-Automata for Formulas of Linear Temporal Logic (JK, CB), pp. 199–212.
DLT-2005-BedonR #linear #order #theorem #word: Schützenberger and Eilenberg Theorems for Words on Linear Orderings (NB, CR), pp. 134–145.
DLT-2005-BesC #linear #order #theorem #word: A Kleene Theorem for Languages of Words Indexed by Linear Orderings (AB, OC), pp. 158–167.
ICALP-2005-CzeizlerK #automaton #bound #linear: A Tight Linear Bound on the Neighborhood of Inverse Cellular Automata (EC, JK), pp. 410–420.
ICALP-2005-Hast #approximate #linear #named #random: Approximating — Outperforming a Random Assignment with Almost a Linear Factor (GH), pp. 956–968.
ICALP-2005-KumarSS #algorithm #clustering #linear #problem: Linear Time Algorithms for Clustering Problems in Any Dimensions (AK, YS, SS), pp. 1374–1385.
ICEIS-v2-2005-CuellarDJ #network #predict #problem #programming: An Application of Non-Linear Programming to Train Recurrent Neural Networks in Time Series Prediction Problems (MPC, MD, MdCPJ), pp. 35–42.
ICML-2005-RothY #integer #linear #programming #random: Integer linear programming inference for conditional random fields (DR, WtY), pp. 736–743.
ICML-2005-WuMR #classification #detection #linear #symmetry: Linear Asymmetric Classifier for cascade detectors (JW, MDM, JMR), pp. 988–995.
ICML-2005-ZienC #scalability: Large margin non-linear embedding (AZ, JQC), pp. 1060–1067.
KDD-2005-FungSR #linear: Rule extraction from linear support vector machines (GF, SS, RBR), pp. 32–40.
KDD-2005-Sandler #classification #linear #on the #programming: On the use of linear programming for unsupervised text classification (MS), pp. 256–264.
MLDM-2005-Bak #classification #linear #multi: A New Multidimensional Feature Transformation for Linear Classifiers and Its Applications (EB), pp. 275–284.
MLDM-2005-HaralickH #clustering #linear: Linear Manifold Clustering (RMH, RH), pp. 132–141.
SEKE-2005-WangWH #hybrid #linear #verification: Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.
SIGIR-2005-GaoQXN #information retrieval #linear: Linear discriminant model for information retrieval (JG, HQ, XX, JYN), pp. 290–297.
PPDP-2005-LopezPPW #concurrent #linear #logic programming #monad: Monadic concurrent linear logic programming (PL, FP, JP, KW), pp. 35–46.
SAC-2005-GuoLLW #linear #problem: The shortest route cut and fill problem in linear topological structure (SG, WL, AL, FW), pp. 409–410.
SAC-2005-Hosobe #constraints #documentation #layout #linear #web: Solving linear and one-way constraints for web document layout (HH), pp. 1252–1253.
SAC-2005-JanejaA #detection #linear #named #semantics #statistics: LS³: a Linear Semantic Scan Statistic technique for detecting anomalous windows (VPJ, VA), pp. 493–497.
SAC-2005-XiaoLJ #clustering #on the #problem #scheduling: On unit task linear-nonlinear two-cluster scheduling problem (ZX, WNL, JJFJ), pp. 713–717.
PPoPP-2005-DarteS #algorithm #linear: A linear-time algorithm for optimal barrier placement (AD, RS), pp. 26–35.
PPoPP-2005-LowGZ #algebra #algorithm #linear #parallel #specification: Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications (TML, RAvdG, FGVZ), pp. 153–163.
CADE-2005-ChaudhuriP #first-order #linear #logic #proving #theorem proving: A Focusing Inverse Method Theorem Prover for First-Order Linear Logic (KC, FP), pp. 69–83.
CADE-2005-GodoyT #linear #term rewriting #termination: Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules (GG, AT), pp. 164–176.
CAV-2005-BradleyMS #linear #ranking #reachability: Linear Ranking with Reachability (ARB, ZM, HBS), pp. 491–504.
CAV-2005-Monniaux #analysis #composition #float #linear: Compositional Analysis of Floating-Point Linear Numerical Filters (DM), pp. 199–212.
CSL-2005-ChaudhuriP #linear #logic: Focusing the Inverse Method for Linear Logic (KC, FP), pp. 200–215.
CSL-2005-GodoyT #confluence #linear #term rewriting: Confluence of Shallow Right-Linear Rewrite Systems (GG, AT), pp. 541–556.
ICLP-2005-Haemmerle #concurrent #constraints #linear #programming: SiLCC Is Linear Concurrent Constraint Programming (RH), pp. 448–449.
ICLP-2005-Maher #abduction #constraints #linear: Abduction of Linear Arithmetic Constraints (MJM), pp. 174–188.
LICS-2005-Lago #geometry #higher-order #linear #recursion: The Geometry of Linear Higher-Order Recursion (UDL), pp. 366–375.
LICS-2005-Mellies #game studies #linear #logic: Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (PAM), pp. 386–395.
LICS-2005-Winskel05a #generative: Name Generation and Linearity (GW), pp. 301–310.
RTA-2005-GeserHWZ #automaton #linear #on the #term rewriting #termination: On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems (AG, DH, JW, HZ), pp. 353–367.
RTA-2005-Simpson #linear #reduction #semantics #λ-calculus: Reduction in a Linear λ-Calculus with Applications to Operational Semantics (AKS), pp. 219–234.
RTA-2005-Yoshinaka #higher-order #linear #λ-calculus: Higher-Order Matching in the Linear λ Calculus in the Absence of Constants Is NP-Complete (RY), pp. 235–249.
SAT-2005-HeuleM #bound #linear #programming #random #satisfiability #using: Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming (MH, HvM), pp. 122–134.
SAT-2005-SheiniS #integer #linear #logic #satisfiability #scalability: A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic (HMS, KAS), pp. 241–256.
TLCA-2005-MorrisettAF #linear #named: L3: A Linear Language with Locations (GM, AJA, MF), pp. 293–307.
VMCAI-2005-AbrahamBKS #bound #hybrid #linear #model checking #optimisation: Optimizing Bounded Model Checking for Linear Hybrid Systems (EÁ, BB, FK, MS), pp. 396–412.
VMCAI-2005-Lange #automaton #calculus #linear: Weak Automata for the Linear Time µ-Calculus (ML), pp. 267–281.
VMCAI-2005-SankaranarayananSM #analysis #linear #programming #scalability #using: Scalable Analysis of Linear Systems Using Mathematical Programming (SS, HBS, ZM), pp. 25–41.
DAC-2004-LongSLH #optimisation #pipes and filters: Floorplanning optimization with trajectory piecewise-linear model for pipelined interconnects (CL, LJS, WL, LH), pp. 640–645.
DAC-2004-WangHL #linear #nondeterminism #parametricity: A linear fractional transform (LFT) based model for interconnect parametric uncertainty (JMW, OH, JL), pp. 375–380.
DATE-v1-2004-VandersteenPLD #identification #linear: Extended Subspace Identification of Improper Linear Systems (GV, RP, DL, SD), pp. 454–459.
DATE-v2-2004-Feldmann #linear #order #reduction #scalability: Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals (PF), pp. 944–947.
DATE-v2-2004-MineKKWA #hybrid #linear #performance #reduction #simulation: Hybrid Reduction Technique for Efficient Simulation of Linear/Nonlinear Mixed Circuits (TM, HK, AK, TW, HA), pp. 1327–1333.
PODS-2004-Tsaparas #ranking #using #web: Using Non-Linear Dynamical Systems for Web Searching and Ranking (PT), pp. 59–70.
VLDB-2004-ArasuCGMMRST #benchmark #data transformation #linear #metric: Linear Road: A Stream Data Management Benchmark (AA, MC, EFG, DM, AM, ER, MS, RT), pp. 480–491.
ESOP-2004-CarlierPWK #flexibility #linear #type system: System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.
ESOP-2004-EnnalsSM #linear: Linear Types for Packet Processing (RE, RS, AM), pp. 204–218.
ICSM-2004-MerloAPR #analysis #clone detection #complexity #detection #evolution #linear #object-oriented #similarity: Linear Complexity Object-Oriented Similarity for Clone Detection and Software Evolution Analyses (EM, GA, MDP, VFR), pp. 412–416.
SAS-2004-GulwaniN04a #analysis #linear: Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions (SG, GCN), pp. 328–343.
SAS-2004-SankaranarayananSM #analysis #constraints: Constraint-Based Linear-Relations Analysis (SS, HBS, ZM), pp. 53–68.
STOC-2004-AilonC #bound #linear #testing: Lower bounds for linear degeneracy testing (NA, BC), pp. 554–560.
STOC-2004-ChenHKX #bound #linear #reduction: Linear FPT reductions and computational lower bounds (JC, XH, IAK, GX), pp. 212–221.
STOC-2004-DunaganV #algorithm #linear #polynomial #source code: A simple polynomial-time rescaling algorithm for solving linear programs (JD, SV), pp. 315–320.
STOC-2004-HolmerinK #equation #linear #verification: A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (JH, SK), pp. 11–20.
STOC-2004-Raz #multi: Multi-linear formulas for permanent and determinant are of super-polynomial size (RR), pp. 633–641.
STOC-2004-RodittyZ #algorithm #graph #linear #reachability: A fully dynamic reachability algorithm for directed graphs with an almost linear update time (LR, UZ), pp. 184–191.
STOC-2004-SpielmanT #algorithm #clustering #graph #linear: Nearly-linear time algorithms for graph partitioning, graph sparsification, and solving linear systems (DAS, SHT), pp. 81–90.
FLOPS-2004-Hasegawa #call-by #continuation #linear #semantics: Semantics of Linear Continuation-Passing in Call-by-Name (MH), pp. 229–243.
CIAA-2004-BordihnHK #context-free grammar #linear #problem: Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages (HB, MH, MK), pp. 68–79.
CIAA-2004-GiraudL #automaton #encoding #finite #linear: Linear Encoding Scheme for Weighted Finite Automata (MG, DL), pp. 146–155.
DLT-2004-KutribMW #context-free grammar #linear: The Boolean Closure of Linear Context-Free Languages (MK, AM, DW), pp. 284–295.
DLT-2004-RispalC #linear #order #set: Complementation of Rational Sets on Countable Scattered Linear Orderings (CR, OC), pp. 381–392.
ICALP-2004-AlfaroFS #branch #linear #metric: Linear and Branching Metrics for Quantitative Transition Systems (LdA, MF, MS), pp. 97–109.
ICALP-2004-Fleischer #algorithm #bound #linear #network: Linear Tolls Suffice: New Bounds and Algorithms for Tolls in Single Source Networks (LF), pp. 544–554.
ICALP-2004-FominT #algorithm #exponential #graph #kernel #linear #performance: Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up (FVF, DMT), pp. 581–592.
ICALP-2004-GuruswamiI #linear: Linear-Time List Decoding in Error-Free Settings: (Extended Abstract) (VG, PI), pp. 695–707.
ICEIS-v2-2004-TagarelliTG #clustering #linear #mining #programming: Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques (AT, IT, SG), pp. 84–91.
ICML-2004-ChangY #adaptation #clustering #linear #metric: Locally linear metric adaptation for semi-supervised clustering (HC, DYY).
ICML-2004-DingH #clustering: Linearized cluster assignment via spectral ordering (CHQD, XH).
ICML-2004-HardinTA #feature model #linear: A theoretical characterization of linear SVM-based feature selection (DPH, IT, CFA).
ICML-2004-MerkeS #approximate #convergence #learning #linear: Convergence of synchronous reinforcement learning with linear function approximation (AM, RS).
ICML-2004-Potts #incremental #learning #linear: Incremental learning of linear model trees (DP).
ICML-2004-SminchisescuJ #embedded #generative #modelling #visual notation: Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICML-2004-YeJLP #analysis #feature model #linear: Feature extraction via generalized uncorrelated linear discriminant analysis (JY, RJ, QL, HP).
ICML-2004-Zhang #algorithm #linear #predict #probability #problem #scalability #using: Solving large scale linear prediction problems using stochastic gradient descent algorithms (TZ0).
ICPR-v1-2004-FilipH #bidirectional #synthesis: Non-linear Reflectance Model for Bidirectional Texture Function Synthesis (JF, MH), pp. 80–83.
ICPR-v1-2004-KeysersN #analysis #linear #modelling: Linear Discriminant Analysis and Discriminative Log-linear Modeling (DK, HN), pp. 156–159.
ICPR-v3-2004-GimelfarbFE #linear: Expectation-Maximization for a Linear Combination of Gaussians (GLG, AAF, AEB), pp. 422–425.
ICPR-v3-2004-LeowCPTVH #geometry #linear #representation: Linear and Non-linear Geometric Object Matching with Implicit Representation (ADL, MCC, HP, PMT, LAV, HSCH), pp. 710–713.
ICPR-v3-2004-WuZZ #feature model #linear #using: Relevant Linear Feature Extraction Using Side-information and Unlabeled Data (FW, YZ, CZ), pp. 582–585.
ICPR-v4-2004-KeysersGN #modelling #recognition: Local Context in Non-Linear Deformation Models for Handwritten Character Recognition (DK, CG, HN), pp. 511–514.
ICPR-v4-2004-MizukamiWT #approximate #architecture #network: A Proposal of Neural Network Architecture for Non-Linear Function Approximation (YM, YW, KT), pp. 605–608.
SEKE-2004-CanforaCT #estimation #experience #fuzzy #linear: An Experience of Fuzzy Linear Regression applied to Effort Estimation (GC, LC, LT), pp. 57–61.
SIGIR-2004-MladenicBGM #classification #feature model #interactive #linear #modelling #using: Feature selection using linear classifier weights: interaction with classification models (DM, JB, MG, NMF), pp. 234–241.
PPDP-2004-ZhouSS #evaluation #linear: Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.
POPL-2004-Muller-OlmS #algebra #analysis #interprocedural #linear #precise: Precise interprocedural analysis through linear algebra (MMO, HS), pp. 330–341.
POPL-2004-SankaranarayananSM #generative #invariant #using: Non-linear loop invariant generation using Gröbner bases (SS, HS, ZM), pp. 318–329.
SAC-2004-GuptaCH #constraints #linear: Experiments with UNA for solving linear constraints in real variables (NG, YC, MZH), pp. 1013–1020.
CAV-2004-Tiwari #linear #source code #termination: Termination of Linear Programs (AT), pp. 70–82.
CAV-2004-Wang #analysis #hybrid #linear #parametricity #safety: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
CSL-2004-Ciabattoni #automation #calculus #generative #logic: Automated Generation of Analytic Calculi for Logics with Linearity (AC), pp. 503–517.
CSL-2004-Gianantonio #linear #logic #multi: Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity (PDG), pp. 130–144.
CSL-2004-GrooteS #higher-order #linear #λ-calculus: Higher-Order Matching in the Linear λ-calculus with Pairing (PdG, SS), pp. 220–234.
CSL-2004-Hyvernat #linear #logic: Predicate Transformers and Linear Logic: Yet Another Denotational Model (PH), pp. 115–129.
CSL-2004-StrassburgerL #linear #logic #multi #on the #proving: On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.
ICLP-2004-NieuwenborghHV #multi #on the #order #source code: On Programs with Linearly Ordered Multiple Preferences (DVN, SH, DV), pp. 180–194.
LICS-2004-GroheS #first-order #linear #logic: The Succinctness of First-Order Logic on Linear Orders (MG, NS), pp. 438–447.
LICS-2004-Luosto #linear #order: Equicardinality on Linear Orders (KL), pp. 458–465.
VMCAI-2004-PodelskiR #linear #ranking #synthesis: A Complete Method for the Synthesis of Linear Ranking Functions (AP, AR), pp. 239–251.
DAC-2003-RootWT #behaviour #metric #modelling #simulation: New techniques for non-linear behavioral modeling of microwave/RF ICs from simulation and nonlinear microwave measurements (DER, JW, NT), pp. 85–90.
DAC-2003-VasilyevRW #algorithm #generative #modelling: A TBR-based trajectory piecewise-linear algorithm for generating accurate low-order models for nonlinear analog circuits and MEMS (DV, MR, JW), pp. 490–495.
DATE-2003-DoboliGD #clustering #modelling #network #using: Extraction of Piecewise-Linear Analog Circuit Models from Trained Neural Networks Using Hidden Neuron Clustering (SD, GG, AD), pp. 11098–11099.
DATE-2003-LeeC #3d #grid #linear #power management #simulation: The Power Grid Transient Simulation in Linear Time Based on 3D Alternating-Direction-Implicit Method (YML, CCPC), pp. 11020–11025.
DATE-2003-WegenerK #fault #identification #linear #modelling: Linear Model-Based Error Identification and Calibration for Data Converters (CW, MPK), pp. 10630–10635.
ICDAR-2003-WangDL #identification #linear #using: Writer Identification Using Directional Element Features and Linear Transform (XW, XD, HL), pp. 942–945.
FoSSaCS-2003-Laird #continuation #game studies #semantics: A Game Semantics of Linearly Used Continuations (JL), pp. 313–327.
TACAS-2003-ArmoniBKV #linear #logic: Resets vs. Aborts in Linear Temporal Logic (RA, DB, OK, MYV), pp. 65–80.
TACAS-2003-BerezinGD #linear #online: An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic (SB, VG, DLD), pp. 521–536.
PLDI-2003-LambTA #analysis #linear #optimisation #source code: Linear analysis and optimization of stream programs (AAL, WT, SPA), pp. 12–25.
SAS-2003-HalbwachsMP #analysis #linear: Cartesian Factoring of Polyhedra in Linear Relation Analysis (NH, DM, CPV), pp. 355–365.
STOC-2003-GuruswamiI #linear: Linear time encodable and list decodable codes (VG, PI), pp. 126–135.
STOC-2003-OstlinP #constant #linear: Uniform hashing in constant time and linear space (AÖ, RP), pp. 622–628.
CIAA-2003-Fritz #automaton #linear #logic #simulation #using: Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata (CF), pp. 35–48.
CIAA-2003-XieLD #complexity #equation #linear #problem #using: New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (GX, CL, ZD), pp. 163–175.
ICALP-2003-BaswanaS #algorithm #graph #linear: A Simple Linear Time Algorithm for Computing a (2k-1)-Spanner of O(n1+1/k) Size in Weighted Graphs (SB, SS), pp. 384–296.
ICALP-2003-KarkkainenS #array #linear: Simple Linear Work Suffix Array Construction (JK, PS), pp. 943–955.
FME-2003-MussetR #linear: Computing Meta-transitions for Linear Transition Systems with Polynomials (JM, MR), pp. 562–581.
SIGAda-2003-EvangelistaKPR #ada #concurrent #linear #logic #source code #verification: Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.
CIKM-2003-ShanksW #categorisation #linear: Index construction for linear categorisation (VRS, HEW), pp. 334–341.
ICML-2003-Graepel #difference #equation #linear #process: Solving Noisy Linear Operator Equations by Gaussian Processes: Application to Ordinary and Partial Differential Equations (TG), pp. 234–241.
ICML-2003-LeskovecS #dataset #linear #programming: Linear Programming Boosting for Uneven Datasets (JL, JST), pp. 456–463.
ICML-2003-Mesterharm #algorithm #multi #using: Using Linear-threshold Algorithms to Combine Multi-class Sub-experts (CM), pp. 544–551.
ICML-2003-RosipalTM #classification #kernel #linear: Kernel PLS-SVC for Linear and Nonlinear Classification (RR, LJT, BM), pp. 640–647.
KDD-2003-BayS #linear #mining: Mining distance-based outliers in near linear time with randomization and a simple pruning rule (SDB, MS), pp. 29–38.
KDD-2003-WuBY #modelling #multi: Screening and interpreting multi-item associations based on log-linear modeling (XW, DB, YY), pp. 276–285.
MLDM-2003-HadidP #linear #performance: Efficient Locally Linear Embeddings of Imperfect Manifolds (AH, MP), pp. 188–201.
SIGIR-2003-LiZO #generative #linear #topic: Topic hierarchy generation via linear discriminant projection (TL, SZ, MO), pp. 421–422.
SIGIR-2003-ZhangY #categorisation #classification #linear #robust: Robustness of regularized linear classification methods in text categorization (JZ, YY), pp. 190–197.
LOPSTR-2003-AlvesF #program transformation: Linearization by Program Transformation (SA, MF), pp. 160–175.
PPDP-2003-ZhouS #fixpoint #linear #performance: Efficient fixpoint computation in linear tabling (NFZ, TS), pp. 275–283.
CAV-2003-ArmoniFFGPTV #detection #linear #logic: Enhanced Vacuity Detection in Linear Temporal Logic (RA, LF, AF, OG, NP, AT, MYV), pp. 368–380.
CAV-2003-ColonSS #constraints #generative #invariant #linear #theorem proving #using: Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.
LICS-2003-HughesG #linear #logic #multi #proving: Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.
LICS-2003-LaurentR #linear #logic: About Translations of Classical Logic into Polarized Linear Logic (OL, LR), pp. 11–20.
RTA-2003-SalvatiG #complexity #higher-order #linear #on the #λ-calculus: On the Complexity of Higher-Order Matching in the Linear λ-Calculus (SS, PdG), pp. 234–245.
SAT-2003-PorschenRS #algorithm #linear #problem #satisfiability: Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems (SP, BR, ES), pp. 172–187.
DAC-2002-KadayifKS #approach #integer #linear #multi #programming: An integer linear programming based approach for parallelizing applications in On-chip multiprocessors (IK, MTK, US), pp. 703–708.
DAC-2002-MegerianDP #integer #linear #programming: Watermarking integer linear programming solutions (SM, MD, MP), pp. 8–13.
DATE-2002-AcarNP #framework #parametricity #simulation: A Linear-Centric Simulation Framework for Parametric Fluctuations (EA, SRN, LTP), pp. 568–575.
DATE-2002-DaemsGS #approach #linear #performance: A Fitting Approach to Generate Symbolic Expressions for Linear and Nonlinear Analog Circuit Performance Characteristics (WD, GGEG, WMCS), pp. 268–273.
DATE-2002-GadN #linear #performance #reduction: Efficient Model Reduction of Linear Time-Varying Systems via Compressed Transient System Function (EG, MSN), pp. 916–922.
DATE-2002-Hieu #analysis #design #feedback #linear #optimisation: Optimization Techniques for Design of General and Feedback Linear Analog Amplifier with Symbolic Analysis (TcH), p. 1104.
DATE-2002-LiP #analysis #approach #modelling: A Linear-Centric Modeling Approach to Harmonic Balance Analysis (PL, LTP), pp. 634–639.
DATE-2002-OzdagBSN #performance #pipes and filters: High-Speed Non-Linear Asynchronous Pipelines (ROO, PAB, MS, SMN), pp. 1000–1007.
HT-2002-YamamotoNA #authoring #design #development #hypermedia #interactive #principle: Spatial Hypertext for linear-information authoring: Interaction design and system development based on the ART Design principle (YY, KN, AA), pp. 35–44.
VLDB-2002-ChakrabartiRS #classification #linear #multi #performance: Fast and Accurate Text Classification via Multiple Linear Discriminant Projections (SC, SR, MVS), pp. 658–669.
VLDB-2002-HulgeriS #cost analysis #linear #optimisation #parametricity #query: Parametric Query Optimization for Linear and Piecewise Linear Cost Functions (AH, SS), pp. 167–178.
FoSSaCS-2002-YoshidaHB #bisimulation: Linearity and Bisimulation (NY, KH, MB), pp. 417–434.
PLDI-2002-FahndrichD #imperative #linear #programming: Adoption and Focus: Practical Linear Types for Imperative Programming (MF, RD), pp. 13–24.
STOC-2002-Guruswami #linear: Limits to list decodability of linear codes (VG), pp. 802–811.
STOC-2002-GuruswamiI #linear: Near-optimal linear-time codes for unique decoding and new list-decodable codes over smaller alphabets (VG, PI), pp. 812–821.
STOC-2002-Han #linear #sorting: Deterministic sorting in O(nlog log n) time and linear space (YH), pp. 602–608.
FLOPS-2002-Hasegawa #continuation #linear #monad #λ-calculus: Linearly Used Effects: Monadic and CPS Transformations into the Linear λ Calculus (MH), pp. 167–182.
CIAA-2002-Okhotin #linear #performance #recognition: Efficient Automaton-Based Recognition for Linear Conjunctive Languages (AO), pp. 169–181.
DLT-2002-BonizzoniFMZ #linear #problem: Decision Problems for Linear and Circular Splicing Systems (PB, CdF, GM, RZ), pp. 78–92.
DLT-2002-BruyereC #automaton #linear #order: Automata on Linear Orderings (VB, OC), pp. 103–115.
DLT-2002-Okhotin #automaton #linear #representation: Automaton Representation of Linear Conjunctive Languages (AO), pp. 393–404.
ICALP-2002-AdsulS #linear #logic: Complete and Tractable Local Linear Time Temporal Logics over Traces (BA, MAS), pp. 926–937.
ICALP-2002-Uehara #algorithm #graph #linear: Linear Time Algorithms on Chordal Bipartite and Strongly Chordal Graphs (RU), pp. 993–1004.
ICFP-2002-Ford #functional #lazy evaluation #linear #parsing: Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.
ICGT-2002-MontanariR #algebra #graph grammar #linear #order: Linear Ordered Graph Grammars and Their Algebraic Foundations (UM, LR), pp. 317–333.
ICPR-v1-2002-CarvalhoSDR #constraints #estimation #linear: Bayes Information Criterion for Tikhonov Regularization with Linear Constraints: Application to Spectral Data Estimation (PDC, AS, AD, BR), pp. 696–700.
ICPR-v1-2002-HadidKP #analysis #learning #linear #using: Unsupervised Learning Using Locally Linear Embedding: Experiments with Face Pose Analysis (AH, OK, MP), pp. 111–114.
ICPR-v1-2002-JeongKSS #gesture #linear #recognition #using: Two-Hand Gesture Recognition using Coupled Switching Linear Model (MHJ, YK, NS, YS), pp. 9–12.
ICPR-v1-2002-KubotaA #generative #image #linear: Virtual View Generation by Linear Processing of Two Differently Focused Images (AK, KA), pp. 504–507.
ICPR-v2-2002-Bartoli #framework: A Unified Framework for Quasi-Linear Bundle Adjustment (AB), pp. 560–563.
ICPR-v2-2002-MoghaddamZ #analysis #linear #online #pattern matching #pattern recognition #performance #recognition: Fast Linear Discriminant Analysis for On-Line Pattern Recognition Applications (HAM, KAZ), pp. 64–67.
ICPR-v2-2002-Perez-JimenezP #feature model: Radial Projections for Non-Linear Feature Extraction (AJPJ, JCPC), pp. 444–447.
ICPR-v2-2002-RoliFV #analysis #classification #trade-off: Analysis of Error-Reject Trade-off in Linearly Combined Classifiers (FR, GF, GV), pp. 120–125.
ICPR-v2-2002-Vaswani #classification #linear #matrix: A Linear Classifier for Gaussian Class Conditional Distributions with Unequal Covariance Matrices (NV), pp. 60–63.
ICPR-v3-2002-JeongKSS02a #gesture #linear #recognition #using: Two-Hand Gesture Recognition Using Coupled Switching Linear Model (MHJ, YK, NS, YS), pp. 529–532.
ICPR-v3-2002-KatzMDK #analysis #automation #linear #robust #speech: Robustness of Linear Discriminant Analysis in Automatic Speech Recognitio (MK, HGM, HD, DK), pp. 371–374.
ICPR-v3-2002-MullerH #linear: Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.
ICPR-v3-2002-PawlakR #image: Non-Linear Local Harmonic Filters For Edge-Preserving Image Denoising (MP, ER), pp. 895–897.
ICPR-v3-2002-RavindranF #linear: A Simple Linear Method to Obtain Height Ordering of Scene Points (PR, NJF), pp. 719–722.
ICPR-v4-2002-RomaniukDRD #linear #locality #statistics: Linear and Non-Linear Model for Statistical Localization of Landmarks (BR, MD, MR, MJD), p. 393–?.
KDD-2002-DobraG #algorithm #linear #named #scalability: SECRET: a scalable linear regression tree algorithm (AD, JG), pp. 481–487.
KDD-2002-KeoghLC #database #linear: Finding surprising patterns in a time series database in linear time and space (EJK, SL, BYcC), pp. 550–556.
KDD-2002-VlachosDGKK #classification #reduction #visualisation: Non-linear dimensionality reduction techniques for classification and visualization (MV, CD, DG, GK, NK), pp. 645–651.
SIGIR-2002-Gery #web: Non-linear reading for a structured web indexation (MG), pp. 379–380.
LOPSTR-2002-SimonKH #abstract domain #difference #linear: Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
PPDP-2002-BozzanoD #automation #linear #logic #protocol #verification: Automated protocol verification in linear logic (MB, GD), pp. 38–49.
PADL-2002-JohanssonS #compilation #erlang #linear: Linear Scan Register Allocation in a High-Performance Erlang Compiler (EJ, KFS), pp. 101–119.
CC-2002-MossenbockP #constraints #linear: Linear Scan Register Allocation in the Context of SSA Form and Register Constraints (HM, MP), pp. 229–246.
CADE-2002-AudemardBCKS #approach #linear #satisfiability: A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions (GA, PB, AC, AK, RS), pp. 195–210.
CAV-2002-KupfermanPV #linear #model checking: Model Checking Linear Properties of Prefix-Recognizable Systems (OK, NP, MYV), pp. 371–385.
CSL-2002-BarbanchonG #linear #problem: Local Problems, Planar Local Problems and Linear Time (RB, EG), pp. 397–411.
CSL-2002-Hasegawa #linear #logic: Classical Linear Logic of Implications (MH), pp. 458–472.
CSL-2002-HodasLPSP #logic programming #proving #resource management: A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming (JSH, PL, JP, LS, EP), pp. 167–182.
LICS-2002-NygaardW #process: Linearity in Process Languages (MN, GW), p. 433–?.
LICS-2002-SoltysC #algebra #complexity #linear #proving: The Proof Complexity of Linear Algebra (MS, SAC), pp. 335–344.
SAT-2002-Kusper #linear #problem #satisfiability: Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.
DAC-2001-SchenkelPZSGA #analysis #optimisation: Mismatch Analysis and Direct Yield Optimization by Spec-Wise Linearization and Feasibility-Guided Search (FS, MP, SZ, RS, HEG, KA), pp. 858–863.
DAC-2001-VerhaegenG #analysis #linear #performance #scalability: Efficient DDD-based Symbolic Analysis of Large Linear Analog Circuits (WV, GGEG), pp. 139–144.
DATE-2001-AzaisBBR #implementation #linear: Implementation of a linear histogram BIST for ADCs (FA, SB, YB, MR), pp. 590–595.
DATE-2001-DasguptaCNKC #abstraction #component #linear: Abstraction of word-level linear arithmetic functions from bit-level component descriptions (PD, PPC, AN, SK, AC), pp. 4–8.
DATE-2001-YildizSV #bias #float #integer #linear #programming: Minimizing the number of floating bias voltage sources with integer linear programming (EY, AvS, CJMV), p. 816.
HT-2001-Fagerjord #multi #web: Linearity and multicursality in World Wide Web documentaries (AF), pp. 185–194.
ICDAR-2001-RoneeUS #2d #linear #recognition #using: Handwritten Character Recognition Using Piecewise Linear Two-Dimensional Warping (MAR, SU, HS), pp. 39–43.
TACAS-2001-ColonS #linear #ranking #synthesis: Synthesis of Linear Ranking Functions (MC, HS), pp. 67–81.
TACAS-2001-HuneRSV #automaton #linear #model checking #parametricity: Linear Parametric Model Checking of Timed Automata (TH, JR, MS, FWV), pp. 189–203.
TACAS-2001-Vardi #branch #linear: Branching vs. Linear Time: Final Showdown (MYV), pp. 1–22.
FLOPS-2001-BozzanoDM #bottom-up #effectiveness #first-order #linear #logic programming #semantics #source code: An Effective Bottom-Up Semantics for First-Order Linear Logic Programs (MB, GD, MM), pp. 138–152.
FLOPS-2001-Lux #constraints #linear: Adding Linear Constraints over Real Numbers to Curry (WL), pp. 185–200.
ICALP-2001-BorosEGKM #generative #integer #linear #on the: On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities (EB, KME, VG, LK, KM), pp. 92–103.
ICALP-2001-Furer #linear #refinement: Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations (MF), pp. 322–333.
ICALP-2001-Havill #array #linear #online: Online Packet Routing on Linear Arrays and Rings (JTH), pp. 773–784.
ICFP-2001-WalkerW #linear #on the: On Regions and Linear Types (DW, KW), pp. 181–192.
CHI-2001-CravenTDPGBFBJLH: Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds (MPC, IT, AD, JP, CG, SB, MF, JB, KMJA, BL, MH), pp. 30–37.
CHI-2001-HornbaekF #bibliography #documentation #interface #linear #usability: Reading of electronic documents: the usability of linear, fisheye, and overview+detail interfaces (KH, EF), pp. 293–300.
MLDM-2001-ImiyaO #linear: PCA-Based Model Selection and Fitting for Linear Manifolds (AI, HO), pp. 278–292.
SIGIR-2001-NakashimaQSI #documentation #library: Browsing in a Digital Library Collecting Linearly Arranged Documents (MN, YQ, KS, TI), pp. 426–427.
QAPL-2001-BrogiPW #comparison #linear: Linear Embedding for a Quantitative Comparison of Language Expressiveness (AB, ADP, HW), pp. 207–237.
SAC-2001-Kandemir #algebra #algorithm #linear #locality #optimisation: A dynamic locality optimization algorithm for linear algebra codes (MTK), pp. 632–635.
CSL-2001-Kanovich #linear #logic #monad #power of: The Expressive Power of Horn Monadic Linear Logic (MIK), pp. 39–53.
ICLP-2001-BanbaraKHT #linear #logic programming: Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic (MB, KSK, TH, NT), pp. 315–330.
IJCAR-2001-BoigelotJW #automaton #integer #linear #on the: On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables (BB, SJ, PW), pp. 611–625.
IJCAR-2001-HodasT #agile #first-order #implementation #linear #logic #named #proving #theorem proving: lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (JSH, NT), pp. 670–684.
IJCAR-2001-LynchM #complexity #decidability #equation #linear: Decidability and Complexity of Finitely Closable Linear Equational Theories (CL, BM), pp. 499–513.
LICS-2001-KozenT #correctness #linear #logic: Intuitionistic Linear Logic and Partial Correctness (DK, JT), pp. 259–268.
TLCA-2001-CoppolaM #constraints #linear #logic #type system: Typing λ Terms in Elementary Logic with Linear Constraints (PC, SM), pp. 76–90.
TLCA-2001-Haghverdi #category theory #linear #logic #modelling: Partially Additive Categories and Fully Complete Models of Linear Logic (EH), pp. 197–216.
DAC-2000-ChenK #approximate #linear #programming: Floorplan sizing by linear programming approximation (PC, ESK), pp. 468–471.
DAC-2000-GaurdianiSMSC #bound #component #constant #simulation #statistics: An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component mismatch effects (CG, SS, PM, PS, DC), pp. 15–18.
DAC-2000-WangN #analysis #linear #multi #order: Extended Krylov subspace method for reduced order analysis of linear circuits with multiple sources (JMW, TVN), pp. 247–252.
DATE-2000-CarroSNJF #component: Non-Linear Components for Mixed Circuits Analog Front-End (LC, AAdSJ, MN, GPJ, DTF), pp. 544–549.
PODS-2000-GeertsK #approximate #database #linear #logic #transitive #using: Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic (FG, BK), pp. 126–135.
PODS-2000-Kreutzer #constraints #database #fixpoint #linear #query: Fixed-Point Query Languages for Linear Constraint Databases (SK), pp. 116–125.
SIGMOD-2000-ChangBCLLS #linear #optimisation #query: The Onion Technique: Indexing for Linear Optimization Queries (YCC, LDB, VC, CSL, MLL, JRS), pp. 391–402.
FoSSaCS-2000-MaiettiPR #category theory #linear #modelling #type system: Categorical Models for Intuitionistic and Linear Type Theory (MEM, VdP, ER), pp. 223–237.
FoSSaCS-2000-Tsay #composition #linear #logic #verification: Compositional Verification in Linear-Time Temporal Logic (YKT), pp. 344–358.
TACAS-2000-WolperB #automaton #constraints #linear #on the: On the Construction of Automata from Linear Arithmetic Constraints (PW, BB), pp. 1–19.
PEPM-2000-LeviS #analysis #linear #refinement: Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.
SAS-2000-BensalemBFGL #approach #generative #invariant: A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
ICFP-2000-SasanoHTO #algorithm #linear #problem: Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.
ICML-2000-PaccanaroH #concept #distributed #learning #linear: Learning Distributed Representations by Mapping Concepts and Relations into a Linear Space (AP, GEH), pp. 711–718.
ICML-2000-Torgo #linear: Partial Linear Trees (LT), pp. 1007–1014.
ICML-2000-YildizA #linear: Linear Discriminant Trees (OTY, EA), pp. 1175–1182.
ICPR-v2-2000-DuinLH #feature model #linear #multi: Multi-Class Linear Feature Extraction by Nonlinear PCA (RPWD, ML, RHU), pp. 2398–2401.
ICPR-v2-2000-HiraokaHHMMY #algorithm #analysis #learning #linear: Successive Learning of Linear Discriminant Analysis: Sanger-Type Algorithm (KH, KiH, MH, HM, TM, SY), pp. 2664–2667.
ICPR-v2-2000-Schulerud #analysis #bias #fault #feature model #linear: Bias of Error Rates in Linear Discriminant Analysis Caused by Feature Selection and Sample Size (HS), pp. 2372–2377.
ICPR-v2-2000-UnsalanE #analysis #linear: Shapes of Features and a Modified Measure for Linear Discriminant Analysis (CÜ, AE), pp. 2410–2413.
ICPR-v3-2000-KeglK #linear #using: Piecewise Linear Skeletonization Using Principal Curves (BK, AK), pp. 3135–3138.
ICPR-v3-2000-LuceySC #linear #performance #using: Initialized Eigenlip Estimator for Fast Lip Tracking Using Linear Regression (SL, SS, VC), pp. 3182–3185.
ICPR-v3-2000-ToczyskiP #bias #estimation #geometry #linear #process: Complementary Linear Biases in Spatial Derivative Estimation for Improving Geometry-Driven Diffusion Processes (WDT, NP), pp. 3001–3006.
ICPR-v3-2000-UchidaS #2d #linear: Piecewise Linear Two-Dimensional Warping (SU, HS), pp. 3538–3541.
ICPR-v4-2000-AbeggEW #algorithm #image #linear #robust #sequence #video: A Robust Algorithm for Segmenting Deformable Linear Objects from Video Image Sequences (FA, DE, HW), pp. 4756–4759.
ICPR-v4-2000-HuynhCT #automation #evaluation #linear #metric #re-engineering #self: Semi-Automatic Metric Reconstruction of Buildings from Self-Calibration: Preliminary Results on the Evaluation of a Linear Camera Self-Calibration Method (DQH, YSC, HTT), pp. 4599–4602.
OOPSLA-2000-LujanFG #algebra #analysis #design #linear #named #object-oriented: OoLALA: an object oriented analysis and design of numerical linear algebra (ML, TLF, JRG), pp. 229–252.
PPDP-2000-BozzanoDM #bottom-up #linear #logic programming #semantics #source code: A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.
PPDP-2000-Fages #concurrent #constraints #linear #logic #programming: Concurrent constraint programming and linear logic (abstract) (FF), p. 44.
PPDP-2000-Polakow #linear #logic programming #order: Linear logic programming with an ordered context (JP), pp. 68–79.
PADL-2000-ZhouSYY #implementation #linear: Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.
SAC-2000-Shaw #algorithm #equation #parallel: A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.
CL-2000-ChirkovaG #bound #database: Linearly Bounded Reformulations of Conjunctive Databases (RC, MRG), pp. 987–1001.
CSL-2000-BenediktK #constraints #linear: Definability over Linear Constraints (MB, HJK), pp. 217–231.
CSL-2000-Hemaspaandra #linear #satisfiability: Modal Satisfiability Is in Deterministic Linear Space (EH), pp. 332–342.
RTA-2000-Groote #higher-order #linear: Linear Higher-Order Matching Is NP-Complete (PdG), pp. 127–140.
RTA-2000-LevyV #constraints #higher-order #linear #unification: Linear Second-Order Unification and Context Unification with Tree-Regular Constraints (JL, MV), pp. 156–171.
RTA-2000-TakaiKS #effectiveness #finite #linear #term rewriting: Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability (TT, YK, HS), pp. 246–260.
ASE-1999-DevulderL #case study #comparative #linear #programming #validation #verification: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods (SD, JLL), pp. 299–302.
DAC-1999-HurL #clustering #framework #linear: Relaxation and Clustering in a Local Search Framework: Application to Linear Placement (SWH, JL), pp. 360–366.
DAC-1999-TanSLLY #linear #network #optimisation #sequence: Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings (XDT, CJRS, DL, JCL, LPY), pp. 78–83.
DATE-1999-CotaCL #adaptation #fault #linear #using: A Method to Diagnose Faults in Linear Analog Circuits using an Adaptive Tester (ÉFC, LC, ML), pp. 184–188.
HT-1999-ShipmanML #hypermedia: Beyond Location: Hypertext Workspaces and Non-Linear Views (FMSI, CCM, ML), pp. 121–130.
HT-1999-Vardi #interactive #linear #navigation: Navigation Scheme for Interactive Movies with Linear Narrative (GV), pp. 131–132.
PODS-1999-BoassonCGM #linear #problem #sequence: Window-Accumulated Subsequence Matching Problem is Linear (LB, PC, IG, YM), pp. 327–336.
PODS-1999-KleinbergT #algebra #analysis #hypermedia #information retrieval #linear: Applications of Linear Algebra in Information Retrieval and Hypertext Analysis (JMK, AT), pp. 185–193.
ICSM-1999-LapierreMSAFT #automation #execution #generative #linear #programming #testing #using: Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees (SL, EM, GS, GA, RF, PT), pp. 189–198.
SAS-1999-HillS #analysis #linear #refinement: Freeness Analysis Through Linear Refinement (PMH, FS), pp. 85–100.
STOC-1999-Ajtai #linear #nondeterminism: Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract) (MA), pp. 632–641.
STOC-1999-BlomerS #complexity #independence #on the: On the Complexity of Computing Short Linearly Independent Vectors and Short Bases in a Lattice (JB, JPS), pp. 711–720.
STOC-1999-BussGIP #calculus #linear #polynomial: Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (SRB, DG, RI, TP), pp. 547–556.
DLT-1999-AndreiK #bidirectional #linear #parsing: Bidirectional parsing for linear languages (SA, MK), pp. 257–269.
ICALP-1999-KimP #2d #linear: Linear-Time Construction of Two-Dimensional Suffix Trees (DKK, KP), pp. 463–472.
FM-v1-1999-Couvreur #linear #logic #on the fly #verification: On-the-Fly Verification of Linear Temporal Logic (JMC), pp. 253–271.
FM-v2-1999-DellacherieDL #linear #programming #verification: Software Verification Based on Linear Programming (SD, SD, JLL), pp. 1147–1165.
ICML-1999-AbeL #concept #learning #linear #probability #using: Associative Reinforcement Learning using Linear Probabilistic Concepts (NA, PML), pp. 3–11.
ICML-1999-KimuraK #linear #performance: Efficient Non-Linear Control by Combining Q-learning with Local Linear Controllers (HK, SK), pp. 210–219.
KDD-1999-LarsenA #clustering #documentation #effectiveness #linear #mining #performance #using: Fast and Effective Text Mining Using Linear-Time Document Clustering (BL, CA), pp. 16–22.
SIGIR-1999-GuptaDNG #algorithm #collaboration #evaluation #linear: Jester 2.0: Evaluation of an New Linear Time Collaborative Filtering Algorithm (poster abstract) (DG, MD, HN, KYG), pp. 291–292.
POPL-1999-Kobayashi: Quasi-Linear Types (NK), pp. 29–42.
RE-1999-PaunC #linear: Events in Linear-Time Properties (DOP, MC), pp. 123–132.
SAC-1999-BassiouniF #linear: Dynamic Channel Allocation for Linear Macrocellular Topology (MAB, CCF), pp. 382–388.
SAC-1999-Bugarin #approximate #linear #polynomial: Linear Quadratic Approximation for Solving a Model Economy Distorted by Progressive Taxation (MNSB), pp. 52–56.
SAC-1999-Shen #estimation: Average Diameter and Its Estimation in Non-Linear Structures (ZS), pp. 489–490.
CC-1999-KastnerL #integer #linear #optimisation #programming: Code Optimization by Integer Linear Programming (DK, ML), pp. 122–136.
HPDC-1999-DindaO #evaluation #linear #modelling #predict: An Evaluation of Linear Models for Host Load Prediction (PAD, DRO), pp. 87–96.
CAV-1999-BloemRS #linear #logic #model checking #performance: Efficient Decision Procedures for Model Checking of Linear Time Logic Properties (RB, KR, FS), pp. 222–235.
CAV-1999-DanieleGV #automaton #generative #linear #logic: Improved Automata Generation for Linear Temporal Logic (MD, FG, MYV), pp. 249–260.
CSL-1999-BalatC #linear #logic #morphism: A Linear Logical View of Linear Type Isomorphisms (VB, RDC), pp. 250–265.
ICLP-1999-KangT #linear #logic programming #programming language #static analysis: A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
ICLP-1999-ZhouSYY #linear: A Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), p. 618.
LICS-1999-DevarajanHPP #linear #logic #multi: Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
LICS-1999-Guerrini #correctness #linear #multi #proving: Correctness of Multiplicative Proof Nets Is Linear (SG), pp. 454–463.
LICS-1999-Hofmann99a #linear #polynomial: Linear Types and Non-Size-Increasing Polynomial Time Computation (MH0), pp. 464–473.
TLCA-1999-Hasegawa #linear #logic: Logical Predicates for Intuitionistic Linear Type Theories (MH), pp. 198–212.
TLCA-1999-MikamiA #automaton #case study #linear: A Study of Abramsky’s Linear Chemical Abstract Machine (SM, YA), pp. 243–257.
TLCA-1999-PolakowP #deduction #linear #logic: Natural Deduction for Intuitionistic Non-communicative Linear Logic (JP, FP), pp. 295–309.
DAC-1998-FallahDK #functional #generative #linear #modelling #programming #satisfiability #using: Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability (FF, SD, KK), pp. 528–533.
DAC-1998-NguyenDN #linear #simulation: Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation (TVN, AD, OJN), pp. 477–482.
DATE-1998-FreundF #approximate #linear #modelling #multi #scalability #using: Reduced-Order Modeling of Large Linear Passive Multi-Terminal Circuits Using Matrix-Pade Approximation (RWF, PF), pp. 530–537.
DATE-1998-HedrichB #approach #formal method #linear #parametricity #verification: A Formal Approach to Verification of Linear Analog Circuits with Parameter Tolerances (LH, EB), pp. 649–654.
DATE-1998-Velasco-MedinaCN #detection #fault #injection #linear #using: Fault Detection for Linear Analog Circuits Using Current Injection (JVM, TC, MN), pp. 987–988.
PODS-1998-AgarwalAEFV #constraints #linear #performance: Efficient Searching with Linear Constraints (PKA, LA, JE, PGF, JSV), pp. 169–178.
PODS-1998-VandeurzenGG #database #linear #query: An Expressive Language for Linear Spatial Database Queries (LV, MG, DVG), pp. 109–118.
FoSSaCS-1998-Heckmann #integer #linear: The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations (RH), pp. 172–188.
TACAS-1998-AjamiHI #linear #logic #model checking #symmetry: Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.
PLDI-1998-TraubHS #quality: Quality and Speed in Linear-scan Register Allocation (OT, GHH, MDS), pp. 142–151.
SAS-1998-GiacobazziRS #abstract interpretation #linear: Building Complete Abstract Interpretations in a Linear Logic-based Setting (RG, FR, FS), pp. 215–229.
STOC-1998-BuchsbaumKRW #algorithm #linear #verification: Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators (ALB, HK, AR, JW), pp. 279–288.
STOC-1998-Trevisan #query #testing: Recycling Queries in PCPs and in Linearity Tests (Extended Abstract) (LT), pp. 299–308.
ICALP-1998-KestenPR #algorithm #linear #logic #specification #verification: Algorithmic Verification of Linear Temporal Logic Specifications (YK, AP, LoR), pp. 1–16.
ICALP-1998-LiuS #algorithm #fixpoint #linear: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract) (XL, SAS), pp. 53–66.
WIA-1998-Goeman #linear #lr #on the #parsing #string: On Parsing and Condensing Substrings of LR Languages in Linear Time (HG), pp. 22–42.
ICPR-1998-HeikkilaS #3d #estimation #image #linear #metric #sequence: Linear motion estimation for image sequence based accurate 3-D measurements (JH, OS), pp. 1247–1250.
ICPR-1998-HwangYTY #3d #linear #using: A factorization method using 3D linear combination for shape and motion recovery (KCH, NY, HT, KY), pp. 959–963.
ICPR-1998-IvinsPFO #component #linear #probability: The joint probability density function for linear optic flow components (JI, JP, JPF, GAO), pp. 795–798.
ICPR-1998-KadyrovP #detection #estimation #fault #linear #parametricity: Linear transformation parameter estimation for fault detection (AK, MP), pp. 550–552.
ICPR-1998-LiLCLW #linear #recognition: Hierarchical linear combinations for face recognition (SZL, JL, KLC, JL, LW), pp. 1191–1193.
ICPR-1998-LiuW98a #linear #modelling #recognition: Enhanced Fisher linear discriminant models for face recognition (CL, HW), pp. 1368–1372.
ICPR-1998-TingL #layout #linear: Linear layout processing (AT, MKHL), pp. 403–405.
ICPR-1998-WilliamsB #approach #image: A non-linear filtering approach to image matching (JAW, MB), pp. 1–3.
ICPR-1998-ZhaoN #analysis #linear #recognition: Linear discriminant analysis of MPF for face recognition (WZ, NN), pp. 185–188.
SIGIR-1998-VogtC #information retrieval #performance #predict: Predicting the Performance of Linearly Combined IR Systems (CCV, GWC), pp. 190–196.
ALP-PLILP-1998-AjiliL #constraints #linear: Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems (FA, HCRL), pp. 463–480.
SAC-1998-McGuireS #algorithm #linear #search-based #using: Using a genetic algorithm to find good linear error-correcting codes (KMM, RES), pp. 332–337.
CADE-1998-Pfenning #deduction #linear #logic #reasoning: Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.
CSL-1998-Schwentick #bound #complexity #linear: Descriptive Complexity, Lower Bounds and Linear Time (TS), pp. 9–28.
JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language: Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.
JICSLP-1998-McAloon #linear #logic programming #research: Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming (KM), pp. 5–6.
JICSLP-1998-Refalo98a #constraints #logic programming: Meta-linear Constraints in Constraint Logic Programming (PR), pp. 55–69.
LICS-1998-KupfermanV #linear: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (OK, MYV), pp. 81–92.
LICS-1998-Mackie #linear #logic: Linear Logic With Boxes (IM), pp. 309–320.
LICS-1998-Vardi #branch #linear #perspective: Linear vs. Branching Time: A Complexity-Theoretic Perspective (MYV), pp. 394–405.
DAC-1997-MeinelST #diagrams #linear: Linear Sifting of Decision Diagrams (CM, FS, TT), pp. 202–207.
ICDAR-1997-ChenAS #linear: Piecewise Linear Modulation Model of Handwriting (HC, OEA, CYS), pp. 363–368.
ICDAR-1997-WorringS #case study #documentation #internet #linear: From Linear to Non-Linear Reading: A Case Study to Provide Internet Access to Paper Documents (MW, AWMS), p. 273–?.
PODS-1997-GoldsteinRSY #constraints #linear #query: Processing Queries By Linear Constraints (JG, RR, US, JBY), pp. 257–267.
PODS-1997-GuchtDGV #algebra #database #decidability #on the #set: On the Decidability of Semi-Linearity of Semi-Algebraic Sets and Its Implications for Spatial Databases (FD, MG, LV, DVG), pp. 68–77.
PODS-1997-IbarraS #constraints #database #equivalence #linear #on the #query: On the Containment and Equivalence of Database Queries with Linear Constraints (OHI, JS), pp. 32–43.
TACAS-1997-SchmittG #linear #logic: A Tableau System for Linear-TIME Temporal Logic (PHS, JGL), pp. 130–144.
PLDI-1997-HeintzeM #analysis #control flow #linear #transitive: Linear-time Subtransitive Control Flow Analysis (NH, DAM), pp. 261–272.
STOC-1997-AlonDMPT #linear #question: Is Linear Hashing Good? (NA, MD, PBM, EP, GT), pp. 465–474.
STOC-1997-CramerD #linear #performance #proving: Linear Zero-Knowledge — A Note on Efficient Zero-Knowledge Proofs and Arguments (RC, ID), pp. 436–445.
STOC-1997-Dietzfelbinger #communication #complexity #problem: The Linear-Array Problem in Communication Complexity Resolved (MD), pp. 373–382.
STOC-1997-FortnowS #linear #probability: Retraction of Probabilistic Computation and Linear Time (LF, MS), p. 750.
ICALP-1997-BodlaenderT #algorithm #linear: Constructive Linear Time Algorithms for Branchwidth (HLB, DMT), pp. 627–637.
ICALP-1997-ManziniM #automaton #classification #linear: A Complete and Efficiently Computable Topological Classification of D-dimensional Linear Cellular Automata over Zm (GM, LM), pp. 794–804.
ICML-1997-Gama #linear #probability: Probabilistic Linear Tree (JG), pp. 134–142.
ALP-1997-CesarM #linear: A Left-Linear Variant of λσ (AC, HM), pp. 224–239.
POPL-1997-ChenH #linear #monad: Rolling Your Own MADT — A Connection Between Linear Types and Monads (CPC, PH), pp. 54–66.
POPL-1997-Halbwachs #automation #linear #network #process #verification: Automatic Verification of Parameterized Linear Networks of Processes (DL, NH, PR), pp. 346–357.
CADE-1997-KreitzMOS #linear #logic #proving: Connection-Based Proof Construction in Linear Logic (CK, HM, JO, SS), pp. 207–221.
CAV-1997-BoigelotBR #analysis #hybrid #linear #reachability: An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) (BB, LB, SR), pp. 167–178.
CAV-1997-ChanABN #constraints #model checking #theorem proving: Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
CAV-1997-Sistla #automaton #invariant #linear #network #using #verification: Parametrized Verification of Linear Networks Using Automata as Invariants (APS), pp. 412–423.
CSL-1997-BarberGHP #calculus #linear #logic: From Action Calculi to Linear Logic (AB, PG, MH, GDP), pp. 78–97.
CSL-1997-BonetG #bound #linear #simulation: Linear Lower Bounds and Simulations in Frege Systems with Substitutions (MLB, NG), pp. 115–128.
CSL-1997-BraunerP #linear #logic: A Formulation of Linear Logic Based on Dependency-Relations (TB, VdP), pp. 129–148.
CSL-1997-Hofmann #linear #recursion #λ-calculus: A Mixed Modal/Linear λ Calculus with Applications to Bellantoni-Cook Safe Recursion (MH0), pp. 275–294.
CSL-1997-Olive #linear #logic #nondeterminism: A Conjunctive Logical Characterization of Nondeterministic Linear Time (FO), pp. 360–372.
LICS-1997-BaillotDE #game studies #linear #logic: Believe it or not, AJM’s Games Model is a Model of Classical Linear Logic (PB, VD, TE, LR), pp. 68–75.
LICS-1997-CervesatoP #higher-order #linear: Linear Higher-Order Pre-Unification (IC, FP), pp. 422–433.
LICS-1997-KanovichI #concurrent #linear #logic #process #specification: Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract) (MIK, TI), pp. 48–57.
LICS-1997-ThiagarajanW #linear #logic: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (PST, IW), pp. 183–194.
RTA-1997-OyamaguchiO #linear #parallel #term rewriting: A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems (MO, YO), pp. 187–201.
RTA-1997-TomasF #equation #geometry #linear #using: Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.
RTA-1997-Vorobyov #decidability #first-order #linear: The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable (SGV), pp. 254–268.
TLCA-1997-RetoreL #commutative #linear #logic: A Non-commutative Extension of Classical Linear Logic (CR, PL), pp. 300–318.
DAC-1996-LiLLC #approach #clustering #linear: New Spectral Linear Placement and Clustering Approach (JL, JL, LTL, CKC), pp. 88–93.
DAC-1996-LiM #adaptation #linear #modelling #parametricity #using: Computing Parametric Yield Adaptively Using Local Linear Models (ML, LSM), pp. 831–836.
DAC-1996-MehendaleVS #code generation #linear #multi: Optimized Code Generation of Multiplication-free Linear Transforms (MM, GV, SDS), pp. 41–46.
DAC-1996-OhPP #bound #linear #programming #using: Constructing Lower and Upper Bounded Delay Routing Trees Using Linear Programming (JO, IP, MP), pp. 401–404.
DAC-1996-SrivastavaP #approach #implementation #linear #optimisation #programmable: Power Optimization in Programmable Processors and ASIC Implementations of Linear Systems: Transformation-based Approach (MBS, MP), pp. 343–348.
PODS-1996-StolboushkinT #database #linear #order #query: Linear vs. Order Contstrained Queries Over Rational Databases (APS, MAT), pp. 17–27.
ESOP-1996-Rose #functional #linear: Linear Time Hierarchies for a Functional Language Machine Model (ER), pp. 311–325.
STOC-1996-AllenderBO #complexity #equation #linear #matrix #rank: The Complexity of Matrix Rank and Feasible Systems of Linear Equations (Extended Abstract) (EA, RB, MO), pp. 161–167.
STOC-1996-Karger: Minimum Cuts in Near-Linear Time (DRK), pp. 56–63.
STOC-1996-KushilevitzLO #communication #complexity: The Linear-Array Conjecture in Communication Complexity is False (EK, NL, RO), pp. 1–10.
STOC-1996-KushilevitzOR #linear #privacy: Characterizing Linear Size Circuits in Terms of Privacy (EK, RO, AR), pp. 541–550.
STOC-1996-Milenkovic #linear #programming #strict #using: Translational Polygon Containment and Minimal Enclosure using Linear Programming Based Restriction (VM), pp. 109–118.
STOC-1996-Mohar #graph #linear: Embedding Graphs in an Arbitrary Surface in Linear Time (BM), pp. 392–397.
ICALP-1996-BradfieldEM #calculus #effectiveness #linear #μ-calculus: An Effective Tableau System for the Linear Time μ-Calculus (JCB, JE, AM), pp. 98–109.
ICML-1996-IttnerS: Non-Linear Decision Trees — NDT (AI, MS), pp. 252–257.
ICPR-1996-Bobrowski #classification #learning #set: Piecewise-linear classifiers, formal neurons and separability of the learning sets (LB), pp. 224–228.
ICPR-1996-BollackerG #linear: Linear feature extractors based on mutual information (KDB, JG), pp. 720–724.
ICPR-1996-ChaiZZS #algorithm #linear #search-based: Binary linear decision tree with genetic algorithm (BBC, XZ, YZ, JS), pp. 530–534.
ICPR-1996-LanitisSTCM #image #modelling: A general non-linear method for modelling shape and locating image objects (AL, PDS, CJT, TFC, ECDM), pp. 266–270.
ICPR-1996-LasakulAK #analysis #formal method #image #linear #multi #using: A theory of image restoration for linear spatial degradation using multiresolution analysis (AL, KA, SK), pp. 422–426.
ICPR-1996-MartinezST #linear #performance #recursion: A recursive updating rule for efficient computation of linear moments in sliding-window applications (JM, ES, FT), pp. 295–299.
ICPR-1996-RanganathanBV #array #image #linear: A dynamic frequency linear array processor for image processing (NR, NB, NV), pp. 611–615.
ICPR-1996-Raudys #classification #design #linear: Linear classifiers in perceptron design (SR), pp. 763–767.
ICPR-1996-VriesengaS #classification #linear #modelling: Neural modeling of piecewise linear classifiers (MV, JS), pp. 281–285.
KDD-1996-ArningAR #database #detection #linear #scalability: A Linear Method for Deviation Detection in Large Databases (AA, RA, PR), pp. 164–169.
KDD-1996-Domingos #induction #linear: Linear-Time Rule Induction (PMD), pp. 96–101.
KDD-1996-IttnerS #generative: Discovery of Relevant New Features by Generating Non-Linear Decision Trees (AI, MS), pp. 108–113.
SIGIR-1996-LewisSCP #algorithm #classification #linear: Training Algorithms for Linear Text Classifiers (DDL, RES, JPC, RP), pp. 298–306.
OOPSLA-1996-BarrettCHMPW: A Monotonic Superclass Linearization for Dylan (KB, BC, PH, DAM, KP, PTW), pp. 69–82.
POPL-1996-KobayashiPT #π-calculus: Linearity and the π-Calculus (NK, BCP, DNT), pp. 358–371.
POPL-1996-Steensgaard #analysis #linear #points-to: Points-to Analysis in Almost Linear Time (BS), pp. 32–41.
SAC-1996-MonfroyRS #constraints #implementation: Implementing non-linear constraints with cooperative solvers (EM, MR, RS), pp. 63–72.
SAC-1996-Neubauer #adaptation #algorithm #search-based: Genetic algorithms for non-linear adaptive filters in digital signal processing (AN), pp. 519–522.
CADE-1996-Weidenbach #decidability #pseudo #unification: Unification in Pseudo-Linear Sort Theories is Decidable (CW), pp. 343–357.
ISSTA-1996-HowdenS #analysis #linear #sequence: Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.
JICSLP-1996-BugliesiDML #calculus #linear #logic: A Linear Logic Calculus Objects (MB, GD, LL, MM), pp. 67–81.
JICSLP-1996-TamuraK #compilation #linear #logic programming #programming language #resource management: Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract) (NT, YK), p. 545.
LICS-1996-BentonW #linear #logic #monad #λ-calculus: Linear Logic, Monads and the λ Calculus (PNB, PW), pp. 420–431.
LICS-1996-CervesatoP #framework #linear #logic: A Linear Logical Framework (IC, FP), pp. 264–275.
LICS-1996-Narendran #equation #linear #polynomial: Solving Linear Equations over Polynomial Semirings (PN), pp. 466–472.
LICS-1996-Nurmonen #finite #order #quantifier: Counting Modulo Quantifiers on Finite Linearly Ordered Trees (JN), pp. 484–493.
LICS-1996-Ramanujam #linear #logic: Locally Linear Time Temporal Logic (RR), pp. 118–127.
LICS-1996-WillemsW #branch #linear #model checking #partial order: Partial-Order Methods for Model Checking: From Linear Time to Branching Time (BW, PW), pp. 294–303.
RTA-1996-Levy #higher-order #linear #unification: Linear Second-Order Unification (JL), pp. 332–346.
DAC-1995-FeldmannF #algorithm #linear #modelling #scalability: Reduced-Order Modeling of Large Linear Subcircuits via a Block Lanczos Algorithm (PF, RWF), pp. 474–479.
STOC-1995-AnderssonHNR #linear #question #sorting: Sorting in linear time? (AA, TH, SN, RR), pp. 427–436.
STOC-1995-Ergun #generative #linear #multi #testing: Testing multivariate linear functions: overcoming the generator bottleneck (FE), pp. 407–416.
STOC-1995-KivinenW #linear #predict: Additive versus exponentiated gradient updates for linear prediction (JK, MKW), pp. 209–218.
STOC-1995-Spielman #linear: Linear-time encodable and decodable error-correcting codes (DAS), pp. 388–397.
DLT-1995-Cassaigne #complexity #linear #sequence: Special Factors of Sequences with Linear Subword Complexity (JC), pp. 25–34.
DLT-1995-Ito #linear: Height Functions and Linear Languages (MI), pp. 98–101.
DLT-1995-Nitsche #linear #logic #semantics: A Finitary-Language Semantics for Propositional Linear Temporal Logic (UN), pp. 482–489.
ICALP-1995-CorneilOS #algorithm #graph #linear: Linear Time Algorithms for Dominating Pairs in Asteroidal Triple-free Graphs (DGC, SO, LS), pp. 292–302.
CIKM-1995-Teuhola #clustering #effectiveness #linear: Effective Clustering of Objects Stored by Linear Hashing (JT), pp. 274–280.
ICML-1995-Littlestone #algorithm #learning: Comparing Several Linear-threshold Learning Algorithms on Tasks Involving Superfluous Attributes (NL), pp. 353–361.
PLILP-1995-McEvoyH #linear #locality #logic #multi: Local Linear Logic for Locality Consciousness in Multiset Transformation (HM, PHH), pp. 357–379.
POPL-1995-SreedharG #algorithm #linear: A Linear Time Algorithm for Placing phi-nodes (VCS, GRG), pp. 62–73.
SAC-1995-BanachP #behaviour #graph grammar #linear #source code: Linear behaviour of term graph rewriting programs (RB, GAP), pp. 157–163.
SAC-1995-Sabin #generative #linear #parallel: The use of parallelization in the generation of binary linear codes (RES), pp. 215–220.
PPoPP-1995-KennedyNS #algorithm #linear #memory management #sequence #source code: A Linear-Time Algorithm for Computing the Memory Access Sequence in Data-Parallel Programs (KK, NN, AS), pp. 102–111.
CAV-1995-BouajjaniLR #automaton #calculus #hybrid #linear: From Duration Calculus To Linear Hybrid Automata (AB, YL, RR), pp. 196–210.
CAV-1995-BouajjaniR #hybrid #linear #subclass #verification: Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
ICLP-1995-BurgSTY #constraints #equation #linear #logic programming: Linear Equation Solving for Constraint Logic Programming (JB, PJS, JCHT, RHCY), pp. 33–47.
ICLP-1995-ChiuL #constraints #linear #theorem proving #using: Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.
ILPS-1995-TarauDF #backtracking #continuation #linear: Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (PT, VD, AF), p. 642.
ILPS-1995-WinikoffH #implementation #linear #logic programming #programming language: Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.
LICS-1995-Kanovich #complexity #linear #logic: The Complexity of Neutrals in Linear Logic (MIK), pp. 486–495.
LICS-1995-Kopylov #decidability #linear #logic: Decidability of Linear Affine Logic (APK), pp. 496–504.
LICS-1995-Lamarche #game studies #linear #logic #semantics: Games Semantics for Full Propositional Linear Logic (FL), pp. 464–473.
LICS-1995-LincolnSS #higher-order #linear #logic #problem: Decision Problems for Second-Order Linear Logic (PL, AS, NS), pp. 476–485.
RTA-1995-AbdulrabM #equation #linear: General Solution of Systems of Linear Diophantine Equations and Inequations (HA, MM), pp. 339–351.
TLCA-1995-Bierman #category theory #linear #logic #question #what: What is a Categorical Model of Intuitionistic Linear Logic? (GMB), pp. 78–93.
EDAC-1994-BoniCFMO #fault #modelling #physics: Physical Modeling of Linearity Errors for the Diagnosis of High Resolution R-2R D/A Converters (AB, GC, GF, SM, MO), p. 664.
EDAC-1994-SrivastavaP #latency #linear #optimisation: Transforming Linear Systems for Joint Latency and Throughout Optimization (MBS, MP), pp. 267–271.
EDAC-1994-WangD #approximate #linear #optimisation #performance #using: An Efficient Yield Optimization Method Using A Two Step Linear Approximation of Circuit Performance (ZW, SWD), pp. 567–571.
ESOP-1994-King #analysis: A Synergistic Analysis for Sharing and Groundness with Traces Linearity (AK), pp. 363–378.
PLDI-1994-JohnsonPP #linear: The Program Structure Tree: Computing Control Regions in Linear Time (RJ, DP, KP), pp. 171–185.
SAS-1994-HalbwachsPR #approximate #hybrid #linear #verification: Verification of Linear Hybrid Systems by Means of Convex Approximations (NH, YEP, PR), pp. 223–237.
STOC-1994-Cohen #approximate: Polylog-time and near-linear work approximation scheme for undirected shortest paths (EC), pp. 16–26.
STOC-1994-KleinT #algorithm #linear #random: A randomized linear-time algorithm for finding minimum spanning trees (PNK, RET), pp. 9–15.
STOC-1994-Mulmuley #bound #linear #parallel #problem #programming: Lower bounds for parallel linear programming and other problems (KM), pp. 603–614.
STOC-1994-PolishchukS #artificial reality #proving: Nearly-linear size holographic proofs (AP, DAS), pp. 194–203.
ICALP-1994-PlotkinW #linear #logic: Bistructures, Bidomains and Linear Logic (GDP, GW), pp. 352–363.
TAGT-1994-BrandenburgS #automaton #graph #linear: Graph Automata for Linear Graph Languages (FJB, KS), pp. 336–350.
CIKM-1994-ChenH #algorithm #graph #linear #source code #traversal: An Optimal Graph Traversal Algorithm for Evaluating Linear Binary-Chain Programs (YC, TH), pp. 34–41.
SEKE-1994-CookeDGK #concurrent #linear #logic programming #source code: Bag languages, concurrency, Horn logic programs, and linear logic (DEC, RD, AQG, VK), pp. 289–297.
OOPSLA-1994-DucournauHHM #inheritance #multi: Proposal for a Monotonic Multiple Inheritance Linearization (RD, MH, MH, MLM), pp. 164–175.
ALP-1994-Volpe #concurrent #linear #logic programming #proving: Concurrent Logic Programming as Uniform Linear Proofs (PV), pp. 133–149.
SAC-1994-ChaudhuriD #generative #linear #sequence: A note on generating a worst case sequence for Quicksort in linear time (RC, ACD), pp. 566–567.
SAC-1994-RayJD #algorithm #array #graph #linear #parallel: A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors (SR, HJ, JSD), pp. 473–477.
SAC-1994-RogersU #linear #using: A deterrent to linear system inferential attacks using a mediator (DSR, EAU), pp. 15–19.
CAV-1994-BouajjaniER #hybrid #linear #using #verification: Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.
CAV-1994-OliveroSY #abstraction #hybrid #linear #using #verification: Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
ILPS-1994-Imbert #equation #linear: Redundancy, Variable Elimination and Linear Disequations (JLI), pp. 139–153.
ILPS-1994-MarriottS #approximate #constraints #interactive #linear: Approximating Interaction between Linear Arithmetic Constraints (KM, PJS), pp. 571–585.
ILPS-1994-MichaylovP #compilation #constraints #linear #logic programming #optimisation #source code: Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs (SM, BP), pp. 586–600.
ILPS-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.
LICS-1994-HellaKL #finite #how #linear #modelling #order: How to Define a Linear Order on Finite Models (LH, PGK, KL), pp. 40–49.
LICS-1994-HuthJK #approximate #linear: Linear Types, Approximation, and Topology (MH, AJ, KK), pp. 110–114.
LICS-1994-LincolnS #calculus #first-order #linear #logic #proving: Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi (PL, NS), pp. 282–291.
LICS-1994-Loader #linear #logic: Linear Logic, Totality and Full Completeness (RL), pp. 292–298.
LICS-1994-Thiagarajan #linear #logic: A Trace Based Extension of Linear Time Temporal Logic (PST), pp. 438–447.
DAC-1993-HamadaCC #approach #linear #named #network #using: Prime: A Timing-Driven Placement Tool using A Piecewise Linear Resistive Network Approach (TH, CKC, PMC), pp. 531–536.
ICDAR-1993-TokahashiG #linear #recognition #verification: Recognition enhancement by linear tournament verification (HT, TDG), pp. 585–588.
SIGMOD-1993-LitwinNS #distributed #linear: LH* — Linear Hashing for Distributed Files (WL, MAN, DAS), pp. 327–336.
STOC-1993-BergMS #linear: Piecewise linear paths among convex obstacles (MdB, JM, OS), pp. 505–514.
STOC-1993-Bodlaender #algorithm #linear: A linear time algorithm for finding tree-decompositions of small treewidth (HLB), pp. 226–234.
STOC-1993-CooperL #linear #performance #protocol: Fast perfection-information leader-election protocol with linear immunity (JC, NL), pp. 662–671.
STOC-1993-LubyN #algorithm #approximate #linear #parallel #programming: A parallel approximation algorithm for positive linear programming (ML, NN), pp. 448–457.
STOC-1993-PapadimitriouY #linear #matrix #programming: Linear programming without the matrix (CHP, MY), pp. 121–129.
WSA-1993-BruynoogheC #correctness: Freeness, Sharing, Linearity and Correctness — All at Once (MB, MC), pp. 153–164.
PLILP-1993-DarlingtonGK #functional #linear #logic #perspective #programming language: Functional Programming Languages with Logical Variables: A Linear Logic View (JD, YG, MK), pp. 201–219.
SAC-1993-AcreeCUGS #adaptation #algorithm #analysis #linear #parallel: Parallelization and Analysis of a Linear Adaptive Filtering Algorithm (RKA, DTC, NU, MJG, DMS), pp. 165–172.
SAC-1993-GrahamI #incremental #linear: Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.
SAC-1993-Konstam #algorithm #analysis #linear #search-based #using: Linear Discriminant Analysis Using Genetic Algorithms (AHK), pp. 152–156.
CAV-1993-KurshanMOS #process: A Structural Linearization Principle for Processes (RPK, MM, AO, SRS), pp. 491–504.
ICLP-1993-BackerB #constraints #linear: A CLP Language Handling Disjunctions of Linear Constraints (BDB, HB), pp. 550–563.
ICLP-1993-Contejean #constraints #incremental #linear: Solving Linear Diophantine Constraints Incrementally (EC), pp. 532–549.
ICLP-1993-HarlandR #constraints #linear #recursion: Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.
ICLP-1993-Imbert #constraints #linear: Variable Elimination for Generalized Linear Constraints (JLI), pp. 499–516.
ILPS-1993-AndreoliCP #abstract interpretation #linear #logic programming: Abstract Interpretation of Linear Logic Programming (JMA, TC, RP), pp. 295–314.
ILPS-1993-KobayashiY #concurrent #linear #logic programming #named #paradigm: ACL — A Concurrent Linear Logic Programming Paradigm (NK, AY), pp. 279–294.
RTA-1993-Martin #linear: Linear Interpretations by Counting Patterns (UM), pp. 421–433.
TLCA-1993-BentonBPH #calculus #linear #logic: A Term Calculus for Intuitionistic Linear Logic (PNB, GMB, VdP, MH), pp. 75–90.
DAC-1992-LeeR #analysis #evaluation #linear #named #using: AWEsymbolic: Compiled Analysis of Linear(ized) Circuits using Asymptotic Waveform Evaluation (JYL, RAR), pp. 213–218.
DAC-1992-RoychowdhuryNP #linear #simulation: Simulating Lossy Interconnect with High Frequency Nonidealities in Linear Time (JSR, ARN, DOP), pp. 75–80.
PODS-1992-BellNNS #database #deduction #implementation #linear #programming: Implementing Deductive Databases by Linear Programming (CB, AN, RTN, VSS), pp. 283–292.
PODS-1992-Meyden #complexity #order #query: The Complexity of Querying Indefinite Data about Linearly Ordered Domains (RvdM), pp. 331–345.
ESOP-1992-Odersky #linear: Observers for Linear Types (MO), pp. 390–407.
STOC-1992-AdlerB #algebra #algorithm #linear #polynomial #programming: Polynomial Algorithms for Linear Programming over the Algebraic Numbers (IA, PAB), pp. 483–494.
STOC-1992-AjtaiM #algorithm #linear #programming: A Deterministic Poly(log log N)-Time N-Processor Algorithm for Linear Programming in Fixed Dimension (MA, NM), pp. 327–338.
STOC-1992-BealsS #composition #linear: Structure Forest and Composition Factors for Small Base Groups in Nearly Linear Time (RB, ÁS), pp. 116–125.
STOC-1992-BjornerLY #bound #linear: Linear Decision Trees: Volume Estimates and Topological Bounds (AB, LL, ACCY), pp. 170–177.
WSA-1992-MesnardM #automation #generative #linear #metric #source code: Automatic Generation of Valid Linear Measures for CLP(Q) Programs (FM, MM), pp. 29–34.
ICALP-1992-Shallit #linear #set: Numeration Systems, Linear Recurrences, and Regular Sets (Extended Abstract) (JS), pp. 89–100.
LFP-1992-ChirimarGR #invariant #linear #logic #memory management #proving: Proving Memory Management Invariants for a Language Based on Linear Logic (JC, CAG, JGR), pp. 139–150.
SEKE-1992-TuS #approach #linear #petri net #programming #static analysis: Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.
ALP-1992-Hong #constraints #logic programming: Non-linear Real Constraints in Constraint Logic Programming (HH), pp. 201–212.
PLILP-1992-VerschaetseS #abstract interpretation #linear: Deriving of Linear Size Relations by Abstract Interpretation (KV, DDS), pp. 296–310.
POPL-1992-BatesL #linear #lr #string: Recognizing Substrings of LR(k) Languages in Linear Time (JB, AL), pp. 235–245.
POPL-1992-Filinski #continuation #linear: Linear Continuations (AF), pp. 27–38.
ICSE-1992-AfifiWZ #fault #linear #source code #testing: Testing for Linear Errors in Nonlinear Computer Programs (FHA, LJW, SJZ), pp. 81–91.
CADE-1992-Sutcliffe #analysis #set: Linear-Input Subset Analysis (GS), pp. 268–280.
CADE-1992-Sutcliffe92a #deduction #linear #semantics: The Semantically Guided Linear Deduction System (GS), pp. 677–680.
CAV-1992-Kaivola #composition #linear #logic #model checking: Compositional Model Checking for Linear-Time Temporal Logic (RK), pp. 248–259.
CSL-1992-AanderaaJ #linear #logic #recursion: Recursive Inseparability in Linear Logic (SA, HRJ), pp. 5–13.
CSL-1992-BentonBPH #linear #modelling #revisited #λ-calculus: Linear λ-Calculus and Categorial Models Revisited (PNB, GMB, VdP, MH), pp. 61–84.
CSL-1992-Creignou #linear #problem #proving #satisfiability: The Class of Problems that are Linear Equivalent to Satisfiability or a Uniform Method for Proving NP-Completeness (NC), pp. 115–133.
CSL-1992-Grandjean #algorithm #linear #problem: Linear Time Algorithms and NP-Complete Problems (EG), pp. 248–273.
JICSLP-1992-Hodas #dependence #logic programming #programming language #semiparsing #specification: Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.
JICSLP-1992-Troelstra #linear #logic #tutorial: Tutorial on Linear Logic (AST), pp. 30–31.
LICS-1992-GonthierAL #linear #logic: Linear Logic Without Boxes (GG, MA, JJL), pp. 223–234.
LICS-1992-Kanovich #linear #logic #programming: Horn Programming in Linear Logic Is NP-Complete (MIK), pp. 200–210.
LICS-1992-LincolnM #aspect-oriented #linear #λ-calculus: Operational aspects of linear λ calculus (PL, JCM), pp. 235–246.
LICS-1992-Stolboushkin #axiom #finite #linear #modelling #order: Axiomatizable Classes of Finite Models and Definability of Linear Order (APS), pp. 64–70.
LICS-1992-Toyama #linear #term rewriting: Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems (YT), pp. 274–284.
DAC-1991-SiglDJ #linear #polynomial #question: Analytical Placement: A Linear or a Quadratic Objective Function? (GS, KD, FMJ), pp. 427–432.
PODS-1991-MumickP #bound #linear #query: Overbound and Right-Linear Queries (ISM, HP), pp. 127–141.
PEPM-1991-Wadler #linear #logic #question: Is There a Use for Linear Logic? (PW), pp. 255–273.
PLDI-1991-ProebstingF #architecture #linear #scheduling: Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures (TAP, CNF), pp. 256–267.
STOC-1991-AslamD #bound #fault: Searching in the Presence of Linearly Bounded Errors (Extended Abstract) (JAA, AD), pp. 486–493.
STOC-1991-BlumJLTY #approximate #linear #string: Linear Approximation of Shortest Superstrings (AB, TJ, ML, JT, MY), pp. 328–336.
STOC-1991-BrightwellW #linear: Counting Linear Extensions is #P-Complete (GB, PW), pp. 175–181.
STOC-1991-CohenM #algorithm #difference #linear: Improved Algorithms for Linear Inequalities with Two Variables per Inequality (Extended Abstract) (EC, NM), pp. 145–155.
STOC-1991-LittlestoneLW #learning #linear #online: On-Line Learning of Linear Functions (NL, PML, MKW), pp. 465–475.
ICALP-1991-GalilM #algorithm #linear #problem: An Almost Linear-Time Algorithm for the Dense Subset-Sum Problem (ZG, OM), pp. 719–727.
ICALP-1991-GrogerT #linear #on the: On Linear Decision Trees Computing Boolean Functions (HDG, GT), pp. 707–718.
FPCA-1991-WakelingR #lazy evaluation: Linearity and Laziness (DW, CR), pp. 215–240.
CAV-1991-CleavelandS #algorithm #calculus #linear #model checking #μ-calculus: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal μ-Calculus (RC, BS), pp. 48–58.
CAV-1991-Jeffrey #algebra #linear #process: A Linear Time Process Algebra (AJ), pp. 432–442.
ICLP-1991-BrissetR #linear: Naïve Reverse Can be Linear (PB, OR), pp. 857–870.
ISLP-1991-HarlandP #linear #logic programming: The Uniform Proof-Theoretic Foundation of Linear Logic Programming (JH, DJP), pp. 304–318.
LICS-1991-HodasM #linear #logic programming: Logic Programming in a Fragment of Intuitionistic Linear Logic (JSH, DM), pp. 32–42.
LICS-1991-LafontS #game studies #linear #logic #semantics: Games Semantics for Linear Logic (YL, TS), pp. 43–50.
LICS-1991-LincolnSS: Linearizing Intuitionistic Implication (PL, AS, NS), pp. 51–62.
RTA-1991-Pottier #algorithm #bound #linear: Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms (LP), pp. 162–173.
DAC-1990-KageyamaMS #algorithm #approach #linear #logic #optimisation #programming: Logic Optimization Algorithm by Linear Programming Approach (NK, CM, TS), pp. 345–348.
DAC-1990-PapachristouK #algorithm #linear #optimisation #scheduling: A Linear Program Driven Scheduling and Allocation Method Followed by an Interconnect Optimization Algorithm (CAP, HK), pp. 77–83.
SIGMOD-1990-Jagadish #clustering #linear #multi: Linear Clustering of Objects with Multiple Atributes (HVJ), pp. 332–342.
VLDB-1990-KempRS #information management #maintenance #multi: Right-, left- and multi-linear rule transformations that maintain context information (DBK, KR, ZS), pp. 380–391.
VLDB-1990-SeverancePW #database #distributed #in memory #linear #memory management #parallel: Distributed Linear Hashing and Parallel Projection in Main Memory Databases (CS, SP, PW), pp. 674–682.
PLDI-1990-Tseng #array #compilation #linear #source code: Compiling Programs for a Linear Systolic Array (PST), pp. 311–321.
STOC-1990-RazW #linear: Monotone Circuits for Matching Require Linear Depth (RR, AW), pp. 287–292.
SEKE-1990-Al-SukairiH #compilation #independence #linear #recursion: Query-Independent Compilation of Linear Recursions (AAS, LJH), pp. 177–182.
PLILP-1990-Queinnec #compilation #higher-order #lisp: Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
CAV-1990-HamaguchiHY #branch #complexity #linear #logic #model checking: Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity (KH, HH, SY), pp. 253–262.
CLP-1990-AndreoliP90 #inheritance #linear #logic #process: Linear Objects in a Logic Processes with Built-in Inheritance (JMA, RP), pp. 495–510.
LICS-1990-BrownG #category theory #framework #linear #petri net: A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.
LICS-1990-Cerrito #linear #logic programming #semantics #source code: A Linear Semantics for Allowed Logic Programs (SC), pp. 219–227.
PODS-1989-Bonner #datalog #linear #recursion: Hypothetical Datalog: Negation and Linear Recursion (AJB), pp. 286–300.
PODS-1989-Saraiya #polynomial #recursion: Linearizing Nonlinear Recursions in Polynomial Time (YPS), pp. 182–189.
SIGMOD-1989-NaughtonRSU #evaluation #performance: Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules (JFN, RR, YS, JDU), pp. 235–242.
VLDB-1989-Ioannidis #commutative #linear #recursion: Commutativity and its Role in the Processing of Linear Recursion (YEI), pp. 155–163.
STOC-1989-FortnowS #linear #probability: Probabilistic Computation and Linear Time (LF, MS), pp. 148–156.
KR-1989-RossiM #constraints #linear #network #using: Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation (FR, UM), pp. 394–399.
OOPSLA-1989-McDonald #algebra #linear #object-oriented #programming: Object-Oriented Programming for Linear Algebra (JAM), pp. 175–184.
CSL-1989-Dahlhaus #complexity #linear: The Complexity of Subtheories of the Existential Linear Theory of Reals (ED), pp. 76–89.
NACLP-1989-HanL #linear #multi #recursion: Processing Multiple Linear Recursions (JH, LL), pp. 816–830.
NACLP-1989-LassezHM #constraints #linear: Simplification and Elimination of Redundant Linear Arithmetic Constraints (JLL, TH, KM), pp. 37–51.
RTA-1989-AbdulrabP #equation #linear #word: Solving Systems of Linear Diophantine Equations and Word Equations (HA, JPP), pp. 530–532.
RTA-1989-Dauchet #linear #simulation #turing machine: Simulation of Turing Machines by a Left-Linear Rewrite Rule (MD), pp. 109–120.
RTA-1989-ToyamaKB #linear #term rewriting #termination: Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- (YT, JWK, HPB), pp. 477–491.
PODS-1988-Vardi #bound #decidability #linear #query #recursion: Decidability and Undecidability Results for Boundedness of Linear Recursive Queries (MYV), pp. 341–351.
PLDI-1988-CooperK #analysis #interprocedural #linear: Interprocedural Side-Effect Analysis in Linear Time (KDC, KK), pp. 57–66.
STOC-1988-GurevichS #linear #nondeterminism #sublinear: Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space (YG, SS), pp. 281–289.
STOC-1988-LoeblN #problem #set: Linearity and Unprovability of Set Union Problem Strategies (ML, JN), pp. 360–366.
STOC-1988-Yannakakis #combinator #linear #optimisation #problem #source code: Expressing Combinatorial Optimization Problems by Linear Programs (Extended Abstract) (MY), pp. 223–228.
Best-of-PLDI-1988-CooperK88a #analysis #interprocedural #linear: Interprocedural side-effect analysis in linear time (with retrospective) (KDC, KK), pp. 217–228.
ICALP-1988-Schafer #approach #linear: A Kleene-Presburgerian Approach to Linear Production Systems (JS), pp. 525–534.
ICALP-1988-Tao #automaton #finite #linear: Invertibility of Linear Finite Automata Over a Ring (RjT), pp. 489–501.
SIGIR-1988-WongYB #information retrieval #linear: Linear Structure in Information Retrieval (SKMW, YY, PB), pp. 219–232.
ALP-1988-FulopV #automaton #linear #set #term rewriting: A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata (ZF, SV), p. 157.
CADE-1988-CerroH #deduction #linear: Linear Modal Deductions (LFdC, AH), pp. 487–499.
CADE-1988-Kafl #linear #reasoning: Reasoning about Systems of Linear Inequalities (TK), pp. 563–572.
CSL-1988-SaakeL #database #logic #specification #using: Using Finite-Linear Temporal Logic for Specifying Database Dynamics (GS, UWL), pp. 288–300.
HT-1987-Charney: Comprehending Non-Linear Text: The Role of Discourse Cues and Reading Strategies (DC), pp. 109–120.
SIGMOD-1987-ZhangY #linear #recursion: A Necessary Condition for a Doubly Recursive Rule to be Equivalent to a Linear Recursive Rule (WZ, CTY), pp. 345–356.
STOC-1987-AggarwalGSS #algorithm #diagrams #linear: A Linear Time Algorithm for Computing the Voronoi Diagram of a Convex Polygon (AA, LJG, JBS, PWS), pp. 39–45.
STOC-1987-Vaidya #algorithm #linear #programming: An Algorithm for Linear Programming which Requires O(((m+n)n^2 + (m+n)^1.5 n)L) Arithmetic Operations (PMV), pp. 29–38.
SIGIR-1987-BollmannW #adaptation #information retrieval #linear #modelling: Adaptive Linear Information Retrieval Models (PB, SKMW), pp. 157–163.
RTA-1987-DauchetC #linear #term rewriting: A Gap Between Linear and Non Linear Term-Rewriting Systems (1) (MD, FDC), pp. 95–104.
DAC-1986-BhaskerS #algorithm #graph #linear: A linear algorithm to find a rectangular dual of a planar triangulated graph (JB, SS), pp. 108–114.
PODS-1986-Robinson #linear #order #statistics #using: Order Preserving Linear Hashing Using Dynamic Key Statistics (JTR), pp. 91–99.
STOC-1986-LuekerMR #difference #linear #programming: Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.
STOC-1986-TarjanW #algorithm #linear: A Linear-Time Algorithm for Triangulating Simple Polygons (RET, CJVW), pp. 380–388.
CADE-1986-Kafl #linear #reasoning #verification: Program Verifier “Tatzelwurm”: Reasoning about Systems of Linear Inequalities (TK), pp. 300–305.
DAC-1985-SakataK #comparison #linear: A circuit comparison system for bipolar linear LSI (TS, AK), pp. 429–434.
PODS-1985-Ellis #concurrent #linear: Concurrency and Linear Hashing (CSE), pp. 1–7.
STOC-1985-AharoniEL #integer #linear #source code: Dual Integer Linear Programs and the Relationship between their Optima (RA, PE, NL), pp. 476–483.
STOC-1985-Harel #algorithm #graph #linear #problem: A Linear Time Algorithm for Finding Dominators in Flow Graphs and Related Problems (DH), pp. 185–194.
STOC-1985-HastadS #encryption #security: The Cryptographic Security of Truncated Linearly Related Variables (JH, AS), pp. 356–362.
STOC-1985-PanR #linear #parallel #performance: Efficient Parallel Solution of Linear Systems (VYP, JHR), pp. 143–152.
ICALP-1985-Pnueli #branch #linear #logic #semantics: Linear and Branching Structures in the Semantics and Logics of Reactive Systems (AP), pp. 15–32.
POPL-1985-FerranteM #on the #parallel: On Linearizing Parallel Code (JF, MM), pp. 179–189.
POPL-1985-LichtensteinP #concurrent #finite #linear #source code #specification: Checking That Finite State Concurrent Programs Satisfy Their Linear Specification (OL, AP), pp. 97–107.
STOC-1984-BlumerBEHM #linear #set: Building a Complete Inverted File for a Set of Text Files in Linear Time (AB, JB, AE, DH, RMM), pp. 349–358.
STOC-1984-Karmarkar #algorithm #linear #polynomial #programming: A New Polynomial-Time Algorithm for Linear Programming (NK), pp. 302–311.
ICALP-1984-BlumerBEHM #automaton #linear #online #set #word: Building the Minimal DFA for the Set of all Subwords of a Word On-line in Linear Time (AB, JB, AE, DH, RMM), pp. 109–118.
ICALP-1984-Crochemore #linear #word: Linear Searching for a Square in a Word (Abstract) (MC), p. 137.
ICALP-1984-PaigeT #algorithm #linear #problem: A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem (RP, RET), pp. 371–379.
CADE-1984-CavalliC #linear #logic: A Decision Method for Linear Temporal Logic (ARC, LFdC), pp. 113–127.
CADE-1984-Simon #algorithm #higher-order #linear: A Linear Time Algorithm for a Subcase of Second Order Instantiation (DS), pp. 209–223.
CADE-1984-Ursic #linear #problem: A Linear Characterization of NP-Complete Problems (SU), pp. 80–100.
DAC-1983-Kang #linear: Linear ordering and application to placement (SK), pp. 457–464.
PODS-1983-OukselS #linear #multi: Storage Mappings for Multidimensional Linear Dynamic Hashing (AMO, PS), pp. 90–105.
STOC-1983-GabowT #algorithm #linear #set: A Linear-Time Algorithm for a Special Case of Disjoint Set Union (HNG, RET), pp. 246–251.
STOC-1983-Heide #algorithm #linear #polynomial #problem: A Polynomial Linear Search Algorithm for the N-Dimensional Knapsack Problem (FMadH), pp. 70–79.
STOC-1983-ReifV #linear #network: A Logarithmic Time Sort for Linear Size Networks (JHR, LGV), pp. 10–16.
ICALP-1983-BakkerBKM #branch #linear #recursion #semantics: Linear Time and Branching Time Semantics for Recursion with Merge (JWdB, JAB, JWK, JJCM), pp. 39–51.
ICALP-1983-MakedonS #linear: Minimizing Width in Linear Layouts (FM, IHS), pp. 478–490.
POPL-1983-EmersonH #branch #linear: “Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.
DAC-1982-FiducciaM #heuristic #linear #network: A linear-time heuristic for improving network partitions (CMF, RMM), pp. 175–181.
VLDB-1982-Larson #linear: A Single-File Version of Linear Hashing with Partial Expansions (PÅL), pp. 300–309.
SCC-1982-Marshall #compilation #graph #linear: The Linear Graph Package, a Compiler Building Environment (HZM), pp. 294–300.
STOC-1982-SistlaC #complexity #linear #logic: The Complexity of Propositional Linear Temporal Logics (APS, EMC), pp. 159–168.
GG-1982-Kaul #graph #linear #parsing: Parsing of graphs in linear time (MK), pp. 206–218.
DAC-1981-Akers #algorithm #linear #on the: On the use of the linear assignment algorithm in module placement (SBA), pp. 137–144.
STOC-1981-GonnetM #analysis #linear: A Linear Probing Sort and its Analysis (Preliminary Draft) (GHG, JIM), pp. 90–95.
ICALP-1981-Dershowitz #linear #term rewriting #termination: Termination of Linear Rewriting Systems (Preliminary Version) (ND), pp. 448–458.
ICALP-1981-ItzhaikY #equivalence #linear: A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract) (YI, AY), pp. 229–237.
POPL-1981-Rosen #linear #polynomial: Linear Cost is Sometimes Quadratic (BKR), pp. 117–124.
VLDB-1980-Larson #linear: Linear Hashing with Partial Expansions (PÅL), pp. 224–232.
VLDB-1980-Litwin #linear: Linear Hashing: A New Tool for File and Table Addressing (WL), pp. 212–223.
STOC-1980-KarpT #algorithm #linear #problem: Linear Expected-Time Algorithms for Connectivity Problems (Extended Abstract) (RMK, RET), pp. 368–377.
ICALP-1980-Galil #algorithm #database #dependence #linear #relational: An Almost Linear Time Algorithm for Computing a Dependency Basis in a Relational Data Base (ZG), pp. 246–256.
ICALP-1979-Ury #automaton #composition #linear: Optimal Decomposition of Linear Automata (LÚ), pp. 659–667.
POPL-1979-SavageS #linear #recursion #trade-off: Space-Time Tradeoffs for Linear Recursion (SS, JES), pp. 135–142.
STOC-1978-BrownT #linear #representation: A Representation for Linear Lists with Movable Fingers (MRB, RET), pp. 19–29.
ICALP-1978-Mignotte #effectiveness #linear #recursion #sequence: Some Effective Results About Linear Recursive Sequences (MM), pp. 322–329.
POPL-1978-CousotH #automation #linear: Automatic Discovery of Linear Restraints Among Variables of a Program (PC, NH), pp. 84–96.
POPL-1978-Reif #analysis #linear #programming: Symbolic Programming Analysis in Almost Linear Time (JHR), pp. 76–83.
STOC-1977-GuibasMPR #linear #representation: A New Representation for Linear Lists (LJG, EMM, MFP, JRR), pp. 49–60.
STOC-1977-Tarjan #maintenance #set: Reference Machines Require Non-linear Time to Maintain Disjoint Sets (RET), pp. 18–29.
ICALP-1977-SavitchV #linear #multi #simulation #turing machine: Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps (WJS, PMBV), pp. 453–464.
STOC-1976-PatersonW #linear #unification: Linear Unification (MP, MNW), pp. 181–186.
ICALP-1976-Fontet #algorithm #graph #linear #morphism #testing: A Linear Algorithm for Testing Isomorphism of Planar Graphs (MF), pp. 411–424.
STOC-1975-BoothL #algorithm #graph #linear: Linear Algorithms to Recognize Interval Graphs and Test for the Consecutive Ones Property (KSB, GSL), pp. 255–265.
STOC-1975-HyafilK #complexity #evaluation #linear #parallel: The Complexity of Parallel Evaluation of Linear Recurrence (LH, HTK), pp. 12–22.
STOC-1975-LiptonD #complexity #evaluation #integer #metric: Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and n-linear Forms (RJL, DPD), pp. 1–5.
STOC-1975-Valiant #bound #complexity #on the: On Non-linear Lower Bounds in Computational Complexity (LGV), pp. 45–53.
POPL-1975-GrahamW #algorithm #analysis #linear #performance: A Fast and Usually Linear Algorithm for Global Flow Analysis (SLG, MNW), pp. 22–34.
STOC-1974-BookNP #bound #context-free grammar #linear #multi: Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (Extended Abstract) (RVB, MN, MP), pp. 290–296.
STOC-1974-HopcroftW #algorithm #graph #linear #morphism: Linear Time Algorithm for Isomorphism of Planar Graphs (Preliminary Report) (JEH, JKW), pp. 172–184.
DAC-1972-SchulerU #clustering #linear: Clustering and linear placement (DMS, EGU), pp. 50–56.
STOC-1972-BlumFPRT #bound #linear: Linear Time Bounds for Median Computations (MB, RWF, VRP, RLR, RET), pp. 119–124.
ICALP-1972-Kalman #commutative #linear: Realization Theory of Linear Systems over a Commutative Ring (REK), pp. 61–65.
ICALP-1972-PazR #approximate #automaton #linear #problem: Linear Automata — Approximation Problem (Extended Abstract) (AP, MR), pp. 99–102.
STOC-1971-Meyers #linear #representation: Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations (WJM), pp. 50–62.
DAC-1969-Haas: Trw’s extended sceptre software-dc program (TESS-DC) a non-linear worst case program (BAH), pp. 185–191.