Wilson |
Shomir |
2011 |
A Computational Theory of the Use-Mention Distinction in
Natural Language |
Don Perlis |
Rutar |
Nickolas |
2011 |
Foo's to Blame: Techniques for Mapping Performance
Data to Program Variables |
Jeffrey K. Hollingsworth |
Broecheler |
Matthias |
2011 |
Social Network Data Management |
V.S. Subrahmanian |
Kelley |
David |
2011 |
Computational Methods to Improve Genome Assembly and
Gene Prediction |
Steven Salzberg |
Li |
Jian |
2011 |
Decision Making Under Uncertainty |
Amol Deshpande |
Martinez |
Maria Vanina |
2011 |
Contributions to Personalizable Knowledge Integration |
V.S. Subrahmanian |
Sliva |
Amy |
2011 |
Scalable Techniques for Behavioral Analysis and
Forecasting |
V.S. Subrahmanian |
Monner |
Derek |
2011 |
A Neurocomputational Model of Grounded Language Comprehension
And Production at the Sentence Level |
James Reggia |
Yerukhimovich |
Arkady |
2011 |
A Study of Separations in Cryptography:
New Results and New Models |
Jonathan Katz |
Angiuoli |
Samuel |
2011 |
Methods for High-Throughput Comparative Genomics and
Distributed Sequence Analysis |
Steven Salzberg |
DuBois |
Thomas |
2011 |
Using and Manipulating Probabilistic Connectivity in Social Networks |
Aravind Srinivasan |
Zheleva |
Elena |
2011 |
Prediction, Evolution and Privacy in Social and Affiliation Networks |
Lise Getoor |
Kanagal |
Bhargav |
2011 |
Scalable Statistical Modeling and Query Processing
Over Large-Scale Uncertain Databases |
Amol Deshpande |
Saha |
Barna |
2011 |
Approximation Algorithms for Resources Allocation |
Samir Khuller |
Farrell |
Ryan |
2011 |
Learning Visual Patterns: Imposing Order on Objects,
Trajectories and Networks |
Larry Davis |
Park |
Sungwoo |
2011 |
Matrix Reduction in Numerical Optimization |
Dianne O'Leary |
Shakarian |
Paulo |
2011 |
Spatio-Temporal Reasoning About Agent Behavior |
V.S. Subrahmanian |
Siddiquie |
Behjat |
2011 |
Image Retrieval based on Complex Descriptive Queries |
Larry Davis |
Weiss |
Kenneth |
2011 |
Diamond-Based Models for Scientific Visualization |
Leila De Floriani |
Agrawal |
Mudit |
2011 |
Adaptive Algorithms for Automated Processing of Document Images |
Larry Davis |
Caragea |
George |
2011 |
Optimizing for a Many-Core Architecture
without Compromising
Ease-of-Programming |
Uzi Vishkin |
Ma |
Kin Keung |
2011 |
Improving Program Testing and Understanding via Symbolic Execution |
Jeffrey Foster, Michael Hicks |
Song |
Charles |
2011 |
Understanding, Discovering and Leveraging a Software System’s Effective
Configuration Space |
Adam Porter |
Ma |
Kin Keung |
2011 |
Improving Program Testing and Understanding via Symbolic Execution |
Jeffrey Foster, Michael Hicks |
Tiwari |
Ananta |
2011 |
Turning Parallel Applications in Parallel |
Jeffrey K. Hollingsworth |
Huang |
Zhongqiang |
2011 |
Modeling Dependencies in Natural Languages with
Latent Variables |
Philip Resnik |
Simari |
Gerardo |
2010 |
Stochastic Reasoning with Action
Probabilistic Logic Programs |
V.S. Subrahmanian |
Trapnell |
Bruce |
2010 |
Transcript Assembly and Abundance Estimation
with High-Throughput RNA Sequencing |
Steven Salzberg |
Schatz |
Michael |
2010 |
High Performance Computing for DNA Sequence
Alignment and Assembly |
Steven Salzberg |
Schwartz |
William |
2010 |
Looking at People Using Partial
Least Squares |
Larry Davis |
Srivastava |
Saurabh |
2010 |
Satisfiability-Based Program Reasoning and Synthesis |
Jeffrey Foster |
Almazan |
Christian |
2010 |
Rover: Architectural Support for Exposing and Using
Context |
Ashok Agrawala |
Bender |
Adam |
2010 |
An Accountability Architecture for the
Internet |
Bobby Bhattacharjee |
Levin |
David |
2010 |
Systems-Compatible Incentives |
Bobby Bhattacharjee |
Zazworka |
Nico |
2010 |
Process Conformance Testing: A Methodology
to Identify and Understand Process
Violations in Enactment of Software Processes |
Victor Basili |
Ayewah |
Nathaniel |
2010 |
Static Analysis in Practice |
William Pugh |
Gordon |
Samuel |
2010 |
Fairness in Secure Computation |
Jonathan Katz |
Tas |
Nazif |
2010 |
Link Adaptation in Wireless Networks: A
Cross-Layer Approach |
Ashok Agrawala |
Berlin |
Konstantin |
2010 |
Protein-Protein Docking Using Long Range
Nuclear Magnetic
Resonance Constraints |
Dianne O'Leary |
Cho |
Minkyoung |
2010 |
Approximation Algorithms for Point Pattern
Matching and Searching |
David Mount |
Fouche |
Sandro |
2010 |
Large Scale Automated Test Scheduling and Execution |
Adam Porter |
Phillippy |
Adam |
2010 |
Whole-Genome Sequence Analysis for Pathogen
Detection and Diagnostics |
Steven Salzberg |
Ackermann |
Christopher |
2010 |
Behavioral Reflexion Models for Software |
|
Seng |
Chuk |
2010 |
Robust Trust Establishment in Decentralized Networks |
William Arbaugh |
Snover |
Matthew |
2010 |
Improving Statistical Machine Translation
Using Comparable Corpora |
Bonnie Dorr |
Wang |
Taowei |
2010 |
Interactive Visualization Techniques for
Searching
Temporal Categorical Data |
Ben Shneiderman |
Friedler |
Sorelle |
2010 |
Geometric Algorithms for Objects in Motion |
David Mount |
Morariu |
Vlad |
2010 |
Analyzing Structured Scenarios by Tracking
People and Their Limbs |
Larry Davis |
Navlaka |
Saket |
2010 |
Algorithms to Explore the Structure and
Evolution of Biological Networks |
Carl Kingsford |
Yoon |
Ilchul |
2010 |
Compatibility Testing for Component-based
Systems |
Alan Sussman |