Conference Accountable key infrastructure (AKI) 2013 679-690 Kim TH-J, Huang L-S, Perrig A, Jackson C, Gligor V
Conference Integrating document clustering and topic modeling 2013 • Uncertainty in Artificial Intelligence Proceedings of the 29th Conference Uai 2013 • 694-703 Xie P, Xing EP
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 • 7475 LNCS:V-VIII De Lemos R, Giese H, Müller HA, Shaw M
Conference Large-scale Probabilistic Forecasting in Energy Systems using Sparse Gaussian Conditional Random Fields 2013 • Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control • 1019-1024 Wytock M, Kolter JZ
Conference Practical Batch-Updatable External Hashing with Sorting 2013 • Proceedings of the Workshop on Algorithm Engineering and Experiments • 173-182 Lim H, Andersen DG, Kaminsky M
Conference Web-based remote assistance to overcome robot perceptual limitations 2013 • Aaai Workshop Technical Report • WS-13-10:114-116 Ventura R, Coltin B, Veloso M
Journal Article AN EMPIRICAL INVESTIGATION OF SPARSE LOG-LINEAR MODELS FOR IMPROVED DIALOGUE ACT CLASSIFICATION 2013 • Proceedings of the ... IEEE International Conference on Acoustics, Speech, and Signal Processing / sponsored by the Institute of Electrical and Electronics Engineers Signal Processing Society. ICASSP (Conference) • 8317-8321 Chen Y-N, Wang WY, Rudnicky AI
Conference Bringing cross-layer MIMO to today's wireless LANs 2013 387-398 Kumar S, Cifuentes D, Gollakota S, Katabi D
Journal Article Formal verification of synchronous data-flow program transformations toward certified compilers 2013 • Frontiers of Computer Science • 7(5):598-616 Ngo VC, Talpin J-P, Gautier T, Le Guernic P, Besnard L
Conference Low latency via redundancy. 2013 • CoNEXT • 283-294 Vulimiri A, Godfrey PB, Mittal R, Sherry J, Ratnasamy S, Shenker S
Conference Reducing contention through priority updates 2013 299-300 Shun J, Blelloch GE, Fineman JT, Gibbons PB
Conference Using Human Approach Paths to Improve Social Navigation 2013 • ACM/IEEE International Conference on Human-Robot Interaction • 73-74 Avrunin E, Simmons R
Conference A Stochastic Probing Problem with Applications 2013 • Lecture Notes in Computer Science • 7801:205-216 Gupta A, Nagarajan V
Conference Applicability of Rough Set Technique for Data Investigation and Optimization of Intrusion Detection System 2013 • Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering • 115:479-484 Roy SS, Viswanatham VM, Krishna PV, Saraf N, Gupta A, Mishra R
Conference Analysis and optimization of multi-dimensional percentile mechanisms 2013 • IJCAI International Joint Conference on Artificial Intelligence • 367-374 Sui X, Boutilier C, Sandholm T
Conference Monotonic Maximin: A Robust Stackelberg Solution against Boundedly Rational Followers 2013 • Lecture Notes in Computer Science • 8252:119-139 Jiang AX, Nguyen TH, Tambe M, Procaccia AD
Journal Article Discriminative Data Transform for Image Feature Extraction and Classification 2013 • Lecture Notes in Computer Science • 8150:452-459 Song Y, Cai W, Huh S, Chen M, Kanade T, Zhou Y, Feng D
Conference The Secrecy Capacity of Minimum Bandwidth Cooperative Regenerating Codes 2013 • IEEE International Symposium on Information Theory - Proceedings • 1421-1425 Koyluoglu OO, Rawat AS, Vishwanath S
Journal Article Optimizing Storage Performance for VM-Based Mobile Computing 2013 • ACM Transactions on Computer Systems • 31(2): Smaldone S, Gilbert B, Harkes J, Iftode L, Satyanarayanan M
Journal Article OpenSlide: A vendor-neutral software foundation for digital pathology 2013 • Journal of Pathology Informatics • 4(1):27 Goode A, Gilbert B, Harkes J, Jukic D, Satyanarayanan M
Conference Cooperative empirical failure avoidance for multithreaded programs 2013 39-50 Lucia B, Ceze L
Conference EEG-MINE: Mining and Understanding Epilepsy Data 2013 • Lecture Notes in Computer Science • 7867:155-167 Kim S, Faloutsos C, Yang H-J
Conference F-Trail: Finding Patterns in Taxi Trajectories 2013 • Lecture Notes in Computer Science • 7818:86-98 Matsubara Y, Li L, Papalexakis E, Lo D, Sakurai Y, Faloutsos C
Conference D elta C on : A Principled Massive-Graph Similarity Function 2013 162-170 Koutra D, Vogelstein JT, Faloutsos C
Conference Analysis of the reputation system and user contributions on a question answering website 2013 886-893 Movshovitz-Attias D, Movshovitz-Attias Y, Steenkiste P, Faloutsos C
Chapter Universality, Turing Incompleteness and Observers 2013 • COMPUTABLE UNIVERSE: UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION • 435-449 Sutner K
Journal Article Dynamic well-spaced point sets 2013 • Computational Geometry: Theory and Applications • 46(6):756-773 Acar UA, Cotter A, Hudson B, Turkoglu D
Journal Article Special Section on the Fiftieth Annual IEEE Symposium on Foundations of Computer Science (FOCS 2009) 2013 • SIAM journal on computing (Print) • 42(6):2286-2286 Balcan MF, Braverman M, Spielman DA
Conference A nonparametric mixture model for topic modeling over time 2013 530-538 Dubey A, Hefny A, Williamson S, Xing EP
Journal Article NP-MuScL: Unsupervised Global Prediction of Interaction Networks from Multiple Data Sources 2013 • Journal of Computational Biology • 20(11):892-904 Puniyani K, Xing EP
Conference CCS 2013 program chairs' welcome 2013 • Proceedings of the ACM Conference on Computer and Communications Security Gligor V, Yung M
Conference SIMPLE-fying middlebox policy enforcement using SDN 2013 27-38 Qazi ZA, Tu C-C, Chiang L, Miao R, Sekar V, Yu M
Conference Cluster-size Scaling and MapReduce Execution Times 2013 • Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom • 240-249 Zhang F, Sakr M
Conference On manipulation in multi-winner elections based on scoring rules 2013 • 12th International Conference on Autonomous Agents and Multiagent Systems 2013 Aamas 2013 • 1:359-366 Obraztsova S, Zick Y, Elkind E
Conference Online pickup and delivery planning with transfers for mobile robots 2013 • Aaai Workshop Technical Report • WS-13-10:8-13 Coltin B, Veloso M
Conference Learning Environmental Knowledge from Task-Based Human-Robot Dialog 2013 • IEEE International Conference on Robotics and Automation • 4304-4309 Kollar T, Perera V, Nardi D, Veloso M
Journal Article Global and regional hearing impairment prevalence: an analysis of 42 studies in 29 countries 2013 • European Journal of Public Health • 23(1):146-152 Stevens G, Flaxman S, Brunskill E, Mascarenhas M, Mathers CD, Finucane M
Conference Interference alignment by motion 2013 279-290 Adib F, Kumar S, Aryan O, Gollakota S, Katabi D
Conference CCSW chairs' welcome 2013 • Proceedings of the ACM Conference on Computer and Communications Security Juels A, Parno B
Chapter A Tight Lower Bound for High Frequency Moment Estimation with Small Error 2013 • Lecture Notes in Computer Science • 8096:623-638 Li Y, Woodruff DP
Conference PARROT: A Practical Runtime for Deterministic, Stable, and Reliable Threads 2013 • SOSP'13: PROCEEDINGS OF THE TWENTY-FOURTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES • 388-405 Cui H, Simsa J, Lin Y-H, Li H, Blum B, Xu X, Yang J, Gibson GA, Bryant RE
Conference Scalable Dynamic Partial Order Reduction 2013 • Lecture Notes in Computer Science • 7687:19-34 Simsa J, Bryant R, Gibson G, Hickey J
Conference Cache and I/O Efficient Functional Algorithms 2013 • ACM Sigplan Notices • 48(1):39-50 Blelloch GE, Harper R
Journal Article Coloring simple hypergraphs 2013 • Journal of combinatorial theory. Series B (Print) • 103(6):767-794 Frieze A, Mubayi D
