Stem asymptot$ (all stems)

40 papers:

PLDI-2015-OlivoDL #debugging #detection #performance #static analysis #traversal

Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.

ICML-2015-HayashiMF

Rebuilding Factorized Information Criterion: Asymptotically Accurate Marginal Likelihood (KH, SiM, RF), pp. 1358–1366.

ICML-2015-HugginsNSM #markov #named #process

JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes (JHH, KN, AS, VKM), pp. 693–701.

ICML-2015-WangZ #clustering #named #parametricity

DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.

STOC-2014-Coja-Oghlan #satisfiability

The asymptotic k-SAT threshold (ACO), pp. 804–813.

ICML-c1-2014-KhaleghiR #consistency #estimation

Asymptotically consistent estimation of the number of change points in highly dependent time series (AK, DR), pp. 539–547.

LICS-CSL-2014-AsarinBDDM #behaviour #logic

Asymptotic behaviour in temporal logic (EA, MB, AD, CD, CM), p. 9.

DLT-2013-Blanchet-SadriF #complexity #on the #word

On the Asymptotic Abelian Complexity of Morphic Words (FBS, NF), pp. 94–105.

ICML-c3-2013-BroderickKJ #named

MAD-Bayes: MAP-based Asymptotic Derivations from Bayes (TB, BK, MIJ), pp. 226–234.

DAC-2012-YorkC #multi #on the

On the asymptotic costs of multiplexer-based reconfigurability (JY, DC), pp. 790–795.

DRR-2012-BlosteinN #documentation

Asymptotic cost in document conversion (DB, GN).

ICML-2012-FujimakiH #markov #modelling

Factorized Asymptotic Bayesian Hidden Markov Models (RF, KH), p. 157.

FoSSaCS-2011-BorealePP #information management

Asymptotic Information Leakage under One-Try Attacks (MB, FP, MP), pp. 396–410.

ICALP-v2-2011-DoerrF #random

Asymptotically Optimal Randomized Rumor Spreading (BD, MF), pp. 502–513.

STOC-2010-ChandranKOR #privacy

Privacy amplification with asymptotically optimal entropy loss (NC, BK, RO, LR), pp. 785–794.

ICML-2010-DillonBL #analysis #generative #learning

Asymptotic Analysis of Generative Semi-Supervised Learning (JVD, KB, GL), pp. 295–302.

DLT-2009-DurandP #complexity

Asymptotic Cellular Complexity (BD, VP), pp. 195–206.

ICALP-A-2008-BlaserHS #set

Asymptotically Optimal Hitting Sets Against Polynomials (MB, MH, DS), pp. 345–356.

ICML-2008-LiangJ #analysis #generative #pseudo

An asymptotic analysis of generative, discriminative, and pseudolikelihood estimators (PL, MIJ), pp. 584–591.

ICML-2008-SokolovskaCY #learning #modelling #probability

The asymptotics of semi-supervised learning in discriminative probabilistic models (NS, OC, FY), pp. 984–991.

ICPR-2008-LevadaMT #image #markov #modelling #on the #probability #random

On the asymptotic variances of Gaussian Markov Random Field model hyperparameters in stochastic image modeling (ALML, NDAM, AT), pp. 1–4.

LICS-2008-Riis #calculus #complexity #on the #polynomial #proving

On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity (SR), pp. 272–283.

ICML-2007-YamazakiKWSM #fault

Asymptotic Bayesian generalization error when training and test distributions are different (KY, MK, SW, MS, KRM), pp. 1079–1086.

CSL-2007-FournierGGZ #logic

Classical and Intuitionistic Logic Are Asymptotically Identical (HF, DG, AG, MZ), pp. 177–193.

STOC-2005-AdlerEM #probability #towards

Towards asymptotic optimality in probabilistic packet marking (MA, JE, JM), pp. 450–459.

CIAA-2002-FerroDA #fault

Searching for Asymptotic Error Repair (MVF, VMD, MAA), pp. 276–281.

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.

ICALP-2000-BolligW #bound #problem

Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems (BB, IW), pp. 187–198.

STOC-1998-MourrainP #equation #multi #polynomial

Asymptotic Acceleration of Solving Multivariate Polynomial Systems of Equations (BM, VYP), pp. 488–496.

DAC-1993-ChiproutN #evaluation #performance

Addressing High-Speed Interconnect Issues in Asymptotic Waveform Evaluation (EC, MSN), pp. 732–736.

ICALP-1993-FlajoletG #divide and conquer

Exact Asymptotics of Divide-and-Conquer Recurrences (PF, MJG), pp. 137–149.

DAC-1992-AnastasakisGKP #approximate #evaluation #on the

On the Stability of Moment-Matching Approximations in Asymptotic Waveform Evaluation (DFA, NG, SYK, LTP), pp. 207–212.

DAC-1992-LeeR #analysis #evaluation #linear #named #using

AWEsymbolic: Compiled Analysis of Linear(ized) Circuits using Asymptotic Waveform Evaluation (JYL, RAR), pp. 213–218.

STOC-1992-GroveHK #first-order #logic

Asymptotic Conditional Probabilities for First-Order Logic (AJG, JYH, DK), pp. 294–305.

ML-1992-Etzioni #analysis #learning

An Asymptotic Analysis of Speedup Learning (OE), pp. 129–136.

CSL-1992-BehrendtCG #approximate #optimisation #problem

Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.

CSL-1992-Tyszkiewicz #higher-order #monad #on the

On Asymptotic Probabilities of Monadic Second Order Properties (JT), pp. 425–439.

CSL-1991-Tyszkiewicz #logic #query #transitive

Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic (JT), pp. 396–410.

DAC-1989-PillageHR #analysis #evaluation #named

AWEsim: Asymptotic Waveform Evaluation for Timing Analysis (LTP, XH, RAR), pp. 634–637.

ICALP-1989-BermanG #distributed

Asymptotically Optimal Distributed Consensus (Extended Abstract) (PB, JAG), pp. 80–94.