John K. Dixon

Publication Activity (10 Years)

Years Active: 1969-1984
Publications (10 Years): 0

Publications

James R. Slagle, John K. Dixon
Freedom descriptions: A way to find figures that approximate given points. Pattern Recognit. 17 (6) (1984)
John K. Dixon, John McLean, David Lorge Parnas
Rapid prototyping by means of abstract module specifications written as trace axioms. Rapid Prototyping (1982)
John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle
MARK I Robot. IJCAI (1981)
James R. Slagle, John K. Dixon
Finding a good figure that approximately passes through given points. Pattern Recognit. 12 (5) (1980)
John K. Dixon
Pattern Recognition with Partly Missing Data. IEEE Trans. Syst. Man Cybern. 9 (10) (1979)
Chin-Liang Chang, Richard C. T. Lee, John K. Dixon
The Specialization of Programs by Theorem Proving. SIAM J. Comput. 2 (1) (1973)
John K. Dixon
Z-Resolution: Theorem-Proving with Compiled Axioms. J. ACM 20 (1) (1973)
John K. Dixon
Short papers. SIGART Newsl. 34 (1972)
James R. Slagle, John K. Dixon
Experiments with the M & N tree-searching program. Commun. ACM 13 (3) (1970)
James R. Slagle, John K. Dixon
Experiments With Some Programs That Search Game Trees. J. ACM 16 (2) (1969)