Publication Minimization of Symbolic Automata Loris D'Antoni, Margus Veanes POPL’14 | January 2014 POPL'14 Project
Publication Deletion without rebalancing in multiway search trees Siddhartha Sen, Robert E. Tarjan ACM Transactions on Database Systems | January 2014, Vol 39 14 pages
Publication Parallel algorithms for geometric graph problems Alexandr Andoni, Aleksandar Nikolov, Krzysztof Onak, Grigory Yaroslavtsev Symposium on Theory of Computing, STOC 2014, New York, NY, USA, May 31 – June 03, 2014 | January 2014
Publication Formal Modeling and Analysis of Cassandra in Maude Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer International Conference on Formal Engineering Methods ICFEM 2014 | January 2014
Publication A Back-to-Basics Empirical Study of Priority Queues Daniel Larkin, Siddhartha Sen, Robert E. Tarjan Proc. 16th Workshop on Algorithm Engineering and Experiments (ALENEX) | January 2014 Proc. 16th Workshop on Algorithm Engineering and Experiments (ALENEX) 12 pages
Publication Hallucination Helps: Energy Efficient Virtual Circuit Routing Antonios Antoniadis, Sungjin Im, Ravishankar Krishnaswamy, Benjamin Moseley, Viswanath Nagarajan, Kirk Pruhs, Cliff Stein Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms | January 2014 Chapter 84, in Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms
Publication Factorized adaptation for deep neural network Jinyu Li, Jui-Ting Huang, Yifan Gong ICASSP | January 2014
Publication A Tutorial Survey of Architectures, Algorithms, and Applications for Deep Learning Li Deng APSIPA Transactions on Signal and Information Processing | January 2014
Publication Primal Dual Gives Almost Optimal Energy Efficient Online Algorithms Nikhil Devanur, Zhiyi Huang In Proc. SODA 2014 | January 2014
Publication Online (Budgeted) Social Choice Joel Oren, Brendan Lucier Association for the Advancement of Artificial Intelligence 2014 | January 2014