Follow

Submissions from 2008

PDF

Distributed Localization of Modular Robot Ensembles, Stanislav Funiak, Michael P. Ashley-Rollman, Seth C. Goldstein, Padmanabhan Pillai, and Jason D. Campbell

PDF

Computing an Approximate Jam/Fold Equilibrium for 3-player No-Limit Texas Hold’em Tournaments, Sam Ganzfried and Tuomas W. Sandholm

PDF

Scheduling with Uncertain Resources: Learning to Make Reasonable Assumptions, Steven Gardiner, Eugene Fink, and Jaime G. Carbonell

PDF

Stochastic Analyses for Online Combinatorial Optimization Problems, Naveen Garg, Anupam Gupta, Stefano Leonardi, and Piotr Sankowski

PDF

Evolution Styles - Formal foundations and tool support for software architecture evolution, David Garlan

PDF

Holistic Application Analysis for Update­-Independence, Charles Garrod, Amit Manjhi, Bruce M. Maggs, Todd C. Mowry, and Anthony Tomasic

PDF

First-Order Algorithm with O(ln(1/ε)) Convergence for -Equilibrium in Two-Person Zero-Sum Games, Andrew Gilpin, Javier Pena, and Tuomas W. Sandholm

PDF

Solving Two-person Zero-sum Repeated Games of Incomplete Information, Andrew Gilpin and Tuomas W. Sandholm

PDF

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

PDF

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

PDF

Set Covering with our Eyes Closed, Fabrizio Grandoni, Anupam Gupta, Stefano Leonardi, Pauli Miettinen, Piotr Sankowski, and Mohit Singh

PDF

Simpler Analyses of Local Search Algorithms for Facility Location, Anupam Gupta and Kanat Tangwongsan

PDF

Multimedia Information Extraction Roadmap, Alexander Hauptmann

PDF

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

PDF

Efficient Search: The Informedia Video Retrieval System, Alexander Hauptmann, Jonathan J. Wang, Wei-Hao Lin, Jun Yang, and Michael G. Christel

PDF

Rare Class Discovery Based on Active Learning, Jingrui He and Jaime G. Carbonell

PDF

Smoothing Techniques for Computing Nash Equilibria of Sequential Games, Samid Hod, Andrew Gilpin, Javier F. Peña, and Tuomas W. Sandholm

PDF

Interactive ASR Error Correction for Touchscreen Devices, David Huggins-Daines and Alexander I. Rudnicky

PDF

Efficient Craig interpolation for linear diophantine (dis)equations and linear modular equations, Himanshu Jain, E. M. Clarke, and Orna Grumberg

PDF

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

PDF

SDP gaps and UGC-hardness for Max-Cut-Gain, Subhash Khot and Ryan O'Donnell

PDF

Unsupervised Modeling and Recognition of Object Categories with Combination of Visual Contents and Geometric Similarity Links, Gunhee Kim, Christos Faloutsos, and Martial Hebert

PDF

Unsupervised Modeling of Object Categories Using Link Analysis Techniques, Gunhee Kim, Christos Faloutsos, and Martial Hebert

PDF

Spherical Cubes and Rounding in High Dimensions, Guy Kindler, Ryan O'Donnell, Anup Rao, and Avi Widgerson

PDF

Learning Geometric Concepts via Gaussian Surface Area, Adam R. Klivans, Ryan O'Donnell, and Rocco Servedio

PDF

Robust Submodular Observation Selection, Andreas Krause, H. Brendan McMahon, Carlos Guestrin, and Anupam Gupta

PDF

Simultaneous Placement and Scheduling of Sensors, Andreas Krause, Ram Rajagopal, Anupam Gupta, and Carlos Guestrin

PDF

Towards Inference and Learning in Dynamic Bayesian Networks using Generalized Evidence, Christopher J. Langmead

PDF

Symbolic Approaches for Finding Control Strategies in Boolean Networks, Christopher J. Langmead and Sumit Kumar Jha

PDF

Contextual Influences in Visual Processing, Tai Sing Lee

PDF

Neural encoding of scene statistics for surface and object inference, Tai Sing Lee, Tom Stepleton, Brian Potetz, and Jason M. Samonds

PDF

Instability free routing : beyond one protocol instance, Franck Le, Geoffrey G. Xie, and Hui Zhang

PDF

Dependently Typed Programming with Domain-Specific Logics, Daniel R. Licata and Robert Harper

PDF

Focusing on Binding and Computation, Daniel R. Licata, Noam Zeilberger, and Robert Harper

PDF

Laziness is a virtue: Motion stitching using effort minimization, Lei Li, James McCann, Christos Faloutsos, and Nancy S. Pollard

PDF

Do These News Videos Portray a News Event from Different Ideological Perspectives?, Wei-Hao Lin and Alexander Hauptmann

PDF

Identifying Ideological Perspectives of Web Videos using Patterns Emerging from Folksonomies, Wei-Hao Lin and Alexander Hauptmann

PDF

Identifying News Broadcasters’ Ideological Perspectives Using a Large-Scale Video Ontology, Wei-Hao Lin and Alexander Hauptmann

PDF

Vox Populi Annotation: Measuring Intensity of Ideological Perspectives by Aggregating Group Judgments, Wei-Hao Lin and Alexander Hauptmann

PDF

A Joint Topic and Perspective Model for Ideological Discourse, Wei-Hao Lin, Eric Xing, and Alexander Hauptmann

PDF

Nonparametric Regression and Classification with Joint Sparsity Constraints, Han Liu, John Lafferty, and Larry Wasserman

PDF

A Probabilistic Generative Model for GO Enrichment Analysis, Yong Lu, Roni Rosenfield, Itamar Simon, Gerard J. Nau, and Ziv Bar-Joseph

PDF

Real-Time Gradient-Domain Painting, James McCann and Nancy S. Pollard

PDF

Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic, Sean McLaughlin and Frank Pfenning

PDF

Cone Depth and the Center Vertex Theorem, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

Fast Sizing Calculations for Meshing, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

Linear-Size Meshes, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

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

PDF

Evaluating an Agglutinative Segmentation Model for ParaMor, Christian Monson, Alon Lavie, Jaime G. Carbonell, and Lori Levin

PDF

Some Topics in Analysis of Boolean Functions, Ryan O'Donnell

PDF

The Chow Parameters Problem, Ryan O'Donnell and Rocco A. Servedio

PDF

3-Bit Dictator Testing: 1 vs. 5/8, Ryan O'Donnell and Yi Wu

PDF

Conditional Hardness for Satisfiable 3-CSPs, Ryan O'Donnell and Yi Wu

PDF

Church and Curry: Combining Intrinsic and Extrinsic Typing, Frank Pfenning

PDF

Computing Differential Invariants of Hybrid Systems as Fixedpoints, Andre Platzer and Edmund M. Clarke

PDF

Computing differential invariants of hybrid systems as fixedpoints, André Platzer and E. M. Clarke

PDF

Efficient Belief Propagation for Higher Order Cliques Using Linear Constraint Nodes, Brian Potetz and Tai Sing Lee

PDF

Adaptive File Transfers for Diverse Environments, Himabindu Pucha, Michael Kaminsky, David G. Andersen, and Michael Kozuch

PDF

Using Tensor Analysis to characterize Contact-map Dynamics of Proteins, Arvind Ramanathan, Pratul K. Agarwal, and Christopher J. Langmead

PDF

High-Dimensional Graphical Model Selection Using ℓ1-Regularized Logistic Regression, Pradeep Ravikumar, Martin J. Wainwright, and John Lafferty

PDF

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

PDF

Some Thoughts on Teaching Programming and Programming Languages, John C. Reynolds

PDF

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

PDF

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

PDF

Acquiring Domain-Specific Dialog Information from Task-Oriented Human-Human Interaction through an Unsupervised Learning, Alexander I. Rudnicky and Ananlada Chotimongkol

PDF

Mixture Pruning and Roughening for Scalable Acoustic Models, Alexander I. Rudnicky and David Huggins-Daines

PDF

Expressiveness in Mechanisms and its Relation to Efficiency: Our Experience from $40 Billion of Combinatorial Multi-attribute Auctions, and Recent Theory, Tuomas W. Sandholm

PDF

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

PDF

CSAMP: A System for Network-Wide Flow Monitoring, Vyas Sekar, Michael K. Reiter, Walter Willinger, Hui Zhang, Ramana Rao Kompella, and David G. Andersen

PDF

Linear Logical Algorithms, Robert J. Simmons and Frank Pfenning

PDF

Steps toward Activity-Oriented Computing, Joao Pedro Sousa, Vahe Poladian, David Garlan, Bradley Schmerl, and Peter Steenkiste

PDF

Space profiling for parallel functional programs, Daniel Spoonhower

PDF

Mixed Integer Linear Programming for Maximum-Parsimony Phylogeny Inference, Srinath Sridhar, Fumei Lam, Guy E. Blelloch, R. Ravi, and Russell Schwartz

PDF

Extracting conditional confidentiality policies, Michael Carl. Tschantz and Jeannette Marie. Wing

PDF

Heterogeneous Latch-based Asynchronous Pipelines, Girish Venkataramani, Tiberiu Chelcea, and Seth C. Goldstein

PDF

The Aware Community, Howard Wactlar, Robert Walters, John Bertoty, and Alexander Hauptmann

PDF

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

PDF

Perspectives: Improving SSH-style Host Authentication with Multi-Path Probing, Dan Wendlandt, David G. Andersen, and Adrian Perrig

PDF

Transient customization of mobile computing infrastructure, Adam Wolbach

PDF

Multimodal News Story Clustering With Pairwise Visual Near-Duplicate Constraint, Xiao Wu, Chong-Wah Ngo, and Alexander Hauptmann

PDF

Time Varying Undirected Graphs, Shuheng Zhou, John Lafferty, and Larry Wasserman

Submissions from 2007

PDF

SVR: Practical Engineering of a Fast 3D Meshing Algorithm, Umut A. Acar, Benoit Hudson, Gary L. Miller, and Todd Phillips

PDF

Holding the Internet Accountable, David G. Andersen, Hari Balakrishnan, Nick Feamster, Teemu Koponen, Daekyong Moon, and Scott Shenker

PDF

Infrastructure Leasing Problems, Barbara Anthony and Anupam Gupta

PDF

Declarative Programming for Modular Robots, Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth C. Goldstein, and Jason Campbell

PDF

Meld: A Declarative Approach to Programming Ensembles, Michael P. Ashley-Rollman, Seth C. Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai

PDF

A language for access control, Kumar Avijit and Robert Harper

PDF

Approximation Algorithms and Online Mechanisms for Item Pricing, Maria-Florina Balcan and Avrim Blum

PDF

Mechanism Design, Machine Learning, and Pricing Problems, Maria-Florina Balcan and Avrim Blum

PDF

Segmenting Meetings into Agenda Items by Extracting Implicit Supervision from Human Note–Taking, Satanjeev Banerjee and Alexander I. Rudnicky

PDF

An O (log2k)-Competitive Algorithm for Metric Bipartite Matching, Nikhil Bansal, Niv Buchbinder, Anupam Gupta, and Joseph Naor

PDF

Reducing Mechanism Design to Algorithm Design via Machine Learning, Maria-Florina Belcan, Avrim Blum, Jason D. Hartline, and Yishay Mansour

PDF

A correlated topic model of Science, David M. Blei and John D. Lafferty

PDF

Multiscale Scheduling: Integrating Competitive and Cooperative Scheduling in Theory and in Practice, Guy E. Blelloch, Lenore Blum, Mor Harchol-Balter, and Robert Harper

PDF

Strongly History-Independent Hashing with Applications, Guy E. Blelloch and Daniel Golovin

PDF

Open Problems in Efficient Semi-Supervised PAC Learning, Avrim Blum and Maria-Florina Balcan

PDF

Approximation Algorithms for Orienteering and Discounted-Reward TSP, Avrim Blum, Shuchi Chawla, David R. Karger, Terran Lane, Adam Meyerson, and Maria Minkoff

PDF

Separating Populations with Wide Data: a Spectral Analysis, Avrim Blum, Amin Coja-Oghlan, Alan Frieze, and Shuheng Zhou

PDF

From External to Internal Regret, Avrim Blum and Yishay Monsour

PDF

Learning, Regret minimization, and Equilibria, Avrim Blum and Yishay Monsour