Conference Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors 2013 • Lecture Notes in Computer Science • 7783:17-32 Mallios Y, Bauer L, Kaynar D, Ligatti J
Journal Article Finding Recurrent Out-of-Vocabulary Words 2013 • Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH • 2241-2245 Qin L, Rudnicky A
Conference Secure distributed programming with value-dependent types 2013 • Journal of Functional Programming • 23(4):402-451 SWAMY N, CHEN J, FOURNET C, STRUB P-Y, BHARGAVAN K, YANG J
Conference A Survey on Clustering Techniques for Situation Awareness 2013 • Lecture Notes in Computer Science • 7808:815-826 Mitsch S, Müller A, Retschitzegger W, Salfinger A, Schwinger W
Conference Sample complexity of multi-task reinforcement learning 2013 • Uncertainty in Artificial Intelligence Proceedings of the 29th Conference Uai 2013 • 122-131 Brunskill E, Li L
Journal Article Physically Based Grasp Quality Evaluation Under Pose Uncertainty 2013 • IEEE Transactions on Robotics • 29(6):1424-1439 Kim J, Iwamoto K, Kuffner JJ, Ota Y, Pollard NS
Conference Quadratic Span Programs and Succinct NIZKs without PCPs 2013 • Lecture Notes in Computer Science • 7881:626-645 Gennaro R, Gentry C, Parno B, Raykova M
Book Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2013 • Lecture Notes in Computer Science • 7794 LNCS: Pfenning F
Chapter What Information Is Leaked under Concurrent Composition? 2013 • Lecture Notes in Computer Science • 8043:220-238 Goyal V, Gupta D, Jain A
Journal Article A throughput optimal algorithm for map task scheduling in mapreduce with data locality 2013 • Performance Evaluation Review • 40(4):33-42 Wang W, Zhu K, Ying L, Tan J, Zhang L
Journal Article Symmetry in Gardens of Eden 2013 • Electronic Journal of Combinatorics • 20(3): Hartman C, Heule MJH, Kwekkeboom K, Noels A
Chapter Guided Merging of Sequence Diagrams 2013 • Lecture Notes in Computer Science • 7745:164-183 Widl M, Biere A, Brosch P, Egly U, Heule M, Kappel G, Seidl M, Tompits H
Chapter Revisiting Hyper Binary Resolution 2013 • Lecture Notes in Computer Science • 7874:77-93 Heule MJH, Järvisalo M, Biere A
Journal Article Special Section on the Forty-Second Annual ACM Symposium on Theory of Computing (STOC 2010) 2013 • SIAM journal on computing (Print) • 42(3):1216-1217 Peikert C, Kleinberg R, Srinivasan A, Frieze A, Russell A, Schulman L
Conference Self-adjusting Grid Networks to Minimize Expected Path Length 2013 • Lecture Notes in Computer Science • 8179:36-54 Avin C, Borokhovich M, Haeupler B, Lotker Z
Conference Phylogenetic analysis of multiprobe fluorescence <i>in situ</i> hybridization data from tumor cell populations 2013 • Bioinformatics • 29(13):189-198 Chowdhury SA, Shackney SE, Heselmeyer-Haddad K, Ried T, Schaeffer AA, Schwartz R
Conference PRIVATELY RELEASING CONJUNCTIONS AND THE STATISTICAL QUERY BARRIER 2013 • SIAM journal on computing (Print) • 42(4):1494-1520 Gupta A, Hardt M, Roth A, Ullman J
Journal Article The Complexity of Computing Minimal Unidirectional Covering Sets 2013 • Theory of Computing Systems • 53(3):467-502 Baumeister D, Brandt F, Fischer F, Hoffmann J, Rothe J
Journal Article Optimal Locally Repairable Codes via Rank-Metric Codes 2013 • IEEE International Symposium on Information Theory - Proceedings • 1819-1823 Silberstein N, Rawat AS, Koyluoglu OO, Vishwanath S
Journal Article A Practical Liquidity-Sensitive Automated Market Maker 2013 • ACM Transactions on Economics and Computation • 1(3):1-25 Othman A, Pennock DM, Reeves DM, Sandholm T
Conference Just-in-time provisioning for cyber foraging 2013 153-166 Ha K, Pillai P, Richter W, Abe Y, Satyanarayanan M
Journal Article Coercively Adjusted Auto Regression Model for Forecasting in Epilepsy EEG 2013 • Computational and Mathematical Methods in Medicine • 2013: Kim S-H, Faloutsos C, Yang H-J
Conference Vehicle localization along a previously driven route using an image database 2013 • Proceedings of the 13th Iapr International Conference on Machine Vision Applications Mva 2013 • 177-180 Kume H, Suppe A, Kanade T
Conference Invertible Transductions and Iteration 2013 • Lecture Notes in Computer Science • 8031:18-29 Sutner K
Journal Article Toward a theory of self-explaining computation 2013 • Lecture Notes in Computer Science • 8000:193-216 Cheney J, Acar UA, Perera R
Journal Article Linear-Algebraic List Decoding for Variants of Reed-Solomon Codes 2013 • IEEE Transactions on Information Theory • 59(6):3257-3268 Guruswami V, Wang C
Journal Article Rounding Lasserre SDPs using column selection and spectrum-based approximation schemes for graph partitioning and Quadratic IPs 2013 Guruswami V, Sinop AK
Journal Article A Formalism and Method for Representing and Reasoning with Process Models Authored by Subject Matter Experts 2013 • IEEE Transactions on Knowledge and Data Engineering • 25(9):1933-1945 Manuel Gomez-Perez J, Erdmann M, Greaves M, Corcho O
Journal Article Islands and Bridges: Making Sense of Marked Nodes in Large Graphs 2013 Akoglu L, Tong H, Tatti N, Vreeken J, Chau DH, Faloutsos C
Conference Improving learning and inference in a large knowledge-base using latent syntactic cues 2013 • Emnlp 2013 2013 Conference on Empirical Methods in Natural Language Processing Proceedings of the Conference • 833-838 Gardner M, Talukdar PP, Kisiel B, Mitchell T
Conference Documents and dependencies: An exploration of vector space models for semantic composition 2013 • Conll 2013 17th Conference on Computational Natural Language Learning Proceedings • 84-93 Fyshe A, Talukdar P, Murphy B, Mitchell T
Journal Article Vector Space Semantic Parsing: A Framework for Compositional Vector Space Models 2013 • Proceedings of the conference. Association for Computational Linguistics. Meeting • 1-10 Krishnamurthy J, Mitchell TM
Journal Article GINI: From ISH Images to Gene Interaction Networks 2013 • PLoS Computational Biology • 9(10):e1003227 Puniyani K, Xing EP
Journal Article SIMPLE-fying Middlebox Policy Enforcement Using SDN 2013 • Computer Communication Review • 43(4):27-38 Qazi ZA, Miao R, Tu C-C, Sekar V, Chiang L, Yu M
Conference Enabling the transition to the mobile web with WebSieve 2013 1-6 Butkiewicz M, Wu Z, Li S, Murali P, Hristidis V, Madhyastha HV, Sekar V
Conference Evolving an Adaptive Industrial Software System to Use Architecture-Based Self-Adaptation 2013 • ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems • 13-22 Camara J, Correia P, de Lemos R, Garlan D, Gomes P, Schmerl B, Ventura R
Conference Expressing Ethnicity through Behaviors of a Robot Character 2013 • ACM/IEEE International Conference on Human-Robot Interaction • 357-364 Makatchev M, Simmons R, Sakr M, Ziadee M
Conference When cycles are cheap, some tables can be huge 2013 • 14th Workshop on Hot Topics in Operating Systems Hotos 2013 Fan B, Zhou D, Lim H, Kaminsky M, Andersen DG
Conference Faceted execution of policy-agnostic programs 2013 15-26 Austin TH, Yang J, Flanagan C, Solar-Lezama A
Conference Pose Estimation for Contact Manipulation with Manifold Particle Filters 2013 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 4541-4548 Koval MC, Dogar MR, Pollard NS, Srinivasa SS
Conference Behavioral Polymorphism and Parametricity in Session-Based Communication 2013 • Lecture Notes in Computer Science • 7792:330-349 Caires L, Perez JA, Pfenning F, Toninho B
Journal Article Optimal Bounds for Johnson-Lindenstrauss Transforms and Streaming Problems with Subconstant Error 2013 • ACM Transactions on Algorithms (TALG) • 9(3):1-17 Jayram TS, Woodruff DP
Conference Low Latency via Redundancy 2013 • PROCEEDINGS OF THE 2013 ACM INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT '13) • 283-294 Vulimiri A, Godfrey PB, Mittal R, Sherry J, Ratnasamy S, Shenker S
Conference Projected natural actor-critic 2013 • Advances in Neural Information Processing Systems Thomas PS, Dabney W, Mahadevan S, Giguere S
Journal Article An FPTAS for minimizing a class of low-rank quasi-concave functions over a convex set 2013 • Operations Research Letters • 41(2):191-196 Goyal V, Ravi R
