Submissions from 2007
NEXCEL, a Deductive Spreadsheet, Iliano Cervesato
Breaking and Fixing Public-Key Kerberos, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kay Tsay, and Christopher Walstad
One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr
Information Survival Threshold in Sensor and P2P Networks, Deepayan Chakrabarti, Jure Leskovec, Christos Faloutsos, Samuel Madden, Carlos Guestrin, and Michalis Faloutsos
Robust Estimation of Dominant Axis of Rotation, Lillian Y. Chang and Nancy S. Pollard
Feature selection for grasp recognition from optical markers, Lillian Y. Chang, Nancy S. Pollard, Tom Mitchell, and Erik P. Xing
Area Optimizations for Dual-Rail Circuits Using Relative-Timing Analysis, Tiberiu Chelcea, Girish Venkataramani, and Seth C. Goldstein
Combining N-grams and Alignment in G-Protein Coupling Specificity Prediction, Betty Yee Man Cheng and Jaime G. Carbonell
Discriminative Fields for Modeling Semantic Concepts in Video, Ming-yu Chen and Alexander Hauptmann
Establishing the Utility of Non-Text Search for News Video Retrieval with Real World Users, Michael G. Christel
Examining User Interactions with Video Retrieval Systems, Michael G. Christel
Exploring Concept Selection Strategies for Interactive Video Search, Michael G. Christel and Alexander Hauptmann
Incremental Mechanism Design, Vincent Conitzer and Tuomas W. Sandholm
Sound and Complete Elimination of Singleton Kinds, Karl Crary
Syntactic Logical Relations for Polymorphic and Recursive Types, Karl Crary and Robert Harper
Manifest Security, Karl Crary, Robert Harper, Frank Pfenning, Benjamin C. Pierce, Stephanie Weirich, and Stephan Zdancewic
New Interfaces for Popular Music Performance, Roger B. Dannenberg
The Carnegie Mellon Laptop Orchestra, Roger B. Dannenberg, Sofia Cavaco, Eugene Ang, Igor Avramovic, Barkin Aygun, Jinwook Baek, Erik Barndollar, Daniel Duterte, Jeffrey Grafton, Robert Hunter, Chris Jackson, Umpei Kurokawa, Daren Makuck, Timothy Mierzejewski, Michael Rivera, Dennis Torres, and Apphia Yu
Distributed Watchpoints: Debugging Large Multi-Robot Systems, Michael De Rosa, Jason Campbell, Padmanabhan Pillai, Seth C. Goldstein, Peter Lee, and Todd C. Mowbry
Dual Strategy Active Learning, Pinar Donmez, Jaime G. Carbonell, and Paul N. Bennett
SWAP: Shared Wireless Access Protocol (using Reciprocity), Matthew W. Dunlop, Ginger Perng, and David G. Andersen
Retrieval and Feedback Models for Blog Distillation, Jonathan Elsas, Jaime Arguello, Jamie Callan, and Jaime G. Carbonell
A Simple and Affordable TTL Processor for the Classroom, David Feinberg
Learning Mixtures of Product Distributions over Discrete Domains, Jon Feldman, Ryan O'Donnell, and Rocco A. Servedio
Understanding Parallel Repetition Requires Understanding Foams, Uriel Fiege, Guy Kindler, and Ryan O'Donnell
Evaluation of Representations in AI Problem Solving, Eugene Fink
Important Extrema of Time Series, Eugene Fink and Harith Suman Gandhi
Exchange Market for Complex Commodities: Search for Optimal Matches, Eugene Fink, Jianli Gong, and Josh Johnson
Planar Batting with Shape and Pose Uncertainty, Jiaxin L. Fu, Siddartha S. Srinivasa, Nancy S. Pollard, and Bart Nabbe
Internal Localization of Modular Robot Ensembles, Stanislav Funiak, Padmanabhan Pillai, Jason Campbell, and Seth C. Goldstein
The RADAR Architecture for Personal Cognitive Assistance, David Garlan and Bradley Schmerl
Better Automated Abstraction Techniques for Imperfect Information Games, with Application to Texas Hold’em Poker, Andrew Gilpin and Tuomas W. Sandholm
Potential-aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold’em Poker, Andrew Gilpin, Tuomas W. Sandholm, and Troels Bjerre Sørensen
All-Norms and All-Lp-Norms Approximation Algorithms, Daniel Golovin, Anupam Gupta, Amit Kumar, and Kanat Tangwongsan
Stochastic Steiner Tree with Non-Uniform Inflation, Anupam Gupta, MohammadTaghi Hajiaghayi, and Amit Kumar
How to Complete a Doubling Metric, Anupam Gupta and Kunal Talwar
Simulation results for JSQ Server Farms with Processor Sharing Servers, Varun Gupta, Mor Harchol-Balter, Karl Sigman, and Ward Whitt
Placement of Sound Sources In The Stereo Field Using Measured Room Impulse Responses, William D. Haines, Jesse R. Vernon, Roger B. Dannenberg, and Peter F. Driessen
Automated Online Mechanism Design and Prophet Inequalities, MohammadTaghi Hajiaghayi, Robert Kleinberg, and Tuomas W. Sandholm
Special Issue on New Perspectives in Scheduling, Mor Harchol-Balter
Mechanizing Metatheory in a Logical Framework, Robert Harper and Daniel R. Licata
TeamTalk: A Platform for Multi-human-robot Dialog Research in Coherent Real and Virtual Spaces, Thomas K. Harris and Alexander I. Rudnicky
Multi-Lingual Broadcast News Retrieval, Alexander Hauptmann, Ming-yu Chen, Michael G. Christel, D. Das, W.-H. Lin, R. Yan, J. Yang, G. Backfried, and X. Wu
A Hybrid Approach to Improving Semantic Extraction of News Video, Alexander Hauptmann, M Y. Chen, Michael G. Christel, W-H Lin, and J Yang
Summarizing BBC Rushes the Informedia Way, Alexander Hauptmann, Michael G. Christel, Wei-Hao Lin, Bryan Maher, Jun Yang, Robert V. Baron, and Guang Xiang
Clever Clustering vs. Simple Speed-Up for Summarizing BBC Rushes, Alexander Hauptmann, Michael G. Christel, Wei-Hao Lin, Bryan Maher, Jun Yang, Robert V. Baron, and Guang Xiang
How many highlevel concepts will fill the semantic gap in video retrieval?, Alexander Hauptmann, Rong Yan, and Wei-Hao Lin
Nearest-Neighbor-Based Active Learning for Rare Category Detection, Jingrui He and Jaime G. Carbonell
Graph-Based Semi-Supervised Learning as a Generative Model, Jingrui He, Jaime G. Carbonell, and Yan Liu
Implicitly Supervised Language Model Adaptation for Meeting Transcription, David Huggins-Daines and Alexander I. Rudnicky
State-Set Branching: Leveraging BDDs for Heuristic Search, Rune M. Jensen, Manuela M. Veloso, and Randal E. Bryant
Free Energy Estimates of All-atom Protein Structures Using Generalized Belief Propagation, Hetunandan Kamisetty, Erik P. Xing, and Christopher J. Langmead
Electrostatic Latching for Inter-module Adhesion, Power Transfer, and Communication in Modular Robots, M. E. Karagozler, Jason Campbell, Gary K. Fedder, Seth C. Goldstein, M. P. Weller, and B. W. Yoon
Comparison of Recordings from Microelectrode Arrays and Single Electrodes in the Visual Cortex, Ryan C. Kelly, Matthew A. Smith, Jason M. Samonds, Adam Kohn, A. B. Bonds, J. Anthony Movshon, and Tai Sing Lee
Analyzing Architectural Styles, Jung Soo Kim and David Garlan
A Modular Robotic System Using Magnetic Force Effectors, Brian T. Kirby, Burak Aksak, Jason D. Campbell, James F. Hoburg, Todd C. Mowry, Padmanabhan Pillai, and Seth C. Goldstein
A linear work, O(n1/6) time, parallel algorithm for solving planar Laplacians, Ioannis Koutis and Gary L. Miller
Summarizing Non-textual Events with a 'Briefing' Focus, Mohit Kumar, Dipanjan Das, and Alexander I. Rudnicky
Learning from the Report-writing Behavior of Individuals, Mohit Kumar, Nikesh Garera, and Alexander I. Rudnicky
R-BGP: Staying Connected In a Connected World, Nate Kushman, Srikanth Kandula, Dina Katabi, and Bruce M. Maggs
Rodeo: Sparse, greedy nonparametric regression, John D. Lafferty and Larry Wasserman
Statistical Analysis of Semi-Supervised Regression, John Lafferty and Larry Wasserman
Predicate Abstraction with Indexed Predicates, Shuvendu K. Lahiri and Randal E. Bryant
High-Throughput 3D Homology Detection via NMR Resonance Assignment, Christopher J. Langmead and Bruce Randall Donald
Predicting Protein Folding Kinetics via Temporal Logic Model Checking, Christopher J. Langmead and Sumit Kumar Jha
Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended Abstract, Christopher J. Langmead and Sumit Kumar Jha
Using Bit Vector Decision Procedures for Analysis of Protein Folding Pathways, Christopher J. Langmead and Sumit Kumar Jha
Detecting Protein-Protein Interaction Decoys using Fast Free Energy Calculations, Christopher J. Langmead and Hetunandan Kamisetty
Mechanizing the Metatheory of Standard ML, Daniel K. Lee, Karl Crary, and Robert Harper
Cost-effective Outbreak Detection in Networks, Jure Leskovec, Andreas Krause, Carlos Guestrin, Christos Faloutsos, Jeanne VanBriesen, and Natalie Glance
An Extensible Theory of Indexed Types, Daniel R. Licata and Robert Harper
Cluster-Based Selection of Statistical Answering Strategies, Lucian Vlad Lita and Jaime G. Carbonell
Sparse Nonparametric Density Estimation in High Dimensions Using the Rodeo, Han Liu, John D. Lafferty, and Larry Wasserman
Protein Quaternary Fold Recognition Using Conditional Graphical Models, Yan Liu, Jaime G. Carbonell, Vanathi Gopalakrishnan, and Peter Wiegele
Data Driven Grasp Synthesis using Shape Matching and Task-Based Pruning, Ying Li, Jiaxin L. Fu, and Nancy S. Pollard
A Bidirectional Refinement Type System for LF, William Lovas and Frank Pfenning
Combined Analysis Reveals a Core Set of Cycling Genes, Youg Lu, Roni Rosenfield, Ziv Bar-Joseph, Shaun Mahony, Panayiotis V. Benos, Itamar Simon, and Linda L. Breeden
Invalidation Clues for Database Scalability Services, Amit Manjhi, Phillip B. Gibbons, Anastasia Ailamaki, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, Christopher Olston, Anthony Tomasic, and Haifeng Yu
Responsive Characters from Motion Fragments, James McCann and Nancy S. Pollard
Finding Patterns in Blog Shapes and Blog Evolution, Mary McGlohon, Jure Leskovec, Christos Faloutsos, Matthew Hurst, and Natalie Glance
//TRACE: Parallel Trace Replay with Approximate Causal Events, Michael P. Mesnier, Matthew Wachs, Raja R. Simbasivan, Julio Lopez, James Hendricks, Gregory R. Ganger, and David R. O'Hallaron
Size Competitive Meshing without Large Angles, Gary L. Miller, Todd Phillips, and Donald Sheehy
Graph Partitioning by Spectral Rounding: Applications in Image Segmentation and Clustering, Gary L. Miller and David Tolliver
ParaMor: Finding Paradigms across Morphology, Christian Monson, Jaime G. Carbonell, Alon Lavie, and Lori Levin
ParaMor: Minimally Supervised Induction of Paradigm Structure and Morphological Analysis, Christian Monson, Jaime G. Carbonell, Alon Lavie, and Lori Levin
Noise stability of functions with low influences: invariance and optimality, Elchanan Mossel, Ryan O'Donnell, and Krzysztof Oleszkiewicz
Type-Safe Distributed Programming with ML5, Tom Murphy VII, Karl Crary, and Robert Harper
Extremal properties of polynomial threshold functions, Ryan O'Donnell and Rocco A. Servedio
Approximation by DNF: Examples and Counterexamples, Ryan O'Donnell and Karl Wimmer
An optimal SDP algorithm for Max-Cut, and equally optimal Long Code tests, Ryan O'Donnell and Yi Wu
NetProbe: A Fast and Scalable System for Fraud Detection in Online Auction Networks, Shashank Pandit, Duen Horng Chau, Samuel Wang, and Christos Faloutsos
Measurement and Analysis of TCP Throughput Collapse in Cluster-based Storage Systems (CMU-PDL-07-105), Amar Phanishayee, Elie Krevat, Vijay Vasudevan, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, and Srinivasan Seshan
A Temporal Dynamic Logic for Verifying Hybrid System Invariants, Andre Platzer
Combining Deduction and Algebraic Constraints for Hybrid System Analysis, Andre Platzer
Differential Dynamic Logic for Verifying Parametric Hybrid Systems, Andre Platzer
Leveraging Resource Prediction for Anticipatory Dynamic Configuration, Vahe Poladian, David Garlan, Mary Shaw, Mahadev Satyanarayanan, Bradley Schmerl, and Joao Sousa
Exploiting Similarity for Multi-Source Downloads Using File Handprints, Himabindu Pucha, David G. Andersen, and Michael Kaminsky
A Scalable Distributed Algorithm for Shape Transformation in Multi-Robot Systems, Ramprasad Ravichandran, Geoffrey J. Gordon, and Seth C. Goldstein
SpAM: Sparse Additive Models, Pradeep Ravikumar, Han Liu, John Lafferty, and Larry Wasserman