Ben Wegbreit

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