Conference Contextually Supervised Source Separation with Application to Energy Disaggregation 2014 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 486-492 Wytock M, Kolter JZ
Conference ZØ: An optimizing distributing zero-knowledge compiler 2014 • Proceedings of the 23rd Usenix Security Symposium • 909-924 Fredrikson M, Livshits B
Conference Combination of FST and CN search in Spoken Term Detection 2014 • Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH • 2784-2788 Chiu J, Wang Y, Trmal J, Povey D, Chen G, Rudnicky A
Journal Article Simultaneously Uncovering the Patterns of Brain Regions Involved in Different Story Reading Subprocesses 2014 • PLoS ONE • 9(11): Wehbe L, Murphy B, Talukdar P, Fyshe A, Ramdas A, Mitchell T
Journal Article Evolution styles: foundations and models for software architecture evolution 2014 • Software and Systems Modeling (SoSyM) • 13(2):649-678 Barnes JM, Garlan D, Schmerl B
Conference Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation 2014 • 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014) • 155-164 Camara J, Moreno GA, Garlan D
Conference Marhaba, how may i help you? 2014 • ACM/IEEE International Conference on Human-Robot Interaction • 74-81 Salem M, Ziadee M, Sakr M
Conference Effects of Politeness and Interaction Context on Perception and Experience of HRI 2013 • Lecture Notes in Computer Science • 8239:531-541 Salem M, Ziadee M, Sakr M
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
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 Software model synthesis using satisfiability solvers 2013 • Empirical Software Engineering • 18(4):825-856 Heule MJH, Verwer S
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
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
Conference Estimating Human Interest and Attention via Gaze Analysis 2013 • IEEE International Conference on Robotics and Automation • 4350-4355 Knight H, Simmons R
Preprint The Power of Localization for Efficiently Learning Linear Separators with Noise 2013 Awasthi P, Balcan MF, Long PM
Conference Throwing darts: Random sampling helps tree search when the number of short certificates is moderate 2013 • Aaai Workshop Technical Report • WS-13-17:17-19 Dickerson JP, Sandholm T
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 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
Conference Understanding internet video viewing behavior in the wild 2013 • Performance Evaluation Review • 41(1):379-380 Balachandran A, Sekar V, Akella A, Seshan S
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 Explicit rank-metric codes list-decodable with optimal redundancy 2013 Guruswami V, Wang C
Journal Article RESTRICTED ISOMETRY OF FOURIER MATRICES AND LIST DECODABILITY OF RANDOM LINEAR CODES 2013 • SIAM journal on computing (Print) • 42(5):1888-1914 Cheraghchi M, Guruswami V, Velingker A
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 A nonparametric mixture model for topic modeling over time 2013 • Proceedings of the 2013 SIAM International Conference on Data Mining Sdm 2013 • 530-538 Dubey A, Hefny A, Williamson S, Xing EP
Chapter Brief Encounters with a Random Key Graph 2013 • Lecture Notes in Computer Science • 7028:157-161 Gligor VD, Perrig A, Zhao J
Conference Block regularized lasso for multivariate multi-response linear regression 2013 • Journal of machine learning research • 31:608-617 Wang W, Liang Y, Xing EP
Conference Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework 2013 • IEEE Symposium on Security and Privacy: Proceedings • 430-444 Vasudevan A, Chaki S, Jia L, McCune J, Newsome J, Datta A
Journal Article The Price of Uncertainty 2013 • ACM Transactions on Economics and Computation • 1(3):1-29 Balcan M-F, Blum A, Mansour Y
Conference Why People Hate Your App - Making Sense of User Feedback in a Mobile App Store 2013 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 1276-1284 Fu B, Lin J, Li L, Faloutsos C, Hong J, Sadeh N
Conference MC<SUP>2</SUP> : Map Concurrency Characterization for MapReduce on the Cloud 2013 • IEEE International Conference on Cloud Computing, CLOUD • 17-26 Hammoud M, Sakr MF
Conference Bringing Cross-Layer MIMO to Today's Wireless LANs 2013 • Computer Communication Review • 43(4):387-398 Kumar S, Cifuentes D, Gollakota S, Katabi D
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 MULTIRESOLUTION GRAPH SIGNAL PROCESSING VIA CIRCULANT STRUCTURES 2013 112-117 Ekambaram VN, Fanti GC, Ayazifar B, Ramchandran K
Chapter A SAT Approach to Clique-Width 2013 • Lecture Notes in Computer Science • 7962:318-334 Heule MJH, Szeider S
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
Chapter Blocked Clause Decomposition 2013 • Lecture Notes in Computer Science • 8312:423-438 Heule MJH, Biere A
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
Preprint Statistical Active Learning Algorithms for Noise Tolerance and Differential Privacy 2013 Balcan MF, Feldman V
