17 papers:
DAC-2015-VasudevanR #algorithm #performance- An efficient algorithm for frequency-weighted balanced truncation of VLSI interconnects in descriptor form (VV, MR), p. 6.
ICALP-v1-2015-LokshtanovMPS #linear- Deterministic Truncation of Linear Matroids (DL, PM, FP, SS), pp. 922–934.
LATA-2015-CazauxLR #assembly #graph- Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree (BC, TL, ER), pp. 109–120.
CSL-2015-CapriottiKV- Functions out of Higher Truncations (PC, NK, AV), pp. 359–373.
DocEng-2014-HailpernVD14a #ll #named- Truncation: all the news that fits we’ll print (JMH, NDV, MD), pp. 165–174.
SIGIR-2009-ArampatzisKR #optimisation #using- Where to stop reading a ranked list?: threshold optimization using truncated score distributions (AA, JK, SR), pp. 524–531.
DATE-2008-LiTM #analysis #grid #named #network #power management- ETBR: Extended Truncated Balanced Realization Method for On-Chip Power Grid Network Analysis (DL, SXDT, BM), pp. 432–437.
QAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using- Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.
CASE-2007-BraunP #analysis- Analysis of the Effects of Truncation on the EWMA Observer (MWB, NSP), pp. 472–477.
CASE-2007-SahlanGS- Properties of Frequency Weighted Balanced Truncation Techniques (SS, AG, VS), pp. 765–770.
DAC-2007-YanTLM #higher-order #named #reduction- SBPOR: Second-Order Balanced Truncation for Passive Order Reduction of RLC Circuits (BY, SXDT, PL, BM), pp. 158–161.
DATE-2007-Wong #equation #performance #symmetry #using- Fast positive-real balanced truncation of symmetric systems using cross Riccati equations (NW), pp. 1496–1501.
DAC-2006-ChenRPR #algorithm- A test pattern ordering algorithm for diagnosis with truncated fail data (GC, SMR, IP, JR), pp. 399–404.
DAC-2006-WongB #multi #performance #polynomial- Multi-shift quadratic alternating direction implicit iteration for high-speed positive-real balanced truncation (NW, VB), pp. 257–260.
CAV-2003-EisnerFHLMC #logic #reasoning- Reasoning with Temporal Logic on Truncated Paths (CE, DF, JH, YL, AM, DVC), pp. 27–39.
ICML-1995-CichoszM #difference #learning #performance- Fast and Efficient Reinforcement Learning with Truncated Temporal Differences (PC, JJM), pp. 99–107.
STOC-1985-HastadS #encryption #security- The Cryptographic Security of Truncated Linearly Related Variables (JH, AS), pp. 356–362.