|
Ryu |
Kwan |
1990 |
Efficient parallel algorithms on the network model |
Joseph Ja' Ja' |
|
Rutkowski |
Wallace |
1981 |
Shape segmentation and labeling |
Azriel Rosenfeld |
|
Rutar |
Nickolas |
2011 |
Foo's to Blame: Techniques for Mapping Performance
Data to Program Variables |
Jeffrey K. Hollingsworth |
|
Ruiz |
Carolina |
1996 |
Semantics of Knowledge Based Systems with Multiple Forms of Negation |
Jack Minker |
|
Rosser |
Evan |
1998 |
Fine-Grained Analysis for Generating Better Communication and Synchronization |
William Pugh |
|
Roos |
Patrick |
2013 |
Evolutionary Game Theoretic Modeling of Decision-Making and Culture |
Dana Nau |
|
Romanik |
Kathleen |
1992 |
Approximate testing theory |
Carl Herbert Smith |
|
Rodriguez-Martinez |
Manuel |
2001 |
Automatic Deployment of Application-Specific Functionality in Database Middleware Systems |
Nicholas Roussopoulos |
|
Rodriguez |
Alejandro |
2006 |
Guided Self-Organizing Particle Systems for Basic Problem Solvling |
James Reggia |
|
Roberts |
Michael |
2003 |
Detailed differential dynamic programming algorithm for bang-bang control problems |
Samir Khuller |
|
Robbins |
Bryan |
2016 |
A Binary Classifier for Test Case
Feasibility Applied to Automatically Generated Tests |
Atif Memon |
|
Rivlin |
Ehud |
1993 |
Purposive recognition |
John Aloimonos |
|
Rivera |
Gabriel |
2001 |
Compiler Optimizations for Avoiding Cache Conflict Misses |
|
|
Ricart |
Glenn |
1980 |
Efficient Synchronization Algorithms for Distributed Systems |
Ashok Agrawala |
|
Rekatsinas |
Theodoros |
2015 |
Quality-Aware Data Source Management |
Amol Deshpande |
|
Reiter |
Robert |
1979 |
A experimental investigation of computer program development approaches and computer programming metrics |
Victor Basili |
|
Regli |
William |
1995 |
Geometric Algorithms for the Recognition of Features from Solid Models |
Dana Nau |
|
Reggia |
James |
1981 |
Knowledge-Based Decision Support Systems: Development through KMS |
Rieger |
|
Raykar |
Vikas |
2007 |
Scalable Machine Learning for Massive Datasets: Fast Summation Algorithms |
Ramani Duraiswami |
|
Ray |
Manjit |
2000 |
Model-based Object Recognition Using Three-dimesional Invariants |
Azriel Rosenfeld |
|
Rauscher |
Tomlinson |
1975 |
Dynamic Problem Oriented Redefinition of Computer Architecture via Microprogramming |
Ashok Agrawala |
|
Rastogi |
Aseem |
2016 |
Language-Based Techniques for Practical and
Trustworthy Secure Multi-
Party Computations |
Michael Hicks |
|
Rastegari |
Mohammad |
2016 |
Rich and Efficient Visual Data Representation |
Larry Davis |
|
Rappoport |
Kevin |
1993 |
Efficiency in parallel computation :!lgorithms, emulations, and VLSI pins |
Clyde Kruskal |
|
Rao |
Jinfeng |
2018 |
|
Jimmy Lin |
|
Ramesh |
Arti |
2016 |
A Probabilistic Approach to Modeling Socio-Behavioral Interactions |
Lise Getoor |
|
Ramakrishnan |
K. |
1983 |
The Design and Analysis of Resource Allocation Policies in Distributed Systems |
Ashok Agrawala |
|
Rajasekar |
Arcot |
1989 |
Semantics of Disjunctive Logic Programs |
Jack Minker |
|
Raboin |
Eric |
2015 |
Model-Predictive Strategy
Generation for Multi-Agent
Pursuit-Evasion Games |
Dana Nau |
|
Quamar |
Abdul |
2016 |
Building Efficient and Cost-Effective Cloud-Based Big Data Management Systems |
Amol Deshpande |
|
Qiu |
Qiang |
2013 |
Face and Action Recognition |
Ramalingam Chellappa |
|
Purohit |
Manish |
2016 |
Data-Aware Scheduling in Datacenters |
Samir Khuller |
|
Purang |
Khemdut |
2001 |
Systems that detect and repair their own mistakes |
Don Perlis |
|
Pujara |
Jay |
2016 |
Probabilistic Models for Scalable Knowledge Graph
Construction |
Lise Getoor |
|
Pu |
Fan-tao |
1998 |
Data Structures for Global Illumination Computation and Visibility Queries in 3-Space |
David Mount |
|
Pratikakis |
Polyvios |
2008 |
Sound, Precise and Efficient Static Race Detection for
Multi-Threaded Programs |
Michael Hicks, Jeffrey Foster |
|
Pratikakis |
Polyvios |
2008 |
Sound, Precise and Efficient Static Race Detection for
Multi-Threaded Programs |
Michael Hicks, Jeffrey Foster |
|
Pradhan |
Shekhar |
2001 |
Reasoning with conflicting information in artificial intelligence and database theory |
Jack Minker |
|
Potter |
Richard |
1999 |
Pixel Data Access: Interprocess Communication in the User Interface for End-User Programming and Graphical Macros |
Ben Shneiderman |
|
Postow |
Brian |
2002 |
Object based computation |
Carl Herbert Smith |
|
Popescu |
Catalin |
2000 |
Fast Evaluation of Intergrated-Services TCP/IP Networks |
A. Udaya Shankar |
|
Pleszkoch |
Mark |
1990 |
Machine learning with queries and oracles |
William Gasarch |
|
Pless |
Robert |
2000 |
Visual shape |
John Aloimonos |
|
Phillippy |
Adam |
2010 |
Whole-Genome Sequence Analysis for Pathogen
Detection and Diagnostics |
Steven Salzberg |
|
Petroni |
Nick |
2007 |
Property-Based Integrity Monitoring of Operating System Kernels |
William Arbaugh, Michael Hicks |
|
Petroni |
Nick |
2007 |
Property-Based Integrity Monitoring of Operating System Kernels |
William Arbaugh, Michael Hicks |
|
Perer |
Adam |
2008 |
Integrating Statistics and Visualization to
Improve Exploratory Social Network Analysis |
Ben Shneiderman |
|
Peng |
Feng |
2006 |
High Performance Xpath Evaluation in XML Streams |
Sudarshan S. Chawathe |
|
Peng |
Yun |
1985 |
A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference |
James Reggia |
|
Peleg |
Shmuel |
1979 |
Ambiguity reduction in probabilistic networks |
Azriel Rosenfeld |