Ben Wegbreit

According to our database, Ben Wegbreit authored at least 38 papers between 1969 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Scene parsing using a prior world model.

Gregory D. Hager, Ben Wegbreit

Int. J. Robotics Res., 2011

2007

Fast Computation of Optimal Contact Forces.

Stephen P. Boyd, Ben Wegbreit

IEEE Trans. Robotics, 2007

2005

Shape from Symmetry.

Sebastian Thrun, Ben Wegbreit

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

2003

Towards Lazy Data Association in SLAM.

Dirk Hähnel, Sebastian Thrun, Ben Wegbreit, Wolfram Burgard

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.

Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit

Proceedings of the IJCAI-03, 2003

2002

FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem.

Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

1977

Constructive Methods in Program Verification.

Ben Wegbreit

IEEE Trans. Software Eng., 1977

Complexity of Synthesizing Inductive Assertions.

Ben Wegbreit

J. ACM, 1977

Subgoal Induction.

James H. Morris Jr., Ben Wegbreit

Commun. ACM, 1977

1976

Goal-Directed Program Transformation.

Ben Wegbreit

IEEE Trans. Software Eng., 1976

A Model for Control Structures for Artificial Intelligence Programming Languages.

Daniel G. Bobrow, Ben Wegbreit

IEEE Trans. Computers, 1976

Proving Properties of Complex Data Structures.

Ben Wegbreit, Jay M. Spitzen

J. ACM, 1976

Verifying Program Performance.

Ben Wegbreit

J. ACM, 1976

Faster Retrieval from Context Trees.

Ben Wegbreit

Commun. ACM, 1976

A Next Step in Data Structuring for Programming Languages.

Jim Mitchell, Ben Wegbreit

Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

1975

Property Extraction in Well-Founded Property Sets.

Ben Wegbreit

IEEE Trans. Software Eng., 1975

A Synthesizer of Inductive Assertions.

Steven M. German, Ben Wegbreit

IEEE Trans. Software Eng., 1975

Retrieval from Context Trees.

Ben Wegbreit

Inf. Process. Lett., 1975

Mechanical Program Analysis.

Ben Wegbreit

Commun. ACM, 1975

1974

Procedure Closure in EL1.

Ben Wegbreit

Comput. J., 1974

The Treatment of Data Types in EL1.

Ben Wegbreit

Commun. ACM, 1974

The Synthesis of Loop Predicates.

Ben Wegbreit

Commun. ACM, 1974

The Verification and Synthesis of Data Structures.

Jay M. Spitzen, Ben Wegbreit

Acta Informatica, 1974

1973

A Model and Stack Implementation of Multiple Environments.

Daniel G. Bobrow, Ben Wegbreit

Commun. ACM, 1973

Heuristic Methods for Mechanically Deriving Inductive Assertions.

Ben Wegbreit

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972

A Space-Efficient List Structure Tracing Algorithm.

Ben Wegbreit

IEEE Trans. Computers, 1972

An implementation of backtracking for programming languages.

Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit

ACM SIGPLAN Notices, 1972

A generalised compactifying garbage collector.

Ben Wegbreit

Comput. J., 1972

Multiple evaluators in an extensible programming system.

Ben Wegbreit

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.

Thomas E. Cheatham Jr., Ben Wegbreit

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1971

A Note on AFLs and Bounding Erasing

Ronald V. Book, Ben Wegbreit

Inf. Control., August, 1971

An overview of the ECL programming system.

Ben Wegbreit

Proceedings of the International Symposium on Extensible Languages, 1971

The ECL programming system.

Ben Wegbreit

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '71 Fall Joint Computer Conference, 1971

1970

Time- and Tape-Bounded Turing Acceptors and AFLs.

Ronald V. Book, Sheila A. Greibach, Ben Wegbreit

J. Comput. Syst. Sci., 1970

Tape-Bounded Turing Acceptors and Principal AFLs.

Ronald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit

J. Comput. Syst. Sci., 1970

Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract

Ronald V. Book, Sheila A. Greibach, Ben Wegbreit

Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

Studies in Extensible Programming Languages

Ben Wegbreit

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

1969

A Generator of Contex-Sensitive Languages.

Ben Wegbreit

J. Comput. Syst. Sci., 1969