|
Kambhampati |
Subbarao |
1989 |
Flexible reuse and modification in hierarchical planning |
James Hendler |
|
Margalit |
Avraham |
1989 |
Efficient image matching |
Azriel Rosenfeld |
|
Rajasekar |
Arcot |
1989 |
Semantics of Disjunctive Logic Programs |
Jack Minker |
|
Vanecek |
George |
1989 |
Set Operations on Polyhedra using Decomposition Methods |
Dana Nau |
|
Waclawsky |
John |
1989 |
Window dynamics |
Ashok Agrawala |
|
Waltzman |
Rand |
1989 |
Geometric problem solving by machine visualization |
Azriel Rosenfeld |
|
Yang |
Qiang |
1989 |
Improving the Efficiency of Planning |
Dana Nau |
|
Yuan |
Shyan-Ming |
1989 |
An Efficient Communication Structure for Decentralized Algorithms with Fault Tolerance |
Ashok Agrawala |
|
Chi |
Ping-Chung |
1988 |
In Search of Better Decision Making in Computer Game Playing |
Dana Nau |
|
Dasigi |
Venugopal |
1988 |
Word sense disambiguation in descriptive text interpretation :! dual-route parsimonious covering model |
James Reggia |
|
Dillencourt |
Michael |
1988 |
Graph-theoretical properties of algorithms involving Delaunay triangulations |
Hanan Samet |
|
Drapkin |
Jennifer |
1988 |
Step-logic :2easoning situated in time |
Don Perlis |
|
Fekete |
Gyorgy |
1988 |
Object recognition using property spheres |
Larry Davis |
|
Gal |
Annie |
1988 |
Cooperative Responses in Deductive Databases |
Jack Minker |
|
Hung |
Yubin |
1988 |
Processing geometric representations on SIMD computers |
Azriel Rosenfeld |
|
Levi |
Shem-Tov |
1988 |
A Methodology for Designing Distributed, Fault-Tolerant, and Reactive Real-Time Operating Systems |
Ashok Agrawala |
|
Nelson |
Randal |
1988 |
Visual navigation |
John Aloimonos |
|
Pearson |
Glenn |
1988 |
Foot-operated cursor-position controls for computer workstations :$esign, implementation, and evaluation |
Ben Shneiderman |
|
Antoy |
Sergio |
1987 |
Automatically provable specifications |
John D. Gannon |
|
Delatorre |
Pilar |
1987 |
Analysis of tries |
Gary Knott |
|
Kang |
Hyunchul |
1987 |
On query processing in distributed database systems |
Nicholas Roussopoulos |
|
Kohli |
Madhur |
1987 |
Controlling the Execution of Logic Programs |
Jack Minker |
|
Motteler |
Howard |
1987 |
A mathematical model of static dataflow |
Carl Herbert Smith |
|
Sherlekar |
Deepak |
1987 |
Graph Dissection Techniques for VLSI and Algorithms |
Jack Minker |
|
Singh |
Jagdeep |
1987 |
|
|
|
Abrams |
Marc |
1986 |
Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model |
|
|
Gopalakrishnan |
Ponani |
1986 |
Parellel Approximate Algorithms for Combinatorialy Hard Problems |
Laveen Kanal |
|
Kim |
Chee |
1986 |
Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications |
Ashok Agrawala |
|
Lakshman |
T.V. |
1986 |
Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols |
Ashok Agrawala |
|
Lakshman |
Tirunella |
1986 |
Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols |
Ashok Agrawala |
|
Murphy |
Jack |
1986 |
Matrix computations by Monte Carlo optimization |
Edmundson |
|
Pawagi |
Shaunak |
1986 |
Incremental graph algorithms for parallel random access machines |
Ramakrishnan |
|
Singhal |
Mukesh |
1986 |
Concurrency Control Algorithms and their Performance in Replicated Database Systems |
Ashok Agrawala |
|
Son |
Sang |
1986 |
On Reliability Mechanisms in Distributed Database Systems |
Ashok Agrawala |
|
Subbarao |
Muralidha |
1986 |
Interpretation of visual motion:! computational study |
Larry Davis |
|
Velauthapillai |
Mahendran |
1986 |
On the inductive inference of programs with anomalies |
Carl Herbert Smith |
|
Bail |
William |
1985 |
Algorithm Structure Analysis Using Hierarchical Abstract Computers |
Marvin Zelkowitz |
|
Bane |
John |
1985 |
Causal monitor generation for complex systems |
Rieger |
|
Chakravarthy |
Upendrana |
1985 |
Semantic Query Optimization in Deductive Databases |
Jack Minker |
|
Dunn |
Stanley |
1985 |
Recovering the orientation of textured surfaces |
Larry Davis |
|
Lin |
Kwei-Jay |
1985 |
Atomic remote procedure cal |
John D. Gannon |
|
Peng |
Yun |
1985 |
A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference |
James Reggia |
|
Selby |
Richard |
1985 |
Evaluations of software technologies :4esting, CLEANROOM, and metrics |
Victor Basili |
|
Silberberg |
Teresa |
1985 |
Three dimensional object recognition using linear features and oriented model points |
Larry Davis |
|
Coolahan |
James |
1984 |
The specification of timing requirements for real-time systems using timed Petri nets |
Nicholas Roussopoulos |
|
Hartley |
Ralph |
1984 |
Multi-scale models in image analysis |
Azriel Rosenfeld |
|
Hwang |
Shang-Sho |
1984 |
Evidence accumulation for spatial reasoning in aerial image understanding |
Azriel Rosenfeld |
|
Kasif |
Simon |
1984 |
Analysis of Parallelism in Logic Programs |
Jack Minker |
|
Upton |
Richard |
1984 |
A treatment analysis of computer communication networks |
Satish Kumar Tripathi |
|
Wohn |
Kwangyoen |
1984 |
A contour-based approach to image flow |
Larry Davis |