15 papers:
ICALP-v1-2015-Ailon #bound #fourier- Tighter Fourier Transform Lower Bounds (NA), pp. 14–25.
- ICALP-v1-2014-AmbainisBGMSZ #complexity #metric
- Tighter Relations between Sensitivity and Other Complexity Measures (AA, MB, YG, JM, XS, SZ), pp. 101–113.
DAC-2012-El-ShambakeyR #bound #concurrent #embedded #realtime- STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
ICML-2012-RudermanRGP #metric #probability #strict- Tighter Variational Representations of f-Divergences via Restriction to Probability Measures (AR, MDR, DGG, JP), p. 151.
DATE-2011-DrmanacSWWA #multi #optimisation #parametricity #predict #testing- Multidimensional parametric test set optimization of wafer probe data for predicting in field failures and setting tighter test limits (DGD, NS, LW, LCW, MSA), pp. 794–799.
- ICALP-v1-2011-ChimaniH #approximate
- A Tighter Insertion-Based Approximation of the Crossing Number (MC, PH), pp. 122–134.
- DATE-2010-CimattiFGKR #abstraction #integration #smt
- Tighter integration of BDDs and SMT for Predicate Abstraction (AC, AF, AG, KK, MR), pp. 1707–1712.
FoSSaCS-2009-Schewe #automaton #bound #nondeterminism- Tighter Bounds for the Determinisation of Büchi Automata (SS), pp. 167–181.
VLDB-2008-CohenK #estimation #sketching #using- Tighter estimation using bottom k sketches (EC, HK), pp. 213–224.
CIAA-2006-Hyyro #approximate #automaton #nondeterminism #string- Tighter Packed Bit-Parallel NFA for Approximate String Matching (HH), pp. 287–289.
DocEng-2005-HurstMM #towards- Toward tighter tables (NH, KM, PM), pp. 74–83.
STOC-2000-BarkolR #bound #nearest neighbour #problem- Tighter bounds for nearest neighbor search and related problems in the cell probe model (OB, YR), pp. 388–396.
CHI-2000-LinNHL #design #named #tool support #web- DENIM: finding a tighter fit between tools and practice for Web site design (JL, MWN, JIH, JAL), pp. 510–517.
CL-2000-Hofstedt #communication- Better Communication for Tighter Cooperation (PH), pp. 342–358.
- ICALP-1999-BermanK #on the
- On Some Tighter Inapproximability Results (Extended Abstract) (PB, MK), pp. 200–209.
