William E. Ball

Publication Activity (10 Years)

Years Active: 1966-1993
Publications (10 Years): 0

Publications

Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
Formal Derivation of Rule-Based Programs. IEEE Trans. Software Eng. 19 (3) (1993)
Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
Seeking Concurrency in Rule-Based Programming. ICSE (1992)
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball
Formal Verification of Pure Production System Programs. AAAI (1991)
Andrew Laine, William E. Ball, Arun Kumar
A multiscale approach for recognizing complex annotations in engineering documents. CVPR (1991)
Rosanne M. Fulcomer, William E. Ball
Toward a fully parallel reason maintenance system. IEA/AIE (2) (1989)
Rosanne M. Fulcomer, William E. Ball
Correct Parallel Status Assignment for the Reason Maintenance System. IJCAI (1989)
Kenneth C. Cox, Gruia-Catalin Roman, William E. Ball, Andrew F. Laine
Rapid search for spherical objects in aerial photographs. CVPR (1988)
Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, Will D. Gillett
A Total System Design Framework. Computer 17 (5) (1984)
William E. Ball
A macromodular meta machine. AFIPS Spring Joint Computing Conference (1967)
William E. Ball, Robert I. Berns
AUTOMAST: automatic mathematical analysis and symbolic translation. Commun. ACM 9 (8) (1966)