|
Friedler |
Sorelle |
2010 |
Geometric Algorithms for Objects in Motion |
David Mount |
|
Gordon |
Samuel |
2010 |
Fairness in Secure Computation |
Jonathan Katz |
|
Levin |
David |
2010 |
Systems-Compatible Incentives |
Bobby Bhattacharjee |
|
Madnani |
Nitin |
2010 |
The Circle of Meaning: From Translation to
Paraphrasing and Back |
Bonnie Dorr |
|
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 |
|
Phillippy |
Adam |
2010 |
Whole-Genome Sequence Analysis for Pathogen
Detection and Diagnostics |
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 |
|
Seng |
Chuk |
2010 |
Robust Trust Establishment in Decentralized Networks |
William Arbaugh |
|
Simari |
Gerardo |
2010 |
Stochastic Reasoning with Action
Probabilistic Logic Programs |
V.S. Subrahmanian |
|
Snover |
Matthew |
2010 |
Improving Statistical Machine Translation
Using Comparable Corpora |
Bonnie Dorr |
|
Srivastava |
Saurabh |
2010 |
Satisfiability-Based Program Reasoning and Synthesis |
Jeffrey Foster |
|
Tas |
Nazif |
2010 |
Link Adaptation in Wireless Networks: A
Cross-Layer Approach |
Ashok Agrawala |
|
Trapnell |
Bruce |
2010 |
Transcript Assembly and Abundance Estimation
with High-Throughput RNA Sequencing |
Steven Salzberg |
|
Wang |
Taowei |
2010 |
Interactive Visualization Techniques for
Searching
Temporal Categorical Data |
Ben Shneiderman |
|
Yoon |
Ilchul |
2010 |
Compatibility Testing for Component-based
Systems |
Alan Sussman |
|
Zazworka |
Nico |
2010 |
Process Conformance Testing: A Methodology
to Identify and Understand Process
Violations in Enactment of Software Processes |
Victor Basili |
|
Brooks |
Penelope |
2009 |
Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases |
|
|
Domke |
Justin |
2009 |
Tractable Learning and Inference in High Treewidth
Graphical Models |
John Aloimonos |
|
El-Alfy |
Hazem |
2009 |
Techniques for Video Surveillance: Automatic
Video Editing and Target Tracking |
Larry Davis |
|
Elsayed |
Tamer |
2009 |
Identity Resolution in Email Collections |
Doug Oard |
|
Fails |
Jerry |
2009 |
Mobile Collaboration for Young Children |
Allison Druin |
|
Furr |
Michael |
2009 |
Combining Static and Dynamic Typing in Ruby |
Jeffrey Foster |
|
Gupta |
Abnihav |
2009 |
Beyond Nouns and Verbs |
Larry Davis |
|
Hussein |
Mohamed |
2009 |
Algorithmic Issues in Visual Object Recognition |
|
|
Kim |
Jik-Soo |
2009 |
Decentralized and Scalable Resource Management for Desktop Grids |
Alan Sussman |
|
Lapizco Encinas |
Grecia |
2009 |
Cooperative Particle Swarm Optimization for Combinatorial Problems |
James Reggia |
|
Lee |
Woei-Jyh |
2009 |
A Framework for Discovering Meaningful Associations in the Annotated Life Sciences Web |
Louiqa Raschid |
|
Lumezanu |
Cristian |
2009 |
Using Internet Geometry to Improve End-End Communication Performance |
|
|
Malekian |
Azarakhsh |
2009 |
Combinatorial Optimization and Electronic Commerce |
Samir Khuller |
|
Sen |
Prithviraj |
2009 |
Representing and Querying Uncertain Data |
Lise Getoor |
|
Shin |
Ji Sun |
2009 |
Enhancing Privacy in Cryptographic Protocols |
Virgil Gligor |
|
Strecker |
Jaymie |
2009 |
Accounting for Defect Characteristics in Emprical Studies of Software Testing |
|
|
Wu |
Yao |
2009 |
Computing Customized Ranking |
Louiqa Raschid |
|
Aggarwal |
Gaurav |
2008 |
Recognizing Human Faces: Physical Modeling and Pattern
Classification |
|
|
Andersen |
Carl |
2008 |
Using Join Networks to Compute Satisfiability |
William Gasarch |
|
Aris |
Aleks |
2008 |
Visualizing and Exploring Networks Using Semantic Substrates |
Ben Shneiderman |
|
Au |
Tsz-Chiu |
2008 |
Synthesis of Strategies for Non-Zero-Sum Repeated Games |
Dana Nau |
|
Hui |
Annie |
2008 |
Representing and Understanding Non-Manifold Objects |
Leila De Floriani |
|
Jung |
Jin Hyuk |
2008 |
Adaptive Constraint Reduction for Convex Quadratic
Programming and Training Support Vector Machine |
Dianne O'Leary |
|
Kim |
Youngmin |
2008 |
Saliency-Guided Graphics and Visualization |
Amitabh Varshney |
|
Kim |
Youngmin |
2008 |
Saliency-Guided Graphics and Visualization |
Amitabh Varshney |
|
Kolovski |
Vladimir |
2008 |
Analyzing Web Access Control Policies using Description Logics |
Hendler |
|
Liao |
Chunyuan |
2008 |
"PapierCraft": A New Paper-Based
Interface to Support Interaction with Digital Documents |
François Guimbretière |
|
Liu |
Xu |
2008 |
Computer Vision and Image Processing Techniques for Mobile Applications |
Larry Davis |
|
Lopez |
Adam |
2008 |
Machine Translation by Pattern Matching |
Philip Resnik |
|
McMaster |
Scott |
2008 |
A Context-Sensitive Coverage Criterion for Test Suite
Reduction |
|
|
Neamtiu |
Iulian |
2008 |
Practical Dynamic Software Updating |
Michael Hicks |
|
Parker |
Austin |
2008 |
Spatial Probabilistic Temporal Databases |
Dana NauV.S. Subrahmanian |