|
White |
Elizabeth |
1995 |
Control integration in heterogeneous distributed software applications |
James Purtilo |
|
Liu |
Hong |
1996 |
Automatic validation of multi-process communication protocols |
Raymond Miller |
|
Siy |
Harvey |
1996 |
Identifying the mechanisms driving code inspection costs and benefits |
Adam Porter |
|
Gavrila |
Dariu |
1996 |
Vision-based 3-D tracking of humans in action |
Larry Davis |
|
Adali |
Sibel |
1996 |
Query Processing in Hetergenous Mediated Systems |
|
|
Ruiz |
Carolina |
1996 |
Semantics of Knowledge Based Systems with Multiple Forms of Negation |
Jack Minker |
|
Blakemore |
William |
1996 |
Efficient analysis of Generalized Stochastic Petri Nets |
Satish Kumar Tripathi |
|
Lin |
Chih-Lung |
1996 |
Context based approaches for aerial image exploitation |
Ramalingam Chellappa |
|
Agrawal |
Gagan |
1996 |
Interprocedural code placement techniques and their applications |
Joel Saltz |
|
Cucka |
Peter |
1996 |
Pattern classification methods in navigation and object recognition |
Azriel Rosenfeld |
|
Fischer |
Jeffrey |
1996 |
Compositional verification by model checking for counter-examples |
Richard Gerber |
|
Lin |
King-Ip |
1996 |
Indexing Non-traditional and Multimedia Data Types |
Christos Faloutsos |
|
Moon |
Bongki |
1996 |
Data placement for high performance spatio-temporal databases |
Joel Saltz |
|
Chou |
Hui-Hsien |
1996 |
Self-replicating structures in a cellular automata space |
James Reggia |
|
Kim |
Taehyeong |
1996 |
Toward optimizing distributed programs directed by configurations |
James Purtilo |
|
Lott |
Christopher |
1996 |
Measurement-based feedback in a process-centered software engineering environment |
Victor Basili |
|
Cheong |
Loong-Fah |
1996 |
Distortion of space due to perceived motion |
John Aloimonos |
|
Chechik |
Maria |
1996 |
Automatic analysis of consistency between requirements and designs |
John D. Gannon |
|
Seaman |
Carolyn |
1996 |
Organizational issues in software development :!n empirical study of communication |
Victor Basili |
|
Morimoto |
Carlos |
1997 |
Electronic digital image stabilization :$esign and evaluation, with applications |
Ramalingam Chellappa |
|
Sahinalp |
S. Cenk |
1997 |
Locally consistent parsing for string processing |
Uzi Vishkin |
|
Smith |
Stephen |
1997 |
Task-Network Planning using Total-Order Forward Search, and Applications to Bridge and to Microwave-Module Manufacture |
Dana Nau |
|
Choi |
Seonho |
1997 |
Dynamic time-based scheduling for hard real-time systems |
Ashok Agrawala |
|
Gryz |
Jaroslaw |
1997 |
Syntactic and Semantic Optimization of Database Queries |
Jack Minker |
|
Thomas |
William |
1997 |
Evolutionary approaches for software engineering empirical modeling |
Victor Basili |
|
Candan |
Kasim |
1997 |
A framework for distributed multimedia collaborations |
|
|
Mendonca |
Manoel |
1997 |
An approach to improving existing measurement frameworks in software development organizations |
Victor Basili |
|
Song |
Junehwa |
1997 |
Structured multimedia documents :$esign and presentation in a distributed environment |
Raymond Miller |
|
Baratoff |
Gregory |
1997 |
Distortion of Stereoscopic Visual Space |
John Aloimonos |
|
Chen |
Yinong |
1997 |
A motor control model based on self-organizing feature maps |
James Reggia |
|
Shull |
Forrest |
1998 |
Developing Techniques for Using Software Documents: A Series of Empirical Studies |
Victor Basili |
|
Bultan |
Tevfik |
1998 |
Automated Static Analysis with Composite Symbolic Models |
Richard Gerber |
|
Gharai |
Ladan |
1998 |
Multi-Platform Performance Models for Digital Video Systems |
Richard Gerber |
|
Rosser |
Evan |
1998 |
Fine-Grained Analysis for Generating Better Communication and Synchronization |
William Pugh |
|
Korn |
Philip |
1998 |
Indexing and Mining Medical Image and Multimedia Databases |
Christos Faloutsos |
|
Kandogan |
Eser |
1998 |
Extending Spatial Organization, Manipulation and Access of Information in Windowing Systems |
Ben Shneiderman |
|
Hwang |
Eenjun |
1998 |
A Framework For Distributed Video-on-Demand Services |
|
|
Stathatos |
Konstantinos |
1998 |
Adaptive Techniques for Hybrid Delivery |
Nicholas Roussopoulos |
|
Pu |
Fan-tao |
1998 |
Data Structures for Global Illumination Computation and Visibility Queries in 3-Space |
David Mount |
|
Lee |
Sung |
1998 |
A Study of Cyclone Technology |
Ashok Agrawala |
|
Hwang |
Yuan-Shin |
1998 |
Compiling Data-Parallel Programs with Dynamic Pointer-Linked Data Structures on Distributed Memory Systems |
Joel Saltz |
|
Park |
Jun-cheol |
1998 |
Automatic Synthesis of Time Dependent Communication Protocols |
Raymond Miller |
|
Welch |
Donald |
1998 |
Building self-reconfiguring distributed virtual environments |
James Purtilo |
|
Kohout |
Robert |
1998 |
Guaranteeing safety in the presence of moving obstacles |
Hendler |
|
Glenn |
James |
1998 |
Implementing WSIS via Finite Automata |
William Gasarch |
|
Matos |
Gilberto |
1998 |
Analysis and applications of receptive safety properties in concurrent systems |
James Purtilo |
|
Bhatia |
Randeep |
1998 |
Approximation Algorithms for Scheduling Problems |
Samir Khuller |
|
Davis |
Cynthia |
1998 |
Supporting Intermittent Connectivity in Mobile Networks |
Satish Kumar Tripathi |
|
Aboutabl |
Mohamed |
1999 |
Temporally-determinate disk access for real-time applications |
|
|
Golub |
Evan |
1999 |
Empirical Studies in Parallel Sorting |
William Gasarch |