Conference I/O acceleration with pattern detection 2013 25-36 He J, Bent J, Torres A, Grider G, Gibson G, Maltzahn C, Sun X-H
Journal Article Software model synthesis using satisfiability solvers 2013 • Empirical Software Engineering • 18(4):825-856 Heule MJH, Verwer S
Conference Efficient BVH construction via approximate agglomerative clustering 2013 81-88 Gu Y, He Y, Fatahalian K, Blelloch G
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 Exact analysis of the M/M/k/setup class of Markov chains via recursive renewal reward 2013 • Performance Evaluation Review • 41(1):153-166 Gandhi A, Doroudi S, Harchol-Balter M, Scheller-Wolf A
Journal Article On a sparse random graph with minimum degree three: Likely Pósa sets are large 2013 Frieze A, Pittel B
Conference Harnessing the power of two crossmatches 2013 123-140 Blum A, Gupta A, Procaccia A, Sharma A
Conference Controlling Data Flow with a Policy-Based Programming Language for the Web 2013 • Lecture Notes in Computer Science • 8208:215-230 Sans T, Cervesato I, Hussein S
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
Conference Defender (Mis)coordination in security games 2013 • IJCAI International Joint Conference on Artificial Intelligence • 220-226 Jiang AX, Procaccia AD, Qian Y, Shah N, Tambe M
Conference NetSpot: Spotting Significant Anomalous Regions on Dynamic Networks 2013 28-36 Mongiovì M, Bogdanov P, Ranca R, Papalexakis EE, Faloutsos C, Singh AK
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
Conference Patterns amongst Competing Task Frequencies: Super-Linearities, and the Almond-DG Model 2013 • Lecture Notes in Computer Science • 7818:201-212 Koutra D, Koutras V, Prakash BA, Faloutsos C
Journal Article Competing Memes Propagation on Networks: A Network Science Perspective 2013 • IEEE Journal on Selected Areas in Communications • 31(6):1049-1060 Wei X, Valler NC, Prakash BA, Neamtiu I, Faloutsos M, Faloutsos C
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
Book Introduction 2013 • SpringerBriefs in Computer Science • 0(9781447148890):1-6 Cordeiro RLF, Faloutsos C, Traina Júnior C
Conference Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors 2013 • PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON MALICIOUS AND UNWANTED SOFTWARE: THE AMERICAS (MALWARE) • 41-50 Jha S, Fredrikson M, Christodoresu M, Sailer R, Yan X
Conference FINDING GENOME-TRANSCRIPTOME-PHENOME ASSOCIATION WITH STRUCTURED ASSOCIATION MAPPING AND VISUALIZATION IN GENAMAP 2012 • Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing • 327-338 Curtis RE, Yin J, Kinnaird P, Xing EP
Conference Supervised probabilistic robust embedding with sparse noise 2012 • Proceedings of the National Conference on Artificial Intelligence • 2:1226-1232 Zhang Y, Yeung DY, Xing EP
Conference Scalability evaluation of cluster size for MapReduce applications in elastic compute clouds 2012 Zhang F, Sakr MF
Journal Article Is Someone in this Office Available to Help Me? Proactively Seeking Help from Spatially-Situated Humans 2012 • Journal of Intelligent and Robotic Systems: Theory and Applications • 66(1-2):205-221 Rosenthal S, Veloso M, Dey AK
Conference Experience guided mobile manipulation planning 2012 • Aaai Workshop Technical Report • WS-12-06:55-60 Mericļi T, Veloso M, Akin HL
Journal Article Templates for pre-grasp sliding interactions 2012 • Robotics and Autonomous Systems • 60(3):411-423 Kappler D, Chang LY, Pollard NS, Asfour T, Dillmann R
Journal Article Can User-Level Probing Detect and Diagnose Common Home-WLAN Pathologies? 2012 • Computer Communication Review • 42(1):8-15 Kanuparthy P, Dovrolis C, Papagiannaki K, Seshan S, Steenkiste P
Conference DAZL: Density-Aware Zone-based Packet Forwarding in Vehicular Networks 2012 • IEEE Vehicular Networking Conference, VNC • 234-241 Meireles R, Steenkiste P, Barros J
Conference A Quadratic Lower Bound for Three-Query Linear Locally Decodable Codes over Any Field 2012 • Journal of Computer Science and Technology • 27(4):678-686 Woodruff DP
Chapter New Impossibility Results for Concurrent Composition and a Non-interactive Completeness Theorem for Secure Computation 2012 • Lecture Notes in Computer Science • 7417:443-460 Agrawal S, Goyal V, Jain A, Prabhakaran M, Sahai A
Conference A case for scaling HPC metadata performance through de-specialization 2012 • 2012 SC COMPANION: HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS (SCC) • 30-35 Patil S, Ren K, Gibson G
Chapter Inprocessing Rules 2012 • Lecture Notes in Computer Science • 7364:355-370 Järvisalo M, Heule MJH, Biere A
Conference Parallel and I/O efficient set covering algorithms 2012 82-90 Blelloch GE, Simhadri HV, Tangwongsan K
Conference Iterative Methods in Combinatorial Optimization 2012 • Leibniz International Proceedings in Informatics • 14:24-24 Ravi R
Journal Article Packing tight Hamilton cycles in 3-uniform hypergraphs 2012 • Random structures & algorithms (Print) • 40(3):269-300 Frieze A, Krivelevich M, Loh P-S
Conference Mobile Robotic Assembly on a Moving Vehicle 2012 117-123 Shi J, Hamner B, Simmons R, Singh S
Journal Article PACKING TIGHT HAMILTON CYCLES IN UNIFORM HYPERGRAPHS 2012 • SIAM Journal on Discrete Mathematics • 26(2):435-451 Bal D, Frieze A
Preprint Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints 2012 Buchbinder N, Joseph, Naor, Ravi R, Singh M
Conference Gaussian Noise Sensitivity and Fourier Tails 2012 • Proceedings of the Annual IEEE Conference on Computational Complexity • 137-147 Kindler G, O'Donnell R
Conference Improving the accuracy of environment-specific vehicular channel modeling 2012 43-50 Wang X, Anderson E, Steenkiste P, Bai F
Journal Article Detecting Parkinsons' Symptoms in Uncontrolled Home Environments: A Multiple Instance Learning Approach 2012 • Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference • 3688-3691 Das S, Amoedo B, De la Torre F, Hodgins J
Journal Article Video-based 3D motion capture through biped control 2012 • ACM Transactions on Graphics • 31(4):1-12 Vondrak M, Sigal L, Hodgins J, Jenkins O
Conference SiMPE 2012 251-254 Nanavati AA, Rajput N, Rudnicky A, Turunen M, Sandholm T, Munteanu C, Penn G
Journal Article Quality of Life Technology 2012 • Proceedings of the IEEE • 100(8):2394-2396 Kanade T
Conference Connecting Missing Links: Object Discovery from Sparse Observations Using 5 Million Product Images 2012 • Lecture Notes in Computer Science • 7577:794-807 Kang H, Hebert M, Efros AA, Kanade T
Conference PEGASUS: MINING BILLION-SCALE GRAPHS IN THE CLOUD 2012 • 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) • 5341-5344 Kang U, Chau DHP, Faloutsos C
Journal Article An Intrinsic Graphical Signature Based on Alert Correlation Analysis for Intrusion Detection 2012 • Journal of Information Science and Engineering • 28(2):243-262 Pao H-K, Mao C-H, Lee H-M, Chen C-D, Faloutsos C
Journal Article Optimal Column-Based Low-Rank Matrix Reconstruction 2012 1207-1214 Guruswami V, Sinop AK
