|
Liu |
Chang |
2016 |
Trace Oblivious Program Execution |
|
|
Singh |
Jagdeep |
1987 |
|
|
|
Cook |
Craig |
1974 |
Grammatical inference by heuristic search. |
Azriel Rosenfeld |
|
Gharai |
Ladan |
1998 |
Multi-Platform Performance Models for Digital Video Systems |
Richard Gerber |
|
Halaschek-Wiener |
Christian |
2007 |
Expressive Syndication on the Web Using a Description Logic Approach |
Hendler |
|
Kelley |
David |
2011 |
Computational Methods to Improve Genome Assembly and
Gene Prediction |
Steven Salzberg |
|
Kohout |
Robert |
1998 |
Guaranteeing safety in the presence of moving obstacles |
Hendler |
|
Martinez |
Maria Vanina |
2011 |
Contributions to Personalizable Knowledge Integration |
|
|
Phillippy |
Adam |
2010 |
Whole-Genome Sequence Analysis for Pathogen
Detection and Diagnostics |
Steven Salzberg |
|
Reggia |
James |
1981 |
Knowledge-Based Decision Support Systems: Development through KMS |
Rieger |
|
Shin |
Ji Sun |
2009 |
Enhancing Privacy in Cryptographic Protocols |
Virgil Gligor |
|
Wang |
Kuang-yeh |
1999 |
Improving Performance of Wireless Networks in the Internet |
Satish Kumar Tripathi |
|
Wood |
Richard |
1982 |
Computer aided program synthesis |
Rieger |
|
Kumar |
Srijan |
2017 |
Characterization and Detection of Malicious Behavior on the Web |
V.S. Subrahmanian |
|
Doermann |
David |
1993 |
Document image understanding :)ntegrating recovery and interpretation |
Azriel Rosenfeld |
|
Hong |
Seongsoo |
1994 |
Compiler-assisted scheduling for real-time applications :! static alternative to low-level tuning |
Richard Gerber |
|
Kettler |
Brian |
1995 |
Case-based Planning with a High-Performance Parallel Memory |
Hendler |
|
Langmead |
Benjamin |
2012 |
Algorithms and High Performance Computing Approaches for
Sequencing-Based Comparative Genomics |
Steven Salzberg |
|
London |
Philip |
1978 |
Dependency Networks as a Representation for Modeling in General Problem Solvers |
Rieger |
|
Nagel |
Roger |
1976 |
Computer detection of freehand forgeries |
Azriel Rosenfeld |
|
Saha |
Debanjan |
1995 |
Supporting distributed multimedia applications on ATM networks |
Satish Kumar Tripathi |
|
Udrea |
Octavian |
2008 |
Scalable Ontology Systems |
|
|
Wu |
Angela |
1978 |
Cellular Graph Automata |
Azriel Rosenfeld |
|
Casalena |
Anthony |
2004 |
|
|
|
Abdel-Mottaleb |
Mohamed |
1993 |
MAP Techniques for Motion, Stereo and Segmentation |
Azriel Rosenfeld |
|
Bennet |
Thomas |
1990 |
Using control states for parallelism extraction |
John D. Gannon |
|
Broecheler |
Matthias |
2011 |
Social Network Data Management |
|
|
Chipman |
Leslie |
2007 |
Collaborative Technology for Young Children's Outdoor Education |
|
|
Ford |
Gary |
1977 |
An investigation of embeddings of cellular spaces for cellular automata |
Edmundson |
|
Kolovski |
Vladimir |
2008 |
Analyzing Web Access Control Policies using Description Logics |
Hendler |
|
Liang |
De-Ron |
1992 |
Synchronization issues in modeling parallel computation |
Satish Kumar Tripathi |
|
Montemayor |
Jaime |
2003 |
Physical Programming |
Hendler |
|
Setia |
Sanjeev |
1993 |
Scheduling on multiprogrammed, distributed memory parallel computers |
Satish Kumar Tripathi |
|
Wu |
Xue |
2008 |
Improving the Performance and Precision of
Bioinformatics Algorithms |
|
|
Baggett |
David |
1992 |
|
|
|
Gobioff |
Howard |
1993 |
|
|
|
Aboutabl |
Mohamed |
1999 |
Temporally-determinate disk access for real-time applications |
|
|
Andrade |
Henrique |
2003 |
Multiple Query Optimization Support for Data Analysis Applications |
Joel Saltz |
|
Benson |
Gary |
1992 |
Two-dimensional periodicity and matching algorithms |
Amihood Amir |
|
Cucka |
Peter |
1996 |
Pattern classification methods in navigation and object recognition |
Azriel Rosenfeld |
|
Doszkocs |
Tamas |
1979 |
AID :!n associative interactive dictionary for online bibliographic searching |
|
|
Forman |
Ira |
1979 |
On the decomposition of programs into primes |
Mills |
|
Ginat |
David |
1989 |
Adaptive ordering of contending processes in distributed systems |
Shankar Agrawala |
|
Horvitz |
David Omer |
2007 |
Expressiveness of Definitions and Efficiency of Constructions in Computational Cryptography |
Virgil Gligor |
|
Kambhampati |
Subbarao |
1989 |
Flexible reuse and modification in hierarchical planning |
James Hendler |
|
Liao |
Chunyuan |
2008 |
"PapierCraft": A New Paper-Based
Interface to Support Interaction with Digital Documents |
|
|
Moon |
Bongki |
1996 |
Data placement for high performance spatio-temporal databases |
Joel Saltz |
|
Parikh |
Josephine |
1977 |
Automatic cloud classification and segmentation |
Azriel Rosenfeld |
|
Shaffer |
Jeffrey |
1978 |
Automatic subroutine generation in an optimizing compiler |
Matthew Hecht |
|
Thompson |
Scott |
1994 |
Growth models for shapes |
Azriel Rosenfeld |