BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
optim (8)
analysi (5)
model (4)
logic (4)
waveform (4)

Stem asymptot$ (all stems)

40 papers:

PLDIPLDI-2015-OlivoDL #debugging #detection #performance #static analysis #traversal
Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.
ICMLICML-2015-HayashiMF
Rebuilding Factorized Information Criterion: Asymptotically Accurate Marginal Likelihood (KH, SiM, RF), pp. 1358–1366.
ICMLICML-2015-HugginsNSM #markov #named #process
JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes (JHH, KN, AS, VKM), pp. 693–701.
ICMLICML-2015-WangZ #clustering #named #parametricity
DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.
STOCSTOC-2014-Coja-Oghlan #satisfiability
The asymptotic k-SAT threshold (ACO), pp. 804–813.
ICMLICML-c1-2014-KhaleghiR #consistency #estimation
Asymptotically consistent estimation of the number of change points in highly dependent time series (AK, DR), pp. 539–547.
LICSLICS-CSL-2014-AsarinBDDM #behaviour #logic
Asymptotic behaviour in temporal logic (EA, MB, AD, CD, CM), p. 9.
DLTDLT-2013-Blanchet-SadriF #complexity #on the #word
On the Asymptotic Abelian Complexity of Morphic Words (FBS, NF), pp. 94–105.
ICMLICML-c3-2013-BroderickKJ #named
MAD-Bayes: MAP-based Asymptotic Derivations from Bayes (TB, BK, MIJ), pp. 226–234.
DACDAC-2012-YorkC #multi #on the
On the asymptotic costs of multiplexer-based reconfigurability (JY, DC), pp. 790–795.
DRRDRR-2012-BlosteinN #documentation
Asymptotic cost in document conversion (DB, GN).
ICMLICML-2012-FujimakiH #markov #modelling
Factorized Asymptotic Bayesian Hidden Markov Models (RF, KH), p. 157.
FoSSaCSFoSSaCS-2011-BorealePP #information management
Asymptotic Information Leakage under One-Try Attacks (MB, FP, MP), pp. 396–410.
ICALPICALP-v2-2011-DoerrF #random
Asymptotically Optimal Randomized Rumor Spreading (BD, MF), pp. 502–513.
STOCSTOC-2010-ChandranKOR #privacy
Privacy amplification with asymptotically optimal entropy loss (NC, BK, RO, LR), pp. 785–794.
ICMLICML-2010-DillonBL #analysis #generative #learning
Asymptotic Analysis of Generative Semi-Supervised Learning (JVD, KB, GL), pp. 295–302.
DLTDLT-2009-DurandP #complexity
Asymptotic Cellular Complexity (BD, VP), pp. 195–206.
ICALPICALP-A-2008-BlaserHS #set
Asymptotically Optimal Hitting Sets Against Polynomials (MB, MH, DS), pp. 345–356.
ICMLICML-2008-LiangJ #analysis #generative #pseudo
An asymptotic analysis of generative, discriminative, and pseudolikelihood estimators (PL, MIJ), pp. 584–591.
ICMLICML-2008-SokolovskaCY #learning #modelling #probability
The asymptotics of semi-supervised learning in discriminative probabilistic models (NS, OC, FY), pp. 984–991.
ICPRICPR-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.
LICSLICS-2008-Riis #calculus #complexity #on the #polynomial #proving
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity (SR), pp. 272–283.
ICMLICML-2007-YamazakiKWSM #fault
Asymptotic Bayesian generalization error when training and test distributions are different (KY, MK, SW, MS, KRM), pp. 1079–1086.
CSLCSL-2007-FournierGGZ #logic
Classical and Intuitionistic Logic Are Asymptotically Identical (HF, DG, AG, MZ), pp. 177–193.
STOCSTOC-2005-AdlerEM #probability #towards
Towards asymptotic optimality in probabilistic packet marking (MA, JE, JM), pp. 450–459.
CIAACIAA-2002-FerroDA #fault
Searching for Asymptotic Error Repair (MVF, VMD, MAA), pp. 276–281.
DACDAC-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.
ICALPICALP-2000-BolligW #bound #problem
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems (BB, IW), pp. 187–198.
STOCSTOC-1998-MourrainP #equation #multi #polynomial
Asymptotic Acceleration of Solving Multivariate Polynomial Systems of Equations (BM, VYP), pp. 488–496.
DACDAC-1993-ChiproutN #evaluation #performance
Addressing High-Speed Interconnect Issues in Asymptotic Waveform Evaluation (EC, MSN), pp. 732–736.
ICALPICALP-1993-FlajoletG #divide and conquer
Exact Asymptotics of Divide-and-Conquer Recurrences (PF, MJG), pp. 137–149.
DACDAC-1992-AnastasakisGKP #approximate #evaluation #on the
On the Stability of Moment-Matching Approximations in Asymptotic Waveform Evaluation (DFA, NG, SYK, LTP), pp. 207–212.
DACDAC-1992-LeeR #analysis #evaluation #linear #named #using
AWEsymbolic: Compiled Analysis of Linear(ized) Circuits using Asymptotic Waveform Evaluation (JYL, RAR), pp. 213–218.
STOCSTOC-1992-GroveHK #first-order #logic
Asymptotic Conditional Probabilities for First-Order Logic (AJG, JYH, DK), pp. 294–305.
ICMLML-1992-Etzioni #analysis #learning
An Asymptotic Analysis of Speedup Learning (OE), pp. 129–136.
CSLCSL-1992-BehrendtCG #approximate #optimisation #problem
Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.
CSLCSL-1992-Tyszkiewicz #higher-order #monad #on the
On Asymptotic Probabilities of Monadic Second Order Properties (JT), pp. 425–439.
CSLCSL-1991-Tyszkiewicz #logic #query #transitive
Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic (JT), pp. 396–410.
DACDAC-1989-PillageHR #analysis #evaluation #named
AWEsim: Asymptotic Waveform Evaluation for Timing Analysis (LTP, XH, RAR), pp. 634–637.
ICALPICALP-1989-BermanG #distributed
Asymptotically Optimal Distributed Consensus (Extended Abstract) (PB, JAG), pp. 80–94.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.