11 papers:
ICML-c2-2014-TitsiasL #probability- Doubly Stochastic Variational Bayes for non-Conjugate Inference (MKT, MLG), pp. 1971–1979.
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.
- ICML-2012-YangO #clustering #composition #matrix #probability #rank
- Clustering by Low-Rank Doubly Stochastic Matrix Decomposition (ZY, EO), p. 94.
- ICML-2011-DudikLL #evaluation #learning #policy #robust
- Doubly Robust Policy Evaluation and Learning (MD, JL, LL), pp. 1097–1104.
LICS-2009-HansenKM #concurrent #game studies #reachability- Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (KAH, MK, PBM), pp. 332–341.
VMCAI-2007-CheremR #analysis #invariant #maintenance #reasoning- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.
ICPR-1996-Cho #network #recognition #self- Recognition of unconstrained handwritten numerals by doubly self-organizing neural network (SBC), pp. 426–430.
AdaEurope-1994-PitetteCGS #ada #named #realtime- Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems (GMP, JYC, DG, JMS), pp. 406–420.
SIGMOD-1993-OrjiS- Doubly Distorted Mirrors (CUO, JAS), pp. 307–316.
- 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-1985-Lubiw #matrix #order- Doubly Lexical Orderings of Matrices (AL), pp. 396–404.
