Ben Wegbreit

Publication Activity (10 Years)

Years Active: 1969-2011
Publications (10 Years): 0

Publications

Gregory D. Hager, Ben Wegbreit
Scene parsing using a prior world model. Int. J. Robotics Res. 30 (12) (2011)
Stephen P. Boyd, Ben Wegbreit
Fast Computation of Optimal Contact Forces. IEEE Trans. Robotics 23 (6) (2007)
Sebastian Thrun, Ben Wegbreit
Shape from Symmetry. ICCV (2005)
Dirk Hähnel, Sebastian Thrun, Ben Wegbreit, Wolfram Burgard
Towards Lazy Data Association in SLAM. ISRR (2003)
Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit
FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges. IJCAI (2003)
Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem. AAAI/IAAI (2002)
Ben Wegbreit
Complexity of Synthesizing Inductive Assertions. J. ACM 24 (3) (1977)
Ben Wegbreit
Constructive Methods in Program Verification. IEEE Trans. Software Eng. 3 (3) (1977)
James H. Morris Jr., Ben Wegbreit
Subgoal Induction. Commun. ACM 20 (4) (1977)
Ben Wegbreit
Faster Retrieval from Context Trees. Commun. ACM 19 (9) (1976)
Jim Mitchell, Ben Wegbreit
A Next Step in Data Structuring for Programming Languages. Conference on Data: Abstraction, Definition and Structure (1976)
Ben Wegbreit
Goal-Directed Program Transformation. IEEE Trans. Software Eng. 2 (2) (1976)
Ben Wegbreit, Jay M. Spitzen
Proving Properties of Complex Data Structures. J. ACM 23 (2) (1976)
Ben Wegbreit
Goal-Directed Program Transformation. POPL (1976)
Ben Wegbreit
Verifying Program Performance. J. ACM 23 (4) (1976)
Daniel G. Bobrow, Ben Wegbreit
A Model for Control Structures for Artificial Intelligence Programming Languages. IEEE Trans. Computers 25 (4) (1976)
Ben Wegbreit
Retrieval from Context Trees. Inf. Process. Lett. 3 (4) (1975)
Ben Wegbreit
Property Extraction in Well-Founded Property Sets. IEEE Trans. Software Eng. 1 (3) (1975)
Steven M. German, Ben Wegbreit
A Synthesizer of Inductive Assertions. IEEE Trans. Software Eng. 1 (1) (1975)
Steven M. German, Ben Wegbreit
A synthesizer of inductive assertions. AFIPS National Computer Conference (1975)
Ben Wegbreit
Mechanical Program Analysis. Commun. ACM 18 (9) (1975)
Ben Wegbreit
The Synthesis of Loop Predicates. Commun. ACM 17 (2) (1974)
Ben Wegbreit
The Treatment of Data Types in EL1. Commun. ACM 17 (5) (1974)
Jay M. Spitzen, Ben Wegbreit
The Verification and Synthesis of Data Structures. Acta Informatica 4 (1974)
Ben Wegbreit
Procedure Closure in EL1. Comput. J. 17 (1) (1974)
Ben Wegbreit
Heuristic Methods for Mechanically Deriving Inductive Assertions. IJCAI (1973)
Daniel G. Bobrow, Ben Wegbreit
A Model and Stack Implementation of Multiple Environments. Commun. ACM 16 (10) (1973)
Ben Wegbreit
A generalised compactifying garbage collector. Comput. J. 15 (3) (1972)
Ben Wegbreit
A Space-Efficient List Structure Tracing Algorithm. IEEE Trans. Computers 21 (9) (1972)
Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit
An implementation of backtracking for programming languages. ACM SIGPLAN Notices 7 (11) (1972)
Thomas E. Cheatham Jr., Ben Wegbreit
A laboratory for the study of automating programming. AFIPS Spring Joint Computing Conference (1972)
Ben Wegbreit
Multiple evaluators in an extensible programming system. AFIPS Fall Joint Computing Conference (2) (1972)
Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit
An implementation of backtracking for programming languages. ACM Annual Conference (2) (1972)
Thomas E. Cheatham Jr., Ben Wegbreit
On a laboratory for the study of automating programming. Proving Assertions About Programs (1972)
Ben Wegbreit
An overview of the ECL programming system. International Symposium on Extensible Languages (1971)
Ronald V. Book, Ben Wegbreit
A Note on AFLs and Bounding Erasing Inf. Control. 19 (1) (1971)
Ben Wegbreit
The ECL programming system. AFIPS Fall Joint Computing Conference (1971)
Ronald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit
Tape-Bounded Turing Acceptors and Principal AFLs. J. Comput. Syst. Sci. 4 (6) (1970)
Ronald V. Book, Sheila A. Greibach, Ben Wegbreit
Time- and Tape-Bounded Turing Acceptors and AFLs. J. Comput. Syst. Sci. 4 (6) (1970)
Ronald V. Book, Sheila A. Greibach, Ben Wegbreit
Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract STOC (1970)
Ben Wegbreit
A Generator of Contex-Sensitive Languages. J. Comput. Syst. Sci. 3 (4) (1969)