David A. McAllester

David A. McAllester (born May 30, 1956) is an American computer scientist who is Professor and former chief academic officer at the Toyota Technological Institute at Chicago. Quotes This manuscript presents a type-theoretic foundation for mathematics in which each type is associated with an equality relation in correspondence with the standard notions of isomorphism in mathematics. The main result is an abstraction theorem stating that isomorphic objects are inter-substitutable in well-typed contexts. Implementation and Abstraction in Mathematics We describe a state-of-the-art system for finding objects in cluttered images. Our system is based on deformable models that represent objects using local part templates and geometric constraints on the locations of parts. We reduce object detection to classification with latent variables. The latent variables introduce invariances Visual object detection with deformable part models External links Category:Computer scientists from the United States Category:Academics from the United States Category:1956 births Category:Living people