Follow

Submissions from 2007

PDF

Olympus: An Open-source Framework for Conversational Spoken Language Interface Research, Dan Bohus, Thomas K. Harris, Maxine Eskenazi, Alexander I. Rudnicky, and Antoine Raux

PDF

Conquest – An Open-Source Dialog System for Conferences, Dan Bohus, Sergio Puerto, David Huggins-Daines, Venkatesh Keri, Gopala Krishna, Rohit Kumar, Antoine Raux, and Stefanie Tomko

PDF

Olympus: An Open-source Framework for Conversational Spoken Language Interface Research, Dan Bohus, Antoine Raux, Thomas K. Harris, Maxine Eskenazi, and Alexander I. Rudnicky

PDF

Implicitly-Supervised Learning in Spoken Language Interfaces: An Application to the Confidence Annotation Problem, Dan Bohus and Alexander I. Rudnicky

PDF

Data-Intensive Supercomputing: The Case for DISC, Randal E. Bryant

PDF

Using Medical Devices to Teach Formal Modeling, Orieta Celiku and David Garlan

PDF

NEXCEL, a Deductive Spreadsheet, Iliano Cervesato

PDF

Breaking and Fixing Public-Key Kerberos, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kay Tsay, and Christopher Walstad

PDF

One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows

PDF

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr

PDF

Information Survival Threshold in Sensor and P2P Networks, Deepayan Chakrabarti, Jure Leskovec, Christos Faloutsos, Samuel Madden, Carlos Guestrin, and Michalis Faloutsos

PDF

Robust Estimation of Dominant Axis of Rotation, Lillian Y. Chang and Nancy S. Pollard

PDF

Feature selection for grasp recognition from optical markers, Lillian Y. Chang, Nancy S. Pollard, Tom Mitchell, and Erik P. Xing

PDF

Area Optimizations for Dual-Rail Circuits Using Relative-Timing Analysis, Tiberiu Chelcea, Girish Venkataramani, and Seth C. Goldstein

PDF

Combining N-grams and Alignment in G-Protein Coupling Specificity Prediction, Betty Yee Man Cheng and Jaime G. Carbonell

PDF

Discriminative Fields for Modeling Semantic Concepts in Video, Ming-yu Chen and Alexander Hauptmann

PDF

Establishing the Utility of Non-Text Search for News Video Retrieval with Real World Users, Michael G. Christel

PDF

Examining User Interactions with Video Retrieval Systems, Michael G. Christel

PDF

Exploring Concept Selection Strategies for Interactive Video Search, Michael G. Christel and Alexander Hauptmann

PDF

Incremental Mechanism Design, Vincent Conitzer and Tuomas W. Sandholm

PDF

Sound and Complete Elimination of Singleton Kinds, Karl Crary

PDF

Syntactic Logical Relations for Polymorphic and Recursive Types, Karl Crary and Robert Harper

PDF

Manifest Security, Karl Crary, Robert Harper, Frank Pfenning, Benjamin C. Pierce, Stephanie Weirich, and Stephan Zdancewic

PDF

New Interfaces for Popular Music Performance, Roger B. Dannenberg

PDF

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

PDF

Distributed Watchpoints: Debugging Large Multi-Robot Systems, Michael De Rosa, Jason Campbell, Padmanabhan Pillai, Seth C. Goldstein, Peter Lee, and Todd C. Mowbry

PDF

Dual Strategy Active Learning, Pinar Donmez, Jaime G. Carbonell, and Paul N. Bennett

PDF

SWAP: Shared Wireless Access Protocol (using Reciprocity), Matthew W. Dunlop, Ginger Perng, and David G. Andersen

PDF

Retrieval and Feedback Models for Blog Distillation, Jonathan Elsas, Jaime Arguello, Jamie Callan, and Jaime G. Carbonell

PDF

A Simple and Affordable TTL Processor for the Classroom, David Feinberg

PDF

Learning Mixtures of Product Distributions over Discrete Domains, Jon Feldman, Ryan O'Donnell, and Rocco A. Servedio

PDF

Understanding Parallel Repetition Requires Understanding Foams, Uriel Fiege, Guy Kindler, and Ryan O'Donnell

PDF

Evaluation of Representations in AI Problem Solving, Eugene Fink

PDF

Important Extrema of Time Series, Eugene Fink and Harith Suman Gandhi

PDF

Exchange Market for Complex Commodities: Search for Optimal Matches, Eugene Fink, Jianli Gong, and Josh Johnson

PDF

Planar Batting with Shape and Pose Uncertainty, Jiaxin L. Fu, Siddartha S. Srinivasa, Nancy S. Pollard, and Bart Nabbe

PDF

Internal Localization of Modular Robot Ensembles, Stanislav Funiak, Padmanabhan Pillai, Jason Campbell, and Seth C. Goldstein

PDF

The RADAR Architecture for Personal Cognitive Assistance, David Garlan and Bradley Schmerl

PDF

Better Automated Abstraction Techniques for Imperfect Information Games, with Application to Texas Hold’em Poker, Andrew Gilpin and Tuomas W. Sandholm

PDF

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

PDF

All-Norms and All-Lp-Norms Approximation Algorithms, Daniel Golovin, Anupam Gupta, Amit Kumar, and Kanat Tangwongsan

PDF

Stochastic Steiner Tree with Non-Uniform Inflation, Anupam Gupta, MohammadTaghi Hajiaghayi, and Amit Kumar

PDF

How to Complete a Doubling Metric, Anupam Gupta and Kunal Talwar

PDF

Simulation results for JSQ Server Farms with Processor Sharing Servers, Varun Gupta, Mor Harchol-Balter, Karl Sigman, and Ward Whitt

PDF

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

PDF

Automated Online Mechanism Design and Prophet Inequalities, MohammadTaghi Hajiaghayi, Robert Kleinberg, and Tuomas W. Sandholm

PDF

Special Issue on New Perspectives in Scheduling, Mor Harchol-Balter

PDF

Mechanizing Metatheory in a Logical Framework, Robert Harper and Daniel R. Licata

PDF

TeamTalk: A Platform for Multi-human-robot Dialog Research in Coherent Real and Virtual Spaces, Thomas K. Harris and Alexander I. Rudnicky

PDF

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

PDF

A Hybrid Approach to Improving Semantic Extraction of News Video, Alexander Hauptmann, M Y. Chen, Michael G. Christel, W-H Lin, and J Yang

PDF

Summarizing BBC Rushes the Informedia Way, Alexander Hauptmann, Michael G. Christel, Wei-Hao Lin, Bryan Maher, Jun Yang, Robert V. Baron, and Guang Xiang

PDF

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

PDF

How many highlevel concepts will fill the semantic gap in video retrieval?, Alexander Hauptmann, Rong Yan, and Wei-Hao Lin

PDF

Nearest-Neighbor-Based Active Learning for Rare Category Detection, Jingrui He and Jaime G. Carbonell

PDF

Graph-Based Semi-Supervised Learning as a Generative Model, Jingrui He, Jaime G. Carbonell, and Yan Liu

PDF

Implicitly Supervised Language Model Adaptation for Meeting Transcription, David Huggins-Daines and Alexander I. Rudnicky

PDF

State-Set Branching: Leveraging BDDs for Heuristic Search, Rune M. Jensen, Manuela M. Veloso, and Randal E. Bryant

PDF

Free Energy Estimates of All-atom Protein Structures Using Generalized Belief Propagation, Hetunandan Kamisetty, Erik P. Xing, and Christopher J. Langmead

PDF

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

PDF

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

PDF

Analyzing Architectural Styles, Jung Soo Kim and David Garlan

PDF

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

PDF

A linear work, O(n1/6) time, parallel algorithm for solving planar Laplacians, Ioannis Koutis and Gary L. Miller

PDF

Summarizing Non-textual Events with a 'Briefing' Focus, Mohit Kumar, Dipanjan Das, and Alexander I. Rudnicky

PDF

Learning from the Report-writing Behavior of Individuals, Mohit Kumar, Nikesh Garera, and Alexander I. Rudnicky

PDF

R-BGP: Staying Connected In a Connected World, Nate Kushman, Srikanth Kandula, Dina Katabi, and Bruce M. Maggs

PDF

Rodeo: Sparse, greedy nonparametric regression, John D. Lafferty and Larry Wasserman

PDF

Statistical Analysis of Semi-Supervised Regression, John Lafferty and Larry Wasserman

PDF

Predicate Abstraction with Indexed Predicates, Shuvendu K. Lahiri and Randal E. Bryant

PDF

High-Throughput 3D Homology Detection via NMR Resonance Assignment, Christopher J. Langmead and Bruce Randall Donald

PDF

Predicting Protein Folding Kinetics via Temporal Logic Model Checking, Christopher J. Langmead and Sumit Kumar Jha

PDF

Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended Abstract, Christopher J. Langmead and Sumit Kumar Jha

PDF

Using Bit Vector Decision Procedures for Analysis of Protein Folding Pathways, Christopher J. Langmead and Sumit Kumar Jha

PDF

Detecting Protein-Protein Interaction Decoys using Fast Free Energy Calculations, Christopher J. Langmead and Hetunandan Kamisetty

PDF

Mechanizing the Metatheory of Standard ML, Daniel K. Lee, Karl Crary, and Robert Harper

PDF

Cost-effective Outbreak Detection in Networks, Jure Leskovec, Andreas Krause, Carlos Guestrin, Christos Faloutsos, Jeanne VanBriesen, and Natalie Glance

PDF

An Extensible Theory of Indexed Types, Daniel R. Licata and Robert Harper

PDF

Cluster-Based Selection of Statistical Answering Strategies, Lucian Vlad Lita and Jaime G. Carbonell

PDF

Sparse Nonparametric Density Estimation in High Dimensions Using the Rodeo, Han Liu, John D. Lafferty, and Larry Wasserman

PDF

Protein Quaternary Fold Recognition Using Conditional Graphical Models, Yan Liu, Jaime G. Carbonell, Vanathi Gopalakrishnan, and Peter Wiegele

PDF

Data Driven Grasp Synthesis using Shape Matching and Task-Based Pruning, Ying Li, Jiaxin L. Fu, and Nancy S. Pollard

PDF

A Bidirectional Refinement Type System for LF, William Lovas and Frank Pfenning

PDF

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

PDF

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

PDF

Responsive Characters from Motion Fragments, James McCann and Nancy S. Pollard

PDF

Finding Patterns in Blog Shapes and Blog Evolution, Mary McGlohon, Jure Leskovec, Christos Faloutsos, Matthew Hurst, and Natalie Glance

PDF

//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

PDF

Size Competitive Meshing without Large Angles, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

Graph Partitioning by Spectral Rounding: Applications in Image Segmentation and Clustering, Gary L. Miller and David Tolliver

PDF

ParaMor: Finding Paradigms across Morphology, Christian Monson, Jaime G. Carbonell, Alon Lavie, and Lori Levin

PDF

ParaMor: Minimally Supervised Induction of Paradigm Structure and Morphological Analysis, Christian Monson, Jaime G. Carbonell, Alon Lavie, and Lori Levin

PDF

Noise stability of functions with low influences: invariance and optimality, Elchanan Mossel, Ryan O'Donnell, and Krzysztof Oleszkiewicz

PDF

Type-Safe Distributed Programming with ML5, Tom Murphy VII, Karl Crary, and Robert Harper

PDF

Extremal properties of polynomial threshold functions, Ryan O'Donnell and Rocco A. Servedio

PDF

Approximation by DNF: Examples and Counterexamples, Ryan O'Donnell and Karl Wimmer

PDF

An optimal SDP algorithm for Max-Cut, and equally optimal Long Code tests, Ryan O'Donnell and Yi Wu

PDF

NetProbe: A Fast and Scalable System for Fraud Detection in Online Auction Networks, Shashank Pandit, Duen Horng Chau, Samuel Wang, and Christos Faloutsos

PDF

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

PDF

A Temporal Dynamic Logic for Verifying Hybrid System Invariants, Andre Platzer