 | 2001 |
|---|
| 8 |       | James M. Henson,
Ruth E. Davis:
The Modeling of Forested Areas for Real and Synthetic Aperture Imaging Radar Simulation when Tree Locations are Known.
I. J. Comput. Appl. 8(3): (2001) |
| 1999 |
|---|
| 7 | | Paul A. Stuopis,
James M. Henson,
Ruth E. Davis,
Kenneth Hall:
Interactive way-point forward secctor scan imaging radar simulation.
Computers and Their Applications 1999: 95-98 |
| 1997 |
|---|
| 6 |  | Timothy K. Shih,
Ruth E. Davis:
IMMPS: A Multimedia Presentation Design System.
IEEE MultiMedia 4(2): 67-78 (1997) |
| 1995 |
|---|
| 5 | | Timothy K. Shih,
Nam Ling,
Ruth E. Davis,
Fuyau Lin:
On the Construction of a Prolog-Based Verifier for Systolic Array Designs.
Computational Intelligence 11: 172-221 (1995) |
| 1994 |
|---|
| 4 | | Timothy K. Shih,
Ruth E. Davis:
Spec: A Specification Processing Environment with Controls.
J. Inf. Sci. Eng. 11(4): 495-526 (1994) |
| 1992 |
|---|
| 3 | | Timothy K. Shih,
Ruth E. Davis,
Fuyau Lin:
Disciplined Exceptions in Logic Programming.
ALPUK 1992: 124-141 |
| 1989 |
|---|
| 2 | | Ruth E. Davis:
Truth, deduction, and computation - logic and semantics for computer science.
Computer Science Press 1989: I-XV, 1-265 |
| 1984 |
|---|
| 1 | | Ruth E. Davis:
Logic Programming is NOT Circuit Design.
COMPCON 1984: 30-34 |
Data released under the ODC-BY 1.0 license — See also our legal information page