Submissions from 2008
First-Order Algorithm with O(ln(1=)) Convergence for -Equilibrium in Two-Person Zero-Sum Games, Andrew Gilpin, Javier Pena, and Tuomas W. Sandholm
Solving Two-person Zero-sum Repeated Games of Incomplete Information, Andrew Gilpin and Tuomas W. Sandholm
A Heads-up No-limit Texas Hold’em Poker Player: Discretized Betting Models and Automatically Generated Equilibrium-finding Programs, Andrew Gilpin, Tuomas W. Sandholm, and Troels Bjerre Sørensen
GS3 and Tartanian: Game Theory-based Heads-up Limit and No-limit Texas Hold’em Poker-playing Programs, Andrew Gilpin, Tuomas W. Sandholm, and Troels Bjerre Sørensen
Set Covering with our Eyes Closed, Fabrizio Grandoni, Anupam Gupta, Stefano Leonardi, Pauli Miettinen, Piotr Sankowski, and Mohit Singh
Simpler Analyses of Local Search Algorithms for Facility Location, Anupam Gupta and Kanat Tangwongsan
Multimedia Information Extraction Roadmap, Alexander Hauptmann
Informedia @ TRECVID2008: Exploring New Frontiers, Alexander Hauptmann, Robert V. Baron, Ming-Yu Chen, Michael G. Christel, Wei-Hao Lin, Lily Mummert, Steve Schlosser, Xinghua Sun, Victor Valdes, and Sun Yang
Efficient Search: The Informedia Video Retrieval System, Alexander Hauptmann, Jonathan J. Wang, Wei-Hao Lin, Jun Yang, and Michael G. Christel
Rare Class Discovery Based on Active Learning, Jingrui He and Jaime G. Carbonell
Smoothing Techniques for Computing Nash Equilibria of Sequential Games, Samid Hod, Andrew Gilpin, Javier F. Peña, and Tuomas W. Sandholm
Interactive ASR Error Correction for Touchscreen Devices, David Huggins-Daines and Alexander I. Rudnicky
Efficient Craig interpolation for linear diophantine (dis)equations and linear modular equations, Himanshu Jain, E. M. Clarke, and Orna Grumberg
A graphical model approach for predicting free energies of association for protein-protein interactions under backbone and side-chain flexibility, Hetunandan Kamisetty, Chris Bailey-Kellogg, and Christopher J. Langmead
SDP gaps and UGC-hardness for Max-Cut-Gain, Subhash Khot and Ryan O'Donnell
Unsupervised Modeling and Recognition of Object Categories with Combination of Visual Contents and Geometric Similarity Links, Gunhee Kim, Christos Faloutsos, and Martial Hebert
Unsupervised Modeling of Object Categories Using Link Analysis Techniques, Gunhee Kim, Christos Faloutsos, and Martial Hebert
Spherical Cubes and Rounding in High Dimensions, Guy Kindler, Ryan O'Donnell, Anup Rao, and Avi Widgerson
Learning Geometric Concepts via Gaussian Surface Area, Adam R. Klivans, Ryan O'Donnell, and Rocco Servedio
Robust Submodular Observation Selection, Andreas Krause, H. Brendan McMahon, Carlos Guestrin, and Anupam Gupta
Simultaneous Placement and Scheduling of Sensors, Andreas Krause, Ram Rajagopal, Anupam Gupta, and Carlos Guestrin
Towards Inference and Learning in Dynamic Bayesian Networks using Generalized Evidence, Christopher J. Langmead
Symbolic Approaches for Finding Control Strategies in Boolean Networks, Christopher J. Langmead and Sumit Kumar Jha
Contextual Influences in Visual Processing, Tai Sing Lee
Neural encoding of scene statistics for surface and object inference, Tai Sing Lee, Tom Stepleton, Brian Potetz, and Jason M. Samonds
Instability free routing : beyond one protocol instance, Franck Le, Geoffrey G. Xie, and Hui Zhang
Dependently Typed Programming with Domain-Specific Logics, Daniel R. Licata and Robert Harper
Focusing on Binding and Computation, Daniel R. Licata, Noam Zeilberger, and Robert Harper
Laziness is a virtue: Motion stitching using effort minimization, Lei Li, James McCann, Christos Faloutsos, and Nancy S. Pollard
Do These News Videos Portray a News Event from Different Ideological Perspectives?, Wei-Hao Lin and Alexander Hauptmann
Identifying Ideological Perspectives of Web Videos using Patterns Emerging from Folksonomies, Wei-Hao Lin and Alexander Hauptmann
Identifying News Broadcasters’ Ideological Perspectives Using a Large-Scale Video Ontology, Wei-Hao Lin and Alexander Hauptmann
Vox Populi Annotation: Measuring Intensity of Ideological Perspectives by Aggregating Group Judgments, Wei-Hao Lin and Alexander Hauptmann
A Joint Topic and Perspective Model for Ideological Discourse, Wei-Hao Lin, Eric Xing, and Alexander Hauptmann
Nonparametric Regression and Classification with Joint Sparsity Constraints, Han Liu, John Lafferty, and Larry Wasserman
A Probabilistic Generative Model for GO Enrichment Analysis, Yong Lu, Roni Rosenfield, Itamar Simon, Gerard J. Nau, and Ziv Bar-Joseph
Real-Time Gradient-Domain Painting, James McCann and Nancy S. Pollard
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic, Sean McLaughlin and Frank Pfenning
Cone Depth and the Center Vertex Theorem, Gary L. Miller, Todd Phillips, and Donald Sheehy
Fast Sizing Calculations for Meshing, Gary L. Miller, Todd Phillips, and Donald Sheehy
Linear-Size Meshes, Gary L. Miller, Todd Phillips, and Donald Sheehy
Linguistic Structure and Bilingual Informants Help Induce Machine Translation of Lesser-Resourced Languages, Christian Monson, Ariadna Font Llitjós, Vamshi Ambati, Lori Levin, Alon Lavie, Alison Alvarez, Roberto Aranovitch, Jaime G. Carbonell, Robert Frederking, Erik Peterson, and Katharina Probst
Evaluating an Agglutinative Segmentation Model for ParaMor, Christian Monson, Alon Lavie, Jaime G. Carbonell, and Lori Levin
Some Topics in Analysis of Boolean Functions, Ryan O'Donnell
The Chow Parameters Problem, Ryan O'Donnell and Rocco A. Servedio
3-Bit Dictator Testing: 1 vs. 5/8, Ryan O'Donnell and Yi Wu
Conditional Hardness for Satisfiable 3-CSPs, Ryan O'Donnell and Yi Wu
Church and Curry: Combining Intrinsic and Extrinsic Typing, Frank Pfenning
Computing Differential Invariants of Hybrid Systems as Fixedpoints, Andre Platzer and Edmund M. Clarke
Computing differential invariants of hybrid systems as fixedpoints, André Platzer and E. M. Clarke
Efficient Belief Propagation for Higher Order Cliques Using Linear Constraint Nodes, Brian Potetz and Tai Sing Lee
Adaptive File Transfers for Diverse Environments, Himabindu Pucha, Michael Kaminsky, David G. Andersen, and Michael Kozuch
Using Tensor Analysis to characterize Contact-map Dynamics of Proteins, Arvind Ramanathan, Pratul K. Agarwal, and Christopher J. Langmead
High-Dimensional Graphical Model Selection Using ℓ1-Regularized Logistic Regression, Pradeep Ravikumar, Martin J. Wainwright, and John Lafferty
Effect of Character Animacy and Preparatory Motion on Perceptual Magnitude of Errors in Ballistic Motion, P.S.A. Reitsma, J. Andrews, and Nancy S. Pollard
Some Thoughts on Teaching Programming and Programming Languages, John C. Reynolds
Speech vs. Touch-tone: Telephony Interfaces for Information Access by Low Literate Users, Roni Rosenfield, Jahanzeb Sherwani, Sherwani Palijo, Sarwat Mirza, Tanveer Ahmed, and Nosheen Ali
Speech vs. Touch-tone: Telephony Interfaces for Information Access by Low Literate Users, Roni Rosenfield, Jahanzeb Sherwani, Sooraj Palijo, Sarwat Mirza, Tanveer Ahmed, and Nosheen Ali
Acquiring Domain-Specific Dialog Information from Task-Oriented Human-Human Interaction through an Unsupervised Learning, Alexander I. Rudnicky and Ananlada Chotimongkol
Mixture Pruning and Roughening for Scalable Acoustic Models, Alexander I. Rudnicky and David Huggins-Daines
Expressiveness in Mechanisms and its Relation to Efficiency: Our Experience from $40 Billion of Combinatorial Multi-attribute Auctions, and Recent Theory, Tuomas W. Sandholm
Materialized community ground models for large-scale earthquake simulation, Steven W. Schlosser, Michael P. Ryan, Ricardo Taborda, Julio Lopez, David R. O'Hallaron, and Jacobo Bielak
CSAMP: A System for Network-Wide Flow Monitoring, Vyas Sekar, Michael K. Reiter, Walter Willinger, Hui Zhang, Ramana Rao Kompella, and David G. Andersen
Linear Logical Algorithms, Robert J. Simmons and Frank Pfenning
Steps toward Activity-Oriented Computing, Joao Pedro Sousa, Vahe Poladian, David Garlan, Bradley Schmerl, and Peter Steenkiste
Space profiling for parallel functional programs, Daniel Spoonhower
Mixed Integer Linear Programming for Maximum-Parsimony Phylogeny Inference, Srinath Sridhar, Fumei Lam, Guy E. Blelloch, R. Ravi, and Russell Schwartz
Extracting conditional confidentiality policies, Michael Carl. Tschantz and Jeannette Marie. Wing
Heterogeneous Latch-based Asynchronous Pipelines, Girish Venkataramani, Tiberiu Chelcea, and Seth C. Goldstein
The Aware Community, Howard Wactlar, Robert Walters, John Bertoty, and Alexander Hauptmann
Scalable Performance of the Panasas Parallel File System, Brent Welsh, Marc Unangst, Zainul Abbasi, Garth Gibson, Brian Mueller, Jason Small, Jim Zelenka, and Bin Zhou
Perspectives: Improving SSH-style Host Authentication with Multi-Path Probing, Dan Wendlandt, David G. Andersen, and Adrian Perrig
Transient customization of mobile computing infrastructure, Adam Wolbach
Multimodal News Story Clustering With Pairwise Visual Near-Duplicate Constraint, Xiao Wu, Chong-Wah Ngo, and Alexander Hauptmann
Time Varying Undirected Graphs, Shuheng Zhou, John Lafferty, and Larry Wasserman
Submissions from 2007
SVR: Practical Engineering of a Fast 3D Meshing Algorithm, Umut A. Acar, Benoit Hudson, Gary L. Miller, and Todd Phillips
Holding the Internet Accountable, David G. Andersen, Hari Balakrishnan, Nick Feamster, Teemu Koponen, Daekyong Moon, and Scott Shenker
Infrastructure Leasing Problems, Barbara Anthony and Anupam Gupta
Declarative Programming for Modular Robots, Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth C. Goldstein, and Jason Campbell
Meld: A Declarative Approach to Programming Ensembles, Michael P. Ashley-Rollman, Seth C. Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai
A language for access control, Kumar Avijit and Robert Harper
Approximation Algorithms and Online Mechanisms for Item Pricing, Maria-Florina Balcan and Avrim Blum
Mechanism Design, Machine Learning, and Pricing Problems, Maria-Florina Balcan and Avrim Blum
Segmenting Meetings into Agenda Items by Extracting Implicit Supervision from Human Note–Taking, Satanjeev Banerjee and Alexander I. Rudnicky
An O (log2k)-Competitive Algorithm for Metric Bipartite Matching, Nikhil Bansal, Niv Buchbinder, Anupam Gupta, and Joseph Naor
Reducing Mechanism Design to Algorithm Design via Machine Learning, Maria-Florina Belcan, Avrim Blum, Jason D. Hartline, and Yishay Mansour
A correlated topic model of Science, David M. Blei and John D. Lafferty
Multiscale Scheduling: Integrating Competitive and Cooperative Scheduling in Theory and in Practice, Guy E. Blelloch, Lenore Blum, Mor Harchol-Balter, and Robert Harper
Strongly History-Independent Hashing with Applications, Guy E. Blelloch and Daniel Golovin
Open Problems in Efficient Semi-Supervised PAC Learning, Avrim Blum and Maria-Florina Balcan
Approximation Algorithms for Orienteering and Discounted-Reward TSP, Avrim Blum, Shuchi Chawla, David R. Karger, Terran Lane, Adam Meyerson, and Maria Minkoff
Separating Populations with Wide Data: a Spectral Analysis, Avrim Blum, Amin Coja-Oghlan, Alan Frieze, and Shuheng Zhou
From External to Internal Regret, Avrim Blum and Yishay Monsour
Learning, Regret minimization, and Equilibria, Avrim Blum and Yishay Monsour
Olympus: An Open-source Framework for Conversational Spoken Language Interface Research, Dan Bohus, Thomas K. Harris, Maxine Eskenazi, Alexander I. Rudnicky, and Antoine Raux
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
Olympus: An Open-source Framework for Conversational Spoken Language Interface Research, Dan Bohus, Antoine Raux, Thomas K. Harris, Maxine Eskenazi, and Alexander I. Rudnicky
Implicitly-Supervised Learning in Spoken Language Interfaces: An Application to the Confidence Annotation Problem, Dan Bohus and Alexander I. Rudnicky
Data-Intensive Supercomputing: The Case for DISC, Randal E. Bryant
Using Medical Devices to Teach Formal Modeling, Orieta Celiku and David Garlan