William E. Ball

According to our database, William E. Ball authored at least 10 papers between 1966 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

Formal Derivation of Rule-Based Programs.

Gruia-Catalin Roman, Rose F. Gamble, William E. Ball

IEEE Trans. Software Eng., 1993

1992

Seeking Concurrency in Rule-Based Programming.

Gruia-Catalin Roman, Rose F. Gamble, William E. Ball

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

A multiscale approach for recognizing complex annotations in engineering documents.

Andrew Laine, William E. Ball, Arun Kumar

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1991

Formal Verification of Pure Production System Programs.

Rose F. Gamble, Gruia-Catalin Roman, William E. Ball

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1989

Correct Parallel Status Assignment for the Reason Maintenance System.

Rosanne M. Fulcomer, William E. Ball

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Toward a fully parallel reason maintenance system.

Rosanne M. Fulcomer, William E. Ball

Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA, 1989

1988

Rapid search for spherical objects in aerial photographs.

Kenneth C. Cox, Gruia-Catalin Roman, William E. Ball, Andrew F. Laine

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

1984

A Total System Design Framework.

Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, Will D. Gillett

Computer, 1984

1967

A macromodular meta machine.

William E. Ball

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, 1967

1966

AUTOMAST: automatic mathematical analysis and symbolic translation.

William E. Ball, Robert I. Berns

Commun. ACM, 1966