Stem exponenti$ (all stems)

134 papers:

DAC-2015-ZhuangYKWC #algorithm #exponential #framework #performance #scalability #simulation #using

An algorithmic framework for efficient large-scale circuit simulation using exponential integrators (HZ, WY, IK, XW, CKC), p. 6.

STOC-2015-GanorKR #communication #exponential

Exponential Separation of Information and Communication for Boolean Functions (AG, GK, RR), pp. 557–566.

ICALP-v1-2015-BjorklundDH #exponential #problem #random #set #strict

The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems (AB, HD, TH), pp. 231–242.

ICALP-v1-2015-Curticapean #complexity #framework

Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.

ICALP-v1-2015-FominKLPS #algorithm #polynomial

Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree (FVF, PK, DL, FP, SS), pp. 494–505.

ICML-2015-ChaoSMS #exponential #integration #monte carlo

Exponential Integration for Hamiltonian Monte Carlo (WLC, JS, DM, FS), pp. 1142–1151.

ICML-2015-CohenW #exponential #product line

Harmonic Exponential Families on Manifolds (TC, MW), pp. 1757–1765.

ICML-2015-GajaneUC #algorithm #exponential

A Relative Exponential Weighing Algorithm for Adversarial Utility-based Dueling Bandits (PG, TU, FC), pp. 218–227.

ICML-2015-KordaA #approximate #bound #convergence #exponential #on the

On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence (NK, PLA), pp. 626–634.

ICML-2015-Shamir #algorithm #convergence #exponential #probability

A Stochastic PCA and SVD Algorithm with an Exponential Convergence Rate (OS), pp. 144–152.

ICML-2015-TanseyPSR #exponential #markov #product line #random

Vector-Space Markov Random Fields via Exponential Families (WT, OHMP, ASS, PR), pp. 684–692.

CASE-2014-ZhaoLH #evaluation #exponential #multi #performance

Performance evaluation of multi-product manufacturing systems with asynchronous exponential machines (CZ, JL, NH), pp. 692–697.

STOC-2014-BerryCCKS #exponential #precise #simulation

Exponential improvement in precision for simulating sparse Hamiltonians (DWB, AMC, RC, RK, RDS), pp. 283–292.

STOC-2014-Rothvoss #complexity #exponential

The matching polytope has exponential extension complexity (TR), pp. 263–272.

ICALP-v1-2014-ChaillouxS #exponential #game studies #parallel

Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost (AC, GS), pp. 296–307.

LATA-2014-BednarovaG #automaton

Two Double-Exponential Gaps for Automata with a Limited Pushdown (ZB, VG), pp. 113–125.

ICML-c1-2014-SinghP #difference #estimation #exponential

Generalized Exponential Concentration Inequality for Renyi Divergence Estimation (SS, BP), pp. 333–341.

ICML-c2-2014-GunasekarRG #constraints #exponential #matrix #product line

Exponential Family Matrix Completion under Structural Constraints (SG, PR, JG), pp. 1917–1925.

ICML-c2-2014-SteinhardtL14a #adaptation #algorithm

Adaptivity and Optimism: An Improved Exponentiated Gradient Algorithm (JS, PL), pp. 1593–1601.

KDD-2014-LuM #difference #estimation #exponential #graph #privacy #random

Exponential random graph estimation under differential privacy (WL, GM), pp. 921–930.

CASE-2013-BouhnikA #adaptation #correlation #exponential #markov

Markov G/G/s model adaptation to factory operational curve though exponential correlation (SB, SA), pp. 730–734.

CASE-2013-ZhaoL #analysis #exponential #multi

Analysis of multi-product manufacturing systems with homogeneous exponential machines (CZ, JL), pp. 386–391.

STOC-2013-BuchbinderNS #clustering #exponential #multi #problem

Simplex partitioning via exponential clocks and the multiway cut problem (NB, JN, RS), pp. 535–544.

STOC-2013-Li #exponential #independence

New independent source extractors with exponential improvement (XL), pp. 783–792.

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-BodlaenderCKN #algorithm #exponential #problem

Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by Treewidth (HLB, MC, SK, JN), pp. 196–207.

ICALP-v1-2013-CyganP #algorithm #bound #graph #performance

Faster Exponential-Time Algorithms in Graphs of Bounded Average Degree (MC, MP), pp. 364–375.

ICML-c3-2013-HonorioJ #bound #exponential #fault

Two-Sided Exponential Concentration Bounds for Bayes Error Rate and Shannon Entropy (JH, TSJ), pp. 459–467.

CAV-2013-KongHSHG #generative #hybrid #safety #verification

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.

SAT-2013-Johannsen #exponential #learning #proving

Exponential Separations in a Hierarchy of Clause Learning Proof Systems (JJ), pp. 40–51.

FoSSaCS-2012-Kartzow #automaton #exponential #first-order #model checking

First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (AK), pp. 376–390.

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-OrecchiaSV #algorithm #approximate #exponential

Approximating the exponential, the lanczos method and an Õ(m)-time spectral algorithm for balanced separator (LO, SS, NKV), pp. 1141–1160.

ICALP-v2-2012-KikotKPZ #bound #exponential #query

Exponential Lower Bounds and Separation for Query Rewriting (SK, RK, VVP, MZ), pp. 263–274.

ICML-2012-FreitasSZ #bound #exponential #process

Exponential Regret Bounds for Gaussian Process Bandits with Deterministic Observations (NdF, AJS, MZ), p. 125.

ICPR-2012-IsmaeilAO #evaluation #exponential #kernel

Bilateral filter evaluation based on exponential kernels (KAI, DA, BEO), pp. 258–261.

SAT-2012-AchlioptasM #algorithm #bound #exponential #random #satisfiability

Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas (DA, RMM), pp. 327–340.

ICDAR-2011-ImpedovoP11a #exponential #recognition

Tuning between Exponential Functions and Zones for Membership Functions Selection in Voronoi-Based Zoning for Handwritten Character Recognition (SI, GP), pp. 997–1001.

ESOP-2011-HuntS #exponential #polynomial #security #type system

From Exponential to Polynomial-Time Security Typing via Principal Types (SH, DS), pp. 297–316.

STOC-2011-RegevK #communication #quantum

Quantum one-way communication can be exponentially stronger than classical communication (OR, BK), pp. 31–40.

ICALP-v1-2011-FilmusPS #bound #exponential

Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds (YF, TP, RS), pp. 618–629.

RTA-2011-AvanziniEM #exponential #order #term rewriting

A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.

CASE-2010-Zhang #analysis #design #exponential

Kanban-controlled exponential production lines: Analysis and design (LZ), pp. 445–450.

STOC-2010-MicciancioV #algorithm #exponential #problem

A deterministic single exponential time algorithm for most lattice problems based on voronoi cell computations (DM, PV), pp. 351–358.

ICALP-v1-2010-Ambos-SpiesB #exponential

Weak Completeness Notions for Exponential Time (KAS, TB), pp. 503–514.

ICALP-v1-2010-DellHW #complexity #exponential #polynomial

Exponential Time Complexity of the Permanent and the Tutte Polynomial (HD, TH, MW), pp. 426–437.

ICALP-v2-2010-Fearnley #bound #exponential #policy

Exponential Lower Bounds for Policy Iteration (JF), pp. 551–562.

ICPR-2010-DengH #composition #detection #exponential #process

Voice Activity Detection Based on Complex Exponential Atomic Decomposition and Likelihood Ratio Test (SD, JH), pp. 89–92.

CSL-2010-CarraroES #exponential #infinity #multi

Exponentials with Infinite Multiplicities (AC, TE, AS), pp. 170–184.

SAT-2010-DantsinW #exponential #on the #satisfiability

On Moderately Exponential Time for SAT (ED, AW), pp. 313–325.

ICALP-v2-2009-MelliesTT #exponential #linear #logic

An Explicit Formula for the Free Exponential Modality of Linear Logic (PAM, NT, CT), pp. 247–260.

ICML-2009-LiangJK #exponential #learning #metric #product line

Learning from measurements in exponential families (PL, MIJ, DK), pp. 641–648.

SAC-2009-Djelloul #exponential #finite #infinity #linear

From exponential to almost linear decomposability of finite or infinite trees (KD), pp. 897–902.

LICS-2009-BasaldellaF #exponential #interactive

Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (MB, CF), pp. 375–384.

LICS-2009-Friedmann #algorithm #bound #exponential #game studies

An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it (OF), pp. 145–156.

LICS-2009-HansenKM #concurrent #game studies #reachability

Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (KAH, MK, PBM), pp. 332–341.

SAT-2009-Johannsen #bound #exponential #learning #strict

An Exponential Lower Bound for Width-Restricted Clause Learning (JJ), pp. 128–140.

ICML-2008-WingateS #exponential #learning #predict #product line

Efficiently learning linear-linear exponential family predictive representations of state (DW, SPS), pp. 1176–1183.

CSL-2008-TorreMP #automaton #exponential #infinity

An Infinite Automaton Characterization of Double Exponential Time (SLT, PM, GP), pp. 33–48.

STOC-2007-GavinskyKKRW #communication #complexity #encryption #exponential #quantum

Exponential separations for one-way quantum communication complexity, with applications to cryptography (DG, JK, IK, RR, RdW), pp. 516–525.

CIAA-J-2006-BastienCFR07 #exponential

Reducing Simple Grammars: Exponential against Highly-Polynomial Time in Practice (CB, JC, WF, WR), pp. 715–725.

ICALP-2007-CaragiannisFM #ad hoc #energy #exponential #heuristic #network

An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks (IC, MF, LM), pp. 447–458.

ICML-2007-GlobersonKCC #algorithm #predict

Exponentiated gradient algorithms for log-linear structured prediction (AG, TK, XC, MC), pp. 305–312.

CSL-2007-NauroisM #correctness #exponential #multi #proving

Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete (PJdN, VM), pp. 435–450.

SAT-2007-SchederZ #exponential #product line #satisfiability

Satisfiability with Exponential Families (DS, PZ), pp. 148–158.

STOC-2006-GavinskyKRW #bound #communication #complexity #exponential #identification #quantum

Bounded-error quantum state identification and exponential separations in communication complexity (DG, JK, OR, RdW), pp. 594–603.

CIAA-2006-BastienCFR #exponential

Reducing Simple Grammars: Exponential Against Highly-Polynomial Time in Practice (CB, JC, WF, WR), pp. 90–101.

ICALP-v2-2006-GenestM #automaton

Constructing Exponential-Size Deterministic Zielonka Automata (BG, AM), pp. 565–576.

ICALP-v2-2006-Haghverdi #exponential

Typed GoI for Exponentials (EH), pp. 384–395.

ICALP-v2-2006-HaitnerHR #generative #performance #pseudo

Efficient Pseudorandom Generators from Exponentially Hard One-Way Functions (IH, DH, OR), pp. 228–239.

ICML-2006-Elkan #approximate #clustering #documentation #multi

Clustering documents with an exponential-family approximation of the Dirichlet compound multinomial distribution (CE), pp. 289–296.

ICPR-v3-2006-DuongPBV #behaviour #exponential #markov #modelling #product line #recognition

Human Behavior Recognition with Generic Exponential Family Duration Modeling in the Hidden Semi-Markov Model (TVD, DQP, HHB, SV), pp. 202–207.

CSL-2006-Pagani #exponential #linear #logic #multi

Acyclicity and Coherence in Multiplicative Exponential Linear Logic (MP), pp. 531–545.

ICALP-2005-LinRTW #exponential #fibonacci

Braess’s Paradox, Fibonacci Numbers, and Exponential Inapproximability (HCL, TR, ÉT, AW), pp. 497–512.

DATE-DF-2004-CilardoMRS #composition #configuration management #hardware

Carry-Save Montgomery Modular Exponentiation on Reconfigurable Hardware (AC, AM, LR, GPS), pp. 206–211.

ESOP-2004-Shmatikov #analysis #composition #decidability #encryption #protocol

Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation (VS), pp. 355–369.

STOC-2004-Bar-YossefJK #communication #complexity #exponential #quantum

Exponential separation of quantum and classical one-way communication complexity (ZBY, TSJ, IK), pp. 128–137.

ICALP-2004-AlekhnovichHI #algorithm #bound #exponential #satisfiability

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas (MA, EAH, DI), pp. 84–96.

ICALP-2004-FominKT #algorithm #exponential

Exact (Exponential) Algorithms for Treewidth and Minimum Fill-In (FVF, DK, IT), pp. 568–580.

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.

CIKM-2004-SiJ #collaboration #exponential

Unified filtering by combining collaborative filtering and content-based filtering via mixture model and exponential model (LS, RJ), pp. 156–157.

ICML-2004-BanerjeeDGM #analysis #estimation #exponential #product line

An information theoretic analysis of maximum likelihood mixture estimation for exponential families (AB, ISD, JG, SM).

STOC-2003-ChildsCDFGS #algorithm #exponential #quantum

Exponential algorithmic speedup by a quantum walk (AMC, RC, ED, EF, SG, DAS), pp. 59–68.

STOC-2003-KerenidisW #bound #exponential #quantum

Exponential lower bound for 2-query locally decodable codes via a quantum argument (IK, RdW), pp. 106–115.

ICALP-2003-JohannsenL #exponential

CTL+ Is Complete for Double Exponential Time (JJ, ML), pp. 767–775.

ICML-2003-JinYZH #algorithm #exponential #performance #scalability

A Faster Iterative Scaling Algorithm for Conditional Exponential Model (RJ, RY, JZ, AGH), pp. 282–289.

SIGIR-2003-TeevanK #analysis #development #empirical #exponential #probability #retrieval #using

Empirical development of an exponential probabilistic model for text retrieval: using textual analysis to build a better model (JT, DRK), pp. 18–25.

POPL-2003-CarterFT #graph

Folklore confirmed: reducible flow graphs are exponentially larger (LC, JF, CDT), pp. 106–114.

RTA-2003-KapurNW #algorithm #composition #protocol

An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation (DK, PN, LW), pp. 165–179.

SAT-2003-MneimnehS #graph #scalability

Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution (MNM, KAS), pp. 411–425.

PODS-2002-Chirkova #bound #problem #query

The View-Selection Problem Has an Exponential-Time Lower Bound for Conjunctive Queries and Views (RC), pp. 159–168.

STOC-2002-AlekhnovichJPU #exponential

An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.

ICALP-2002-BenderCR #algorithm #exponential #performance

Exponential Structures for Efficient Cache-Oblivious Algorithms (MAB, RC, RR), pp. 195–207.

ICALP-2002-GrigorievHP #algebra #bound #exponential #proving

Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.

SAT-2002-MonassonC #algorithm #analysis #exponential #random #satisfiability #scalability

Restart method and exponential acceleration of random 3-SAT instances resolutions: A large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm (RM, SC), p. 11.

DATE-2001-VanasscheGS #exponential #performance #simulation #using

Efficient time-domain simulation of telecom frontends using a complex damped exponential signal model (PV, GGEG, WMCS), pp. 169–175.

ICALP-2001-AlberFN #complexity #exponential #graph #problem

Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems (JA, HF, RN), pp. 261–272.

SIGIR-2001-MillerRS #algorithm #matrix #using

Modifications of Kleinberg’s HITS Algorithm Using Matrix Exponentiation and WebLog Records (JCM, GR, FS), pp. 444–445.

POPL-2001-FlanaganS #explosion #exponential #generative #verification

Avoiding exponential explosion: generating compact verification conditions (CF, JBS), pp. 193–205.

STOC-2000-KitaevW #exponential #interactive #parallel #proving #quantum #simulation

Parallelization, amplification, and exponential time simulation of quantum interactive proof systems (AK, JW), pp. 608–617.

WLC-2000-Brattka #exponential #modelling #recursion

The Emperor’s New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability (VB), pp. 63–72.

ICPR-v2-2000-HansenH #bias #composition #exponential #fault #independence #product line

General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of Distributions (JVH, TH), pp. 2207–2210.

ICPR-v2-2000-WilsonH #capacity #correlation #exponential #memory management

Storage Capacity of the Exponential Correlation Associative Memory (RCW, ERH), pp. 2660–2663.

STOC-1999-Raz #communication #complexity #exponential #quantum

Exponential Separation of Quantum and Classical Communication Complexity (RR), pp. 358–367.

DLT-1999-Wich #ambiguity #context-free grammar #exponential

Exponential ambiguity of context-free grammars (KW), pp. 125–138.

ICFP-1999-Okasaki #matrix #performance

From Fast Exponentiation to Square Matrices: An Adventure in Types (CO), pp. 28–35.

STOC-1998-GrigorievK #bound #exponential

An Exponential Lower Bound for Depth 3 Arithmetic Circuits (DG, MK), pp. 577–582.

ICML-1998-Ng #feature model #learning #on the

On Feature Selection: Learning with Exponentially Many Irrelevant Features as Training Examples (AYN), pp. 404–412.

STOC-1997-ImpagliazzoW #exponential

P = BPP if E Requires Exponential Circuits: Derandomizing the XOR Lemma (RI, AW), pp. 220–229.

STOC-1997-PaturiSZ #bound #exponential

Exponential Lower Bounds for Depth 3 Boolean Circuits (RP, MES, FZ), pp. 86–91.

ICML-1997-PrecupS #learning

Exponentiated Gradient Methods for Reinforcement Learning (DP, RSS), pp. 272–277.

ICPR-1996-HancockP #analysis #correlation #exponential #memory management

An analysis of the exponential correlation associative memory (ERH, MP), pp. 291–295.

STOC-1995-KivinenW #linear #predict

Additive versus exponentiated gradient updates for linear prediction (JK, MKW), pp. 209–218.

FPCA-1995-MeijerH #exponential

Bananas in Space: Extending Fold and Unfold to Exponential Types (EM, GH), pp. 324–333.

PODS-1994-SuciuP #algebra #algorithm #exponential #set #transitive

Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure (DS, JP), pp. 201–209.

SAC-1994-MahoneyLW #exponential #network

Construction of an artificial neural network for simple exponential smoothing in forecasting (DWM, RPL, SIW), pp. 308–312.

DAC-1993-LiaoDWC #metaprogramming #network #polynomial #using

S-Parameter Based Macro Model of Distributed-Lumped Networks Using Exponentially Decayed Polynomial Function (HL, WWMD, RW, FYC), pp. 726–731.

STOC-1992-BeameIKPPW #bound #exponential #principle

Exponential Lower Bounds for the Pigeonhole Principle (PB, RI, JK, TP, PP, ARW), pp. 200–220.

STOC-1992-Safra #automaton #exponential

Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition (Extended Abstract) (SS), pp. 275–282.

LICS-1992-KapurN #complexity #set

Double-exponential Complexity of Computing a Complete Set of AC-Unifiers (DK, PN), pp. 11–21.

STOC-1991-Ko #equation #polynomial

Integral Equations, Systems of Quadratic Equations, and Exponential-Time Completeness (Extended Abstract) (KIK), pp. 10–20.

POPL-1990-Mairson #exponential #ml

Deciding ML Typability is Complete for Deterministic Exponential Time (HGM), pp. 382–401.

STOC-1989-GoodmanPS #coordination #exponential #order #representation

Coordinate Representation of Order Types Requires Exponential Storage (JEG, RP, BS), pp. 405–410.

LICS-1988-MullerSS #automaton #decidability #exponential #logic #why

Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time (DEM, AS, PES), pp. 422–427.

STOC-1987-Hemachandra #exponential

The Strong Exponential Hierarchy Collapses (LAH), pp. 110–122.

ICALP-1986-BookORW #exponential #on the

On Exponential Lowness (RVB, PO, DAR, OW), pp. 40–49.

STOC-1985-FichT #complexity #finite #parallel

The Parallel Complexity of Exponentiating Polynomials over Finite Fields (FEF, MT), pp. 38–47.

STOC-1983-Valiant #bound #exponential #strict

Exponential Lower Bounds for Restricted Monotone Circuits (LGV), pp. 110–117.

CADE-1982-MatwinP #backtracking #data type #exponential #implementation #performance

Exponential Improvement of Efficient Backtracking: data Structure and Implementation (SM, TP), pp. 240–259.

CADE-1982-PietrzykowskiM #backtracking #deduction #exponential #performance

Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.

ICALP-1981-FraenkelL #exponential

Computing a Perfect Strategy for n*n Chess Requires Time Exponential in N (ASF, DL), pp. 278–293.

STOC-1979-Valiant

Negation Can Be Exponentially Powerful (LGV), pp. 189–196.

STOC-1976-CardozaLM #commutative #exponential #petri net #problem

Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.

STOC-1973-StockmeyerM #exponential #problem #word

Word Problems Requiring Exponential Time: Preliminary Report (LJS, ARM), pp. 1–9.