Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Model for Control Structures for Artificial Intelligence Programming Languages., and . IEEE Trans. Computers, 25 (4): 347-353 (1976)A laboratory for the study of automating programming., and . AFIPS Spring Joint Computing Conference, volume 40 of AFIPS Conference Proceedings, page 11-21. AFIPS, (1972)A synthesizer of inductive assertions., and . AFIPS National Computer Conference, volume 44 of AFIPS Conference Proceedings, page 369-376. AFIPS Press, (1975)On a laboratory for the study of automating programming., and . Proving Assertions About Programs, page 208-211. ACM, (1972)FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem., , , and . AAAI/IAAI, page 593-598. AAAI Press / The MIT Press, (2002)A generalised compactifying garbage collector.. Comput. J., 15 (3): 204-208 (1972)Studies in Extensible Programming Languages. Outstanding Dissertations in the Computer Sciences Garland Publishing, New York, (1970)Shape from Symmetry., and . ICCV, page 1824-1831. IEEE Computer Society, (2005)The Synthesis of Loop Predicates.. Commun. ACM, 17 (2): 102-112 (1974)FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges., , , and . IJCAI, page 1151-1156. Morgan Kaufmann, (2003)