Conference O-Snap: Optimal Snapping of Odometry Trajectories for Route Identification 2014 • IEEE International Conference on Robotics and Automation • 5824-5829 Wang R, Veloso M, Seshan S
Conference An Interactive Approach for Situated Task Specification through Verbal Instructions 2014 • AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS • 1069-1076 Mericli C, Klee SD, Paparian J, Veloso M
Conference Fast Information-Theoretic Agglomerative Co-clustering 2014 • Lecture Notes in Computer Science • 8506:147-159 Gao T, Akoglu L
Conference Quantifying uncertainty in batch personalized sequential decision making 2014 • Aaai Workshop Technical Report • WS-14-08:26-30 Marivate V, Chemali J, Brunskill E, Littmanf M
Journal Article Human-inspired force compliant grasping primitives 2014 • Autonomous Robots • 37(2):209-225 Kazemi M, Valois J-S, Bagnell JA, Pollard N
Conference Saddle points and accelerated perceptron algorithms 2014 • 31st International Conference on Machine Learning Icml 2014 • 5:3839-3852 Yu AW, Kilinç-Karzan F, Carbonell JG
Conference Low rank approximation lower bounds in row-update streams 2014 • Advances in Neural Information Processing Systems • 2(January):1781-1789 Woodruff DP
Conference Spanners and sparsifiers in dynamic streams 2014 • Proceedings of the Annual ACM Symposium on Principles of Distributed Computing • 272-281 Kapralov M, Woodruff D
Journal Article ACM transactions on parallel computing 2014 • ACM Transactions on Parallel Computing • 1(1):1-2 Gibbons P
Conference Black-box non-black-box zero knowledge 2014 515-524 Goyal V, Ostrovsky R, Scafuro A, Visconti I
Conference Will They Blend?: Exploring Big Data Computation atop Traditional HPC NAS Storage 2014 524-534 Wilson EH, Kandemir MT, Gibson G
Conference Short Tours through Large Linear Forests 2014 • Lecture Notes in Computer Science • 8494:273-284 Feige U, Ravi R, Singh M
Conference Graph-TSP from Steiner Cycles 2014 • Lecture Notes in Computer Science • 8747:312-323 Iwata S, Newman A, Ravi R
Chapter DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs 2014 • Lecture Notes in Computer Science • 8561:422-429 Wetzler N, Heule MJH, Hunt WAJ
Journal Article Integrals associated with the multiple gamma function 2014 • Integral Transforms and Special Functions • 25(6):462-469 Adamchik V
Journal Article When Robots Engage Humans 2014 • International Journal of Social Robotics • 6(3):311-313 Cabibihan J-J, Williams M-A, Simmons R
Journal Article The Height of Random k-Trees and Related Branching Processes 2014 • Random structures & algorithms (Print) • 45(4):675-702 Cooper C, Frieze A, Uehara R
Journal Article Consistent Weighted Sampling Made Fast, Small, and Easy 2014 Haeupler B, Manasse M, Talwar K
Preprint Efficient Clustering with Limited Distance Information 2014 Voevodski K, Balcan M-F, Roglin H, Teng S-H, Xia Y
Conference How People Do Relational Reasoning? Role Of Problem Complexity And Domain Familiarity 2014 Kumar S, Cervesato I, Gonzalez C
Conference Conversing with Children: Cartoon and Video People Elicit Similar Conversational Behaviors 2014 • 32ND ANNUAL ACM CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI 2014) • 1787-1796 Hyde J, Kiesler S, Hodgins JK, Carter EJ
Preprint Collaborative Verification-Driven Engineering of Hybrid Systems 2014 Mitsch S, Passmore GO, Platzer A
Journal Article Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores 2014 • Proceedings of the VLDB Endowment • 8(3):209-220 Yu X, Bezerra G, Pavlo A, Devadas S, Stonebraker M
Journal Article Notes on Cloud computing principles 2014 • Journal of Cloud Computing • 3(1):21 Sandholm T, Lee D
Conference VOG: Summarizing and Understanding Large Graphs 2014 91-99 Koutra D, Kang U, Vreeken J, Faloutsos C
Conference FUNNEL 2014 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 105-114 Matsubara Y, Sakurai Y, van Panhuis WG, Faloutsos C
Conference Scalable kernel methods via doubly stochastic gradients 2014 • Advances in Neural Information Processing Systems • 4(January):3041-3049 Dai B, Xie B, He N, Liang Y, Raj A, Balcan MF, Song L
Journal Article Near-Optimality in Covering Games by Exposing Global Information 2014 • ACM Transactions on Economics and Computation • 2(4):1-22 Balcan M-F, Krehbiel S, Piliouras G, Shin J
Conference Regrasping Objects Using Extrinsic Dexterity 2014 • IEEE International Conference on Robotics and Automation • 2560-2560 Dafle NC, Rodriguez A, Paolini R, Tang B, Srinivasa SS, Erdmann M, Mason MT, Lundberg I, Staab H, Fuhlbrigge T
Conference Complexity of approximating CSP with balance / hard constraints 2014 439-448 Guruswami V, Lee E
Journal Article Network Analysis of Breast Cancer Progression and Reversal Using a Tree-Evolving Network Algorithm 2014 • PLoS Computational Biology • 10(7): Parikh AP, Curtis RE, Kuhn I, Becker-Weimann S, Bissell M, Xing EP, Wu W
Conference Dependent nonparametric trees for dynamic hierarchical clustering 2014 • Advances in Neural Information Processing Systems • 27: Dubey A, Ho Q, Williamson S, Xing EP
Conference A First Look at Performance in Mobile Virtual Network Operators 2014 • PROCEEDINGS OF THE 2014 ACM INTERNET MEASUREMENT CONFERENCE (IMC'14) • 165-171 Zarinni F, Chakraborty A, Sekar V, Das SR, Gill P
Journal Article Guardrail 2014 • ACM Sigplan Notices • 49(4):655-670 Ruwase O, Kozuch MA, Gibbons PB, Mowry TC
Conference Diagnosing Unobserved Components in Self-Adaptive Systems 2014 • 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014) • 75-84 Casanova P, Garlan D, Schmerl B, Abreu R
Journal Article ACTIVE: A Tool for Integrating Analysis Contracts 2014 Ruchkin I, De Niz D, Chaki S, Garlan D
Conference Team Formation with Learning Agents that Improve Coordination 2014 • AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS • 1531-1532 Liemhetcharat S, Veloso M
Journal Article Knowledge Acquisition Strategies for Goal-Oriented Dialog Systems 2014 Pappu AK, Rudnicky A
Conference Focused Clustering and Outlier Detection in Large Attributed Graphs 2014 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 1346-1355 Perozzi B, Akoglu L, Sanchez PI, Mueller E
Conference Towards automatic experimentation of educational knowledge 2014 3349-3358 Liu Y-E, Mandel T, Brunskill E, Popović Z
Conference Accurate Indoor Localization With Zero Start-up Cost 2014 • PROCEEDINGS OF THE 20TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND NETWORKING (MOBICOM '14) • 483-494 Kumar S, Gil S, Katabi D, Rus D
Conference PARCEL: Proxy Assisted BRowsing in Cellular networks for Energy and Latency reduction 2014 • PROCEEDINGS OF THE 2014 CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT'14) • 325-336 Sivakumar A, Shankaranarayanan PN, Gopalakrishnan V, Lee S, Rao S, Sen S
Conference Permacoin: Repurposing Bitcoin Work for Data Preservation 2014 • IEEE Symposium on Security and Privacy: Proceedings • 475-490 Miller A, Juels A, Shi E, Katz J, Parno B
Journal Article On a unified view of nullspace-type conditions for recoveries associated with general sparsity structures 2014 • Linear Algebra and Its Applications • 441:124-151 Juditsky A, Karzan FK, Nemirovski A
Conference The Cost of the "S" in HTTPS 2014 • PROCEEDINGS OF THE 2014 CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT'14) • 133-139 Naylor D, Finamore A, Leontiadis I, Grunenberger Y, Mellia M, Munafo M, Papagiannaki K, Steenkiste P
Conference Turnstile streaming algorithms might as well be linear sketches 2014 • Annual ACM Symposium on Theory of Computing • 174-183 Li Y, Nguyen HL, Woodruff DP
Journal Article On deterministic sketching and streaming for sparse recovery and norm estimation 2014 • Linear Algebra and Its Applications • 441:152-167 Nelson J, Nguyẽn HL, Woodruff DP
Journal Article Position-Based Quantum Cryptography: Impossibility and Constructions 2014 • SIAM journal on computing (Print) • 43(1):150-178 Buhrman H, Chandran N, Fehr S, Gelles R, Goyal V, Ostrovsky R, Schaffner C
Conference Joule Counting Correction for Electric Vehicles Using Artificial Neural Networks 2014 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 298-305 Taylor MD
