Woodrow+W.+Bledsoe

was an American mathematician and computer scientist, and one of the pioneers of artificial intelligence, pattern recognition, and [|automated theorem proving], Ph.D. on Separative Measures for [|Topological Spaces] from University of California, Berkeley in 1953. While working for [|Sandia Corporation], in 1956, he witnessed a [|hydrogen bomb] test on [|Enewetak Atoll] in the northwest [|Marshall Islands]. In the early 60s, he researched on pattern recognition at Panoramic Research, and in 1965, he accepted an offer as professor of Mathematics at the [|University of Texas at Austin], and was also affiliated with Massachusetts Institute of Technology.
 * Home * People * Woodrow W. Bledsoe**
 * [[image:bledsoe.gif link="http://groups.csail.mit.edu/medg/people/doyle/gallery/bledsoe/"]] ||~ || **Woodrow Wilson (Woody) Bledsoe**, (November 12, 1921 – October 4, 1995)

Bledsoe was interested in Computer Chess and published tournament reports on the early ACM North American Computer Chess Championships. From 1984 to 1985, he served as President of the AAAI. Woodrow W. Bledsoe died on October 4, 1995 of [|ALS]. || toc =Selected Publications=
 * Woodrow W. Bledsoe ||~ ||^ ||
 * Woodrow W. Bledsoe, [|Iben Browning] (**1959**). //[|Pattern Recognition and Reading by Machine]//. In Proceedings of the Eastern Joint Computer Conference
 * Woodrow W. Bledsoe (**1962**). //A Basic Limitation on the Speed of Digital Computers//. IRE Transactions on Electronic Computers, Vol. 10, No. 3
 * Woodrow W. Bledsoe (**1962**). //An Analysis of Genetic Populations//. Technical Report, Panoramic Research Inc., Palo Alto, California.
 * Woodrow W. Bledsoe (**1962**). //The Evolutionary Method in Hill Climbing: Convergence Rates//. Technical Report, Panoramic Research, Inc., Palo Alto, California.
 * Woodrow W. Bledsoe (**1964**). //The Model Method in Facial Recognition//. Technical Report PRI 15, Panoramic Research, Inc., Palo Alto, California.
 * Woodrow W. Bledsoe (**1970**). //[|First U.S. computer chess tournament]//. ACM SIGART Bulletin, No. 24 » ACM 1970
 * Woodrow W. Bledsoe, [|Robert S. Boyer], [|William H. Henneman] (**1971**). //Computer Proofs of Limit Theorems//. [|IJCAI 1971]
 * Woodrow W. Bledsoe (**1971**). //[|Results of Second Annual Computer Chess Championship]//. ACM SIGART Bulletin, No. 30 » ACM 1971
 * Woodrow W. Bledsoe (**1972**). //[|Computer Chess Championship in Boston]//. ACM SIGART Bulletin, No. 34 » ACM 1972
 * [|Michael Ballantyne], Woodrow W. Bledsoe (**1977**). //Automatic Proofs and Theorems in Analysis Using Non-standard Techniques//. Journal of the ACM, Vol. 24 No. 3
 * [|Michael Ballantyne], Woodrow W. Bledsoe (**1982**). //On Generating and Using Examples in Proof Discovery//. [|Machine Intelligence 10]
 * Woody Bledsoe (**1985**). //I Had a Dream: AAAI Presidential Address, 19 August 1985//. [|AI Magazine], [|pdf]
 * Woodrow W. Bledsoe, [|Richard Hodges] (**1988**). //A Survey of Automated Deduction//. [|draft as pdf]
 * [|Robert S. Boyer] (**1991**). //[|Automated Reasoning: Essays in Honor of Woody Bledsoe]//. Kluwer Academic Publishers, ISBN 0-7923-1409-3
 * [|Michael Ballantyne], [|Robert S. Boyer], [|Larry Hines] (**1996**). //[|Woody Bledsoe: His Life and Legacy]//. [|AI Magazine], Vol. 17 No. 1

=External Links=
 * [|Woody Bledsoe from Wikipedia]
 * [|The Mathematics Genealogy Project - Woodrow Bledsoe]
 * [|Memorial Resolution - Woodrow W. Bledsoe]
 * [|Oral-History: Woodrow Wilson Bledsoe - GHN: IEEE Global History Network]
 * [|Origins of Automated Facial Recognition (1964 – 1966) : From Cave Paintings to the Internet]

=References= =What links here?= include page="Woodrow W. Bledsoe" component="backlinks" limit="40"
 * Up one level**