Ben Wegbreit

According to our database1, Ben Wegbreit authored at least 36 papers between 1969 and 2011.

Collaborative distances:


ACM Fellow

ACM Fellow 1994, "".



In proceedings 
PhD thesis 




Scene parsing using a prior world model.
I. J. Robotics Res., 2011

Fast Computation of Optimal Contact Forces.
IEEE Trans. Robotics, 2007

Shape from Symmetry.
Proceedings of the 10th IEEE International Conference on Computer Vision (ICCV 2005), 2005

Towards Lazy Data Association in SLAM.
Proceedings of the Robotics Research, The Eleventh International Symposium, 2003

FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges.
Proceedings of the IJCAI-03, 2003

FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

Constructive Methods in Program Verification.
IEEE Trans. Software Eng., 1977

Complexity of Synthesizing Inductive Assertions.
J. ACM, 1977

Subgoal Induction.
Commun. ACM, 1977

Goal-Directed Program Transformation.
IEEE Trans. Software Eng., 1976

A Model for Control Structures for Artificial Intelligence Programming Languages.
IEEE Trans. Computers, 1976

Proving Properties of Complex Data Structures.
J. ACM, 1976

Verifying Program Performance.
J. ACM, 1976

Faster Retrieval from Context Trees.
Commun. ACM, 1976

A Next Step in Data Structuring for Programming Languages.
Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, 1976

Property Extraction in Well-Founded Property Sets.
IEEE Trans. Software Eng., 1975

A Synthesizer of Inductive Assertions.
IEEE Trans. Software Eng., 1975

Retrieval from Context Trees.
Inf. Process. Lett., 1975

Mechanical Program Analysis.
Commun. ACM, 1975

Procedure Closure in EL1.
Comput. J., 1974

The Treatment of Data Types in EL1.
Commun. ACM, 1974

The Synthesis of Loop Predicates.
Commun. ACM, 1974

The Verification and Synthesis of Data Structures.
Acta Informatica, 1974

A Model and Stack Implementation of Multiple Environments.
Commun. ACM, 1973

Heuristic Methods for Mechanically Deriving Inductive Assertions.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

A Space-Efficient List Structure Tracing Algorithm.
IEEE Trans. Computers, 1972

A generalised compactifying garbage collector.
Comput. J., 1972

Multiple evaluators in an extensible programming system.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

A laboratory for the study of automating programming.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

A Note on AFLs and Bounding Erasing
Inf. Control., August, 1971

The ECL programming system.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '71 Fall Joint Computer Conference, 1971

Time- and Tape-Bounded Turing Acceptors and AFLs.
J. Comput. Syst. Sci., 1970

Tape-Bounded Turing Acceptors and Principal AFLs.
J. Comput. Syst. Sci., 1970

Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract
Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

Studies in Extensible Programming Languages
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4423-1, 1970

A Generator of Contex-Sensitive Languages.
J. Comput. Syst. Sci., 1969