Ben Wegbreit - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2011

Scene parsing using a prior world modelGregory D. Hager, Ben Wegbreit. ijrr, 30(12):1477-1507, 2011. [doi]

2007

Fast Computation of Optimal Contact ForcesStephen P. Boyd, Ben Wegbreit. trob, 23(6):1117-1132, 2007. [doi]

2005

Shape from SymmetrySebastian Thrun, Ben Wegbreit. iccv 2005: 1824-1831 [doi]

2003

Towards Lazy Data Association in SLAMDirk Hähnel, Sebastian Thrun, Ben Wegbreit, Wolfram Burgard. isrr 2005: 421-431 [doi]

FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably ConvergesMichael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit. IJCAI 2003: 1151-1156

2002

FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping ProblemMichael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit. AAAI 2002: 593-598

1977

Subgoal InductionJames H. Morris Jr., Ben Wegbreit. CACM, 20(4):209-222, 1977.

Complexity of Synthesizing Inductive AssertionsBen Wegbreit. JACM, 24(3):504-512, 1977. [doi]

Constructive Methods in Program VerificationBen Wegbreit. TSE, 3(3):193-209, 1977.

1976

A Model for Control Structures for Artificial Intelligence Programming LanguagesDaniel G. Bobrow, Ben Wegbreit. TC, 25(4):347-353, 1976.

A Next Step in Data Structuring for Programming LanguagesJim Mitchell, Ben Wegbreit. sigplan 1976: 69-70 [doi]

Goal-Directed Program TransformationBen Wegbreit. POPL 1976: 153-170

Proving Properties of Complex Data StructuresBen Wegbreit, Jay M. Spitzen. JACM, 23(2):389-396, 1976. [doi]

Faster Retrieval from Context TreesBen Wegbreit. CACM, 19(9):526-529, 1976.

Verifying Program PerformanceBen Wegbreit. JACM, 23(4):691-699, 1976. [doi]

Goal-Directed Program TransformationBen Wegbreit. TSE, 2(2):69-80, 1976.

1975

A synthesizer of inductive assertionsSteven M. German, Ben Wegbreit. afips 1975: 369-376 [doi]

A Synthesizer of Inductive AssertionsSteven M. German, Ben Wegbreit. TSE, 1(1):68-75, 1975.

Mechanical Program AnalysisBen Wegbreit. CACM, 18(9):528-539, 1975.

Retrieval from Context TreesBen Wegbreit. ipl, 3(4):119-120, 1975.

Property Extraction in Well-Founded Property SetsBen Wegbreit. TSE, 1(3):270-285, 1975.

1974

The Verification and Synthesis of Data StructuresJay M. Spitzen, Ben Wegbreit. ACTA, 4:127-144, 1974.

The Synthesis of Loop PredicatesBen Wegbreit. CACM, 17(2):102-112, 1974.

The Treatment of Data Types in EL1Ben Wegbreit. CACM, 17(5):251-264, 1974.

Procedure Closure in EL1Ben Wegbreit. cj, 17(1):38-43, 1974.

1973

A Model and Stack Implementation of Multiple EnvironmentsDaniel G. Bobrow, Ben Wegbreit. CACM, 16(10):591-603, 1973.

Heuristic Methods for Mechanically Deriving Inductive AssertionsBen Wegbreit. IJCAI 1973: 524-536

1972

A laboratory for the study of automating programmingThomas E. Cheatham Jr., Ben Wegbreit. afips 1972: 11-21 [doi]

On a laboratory for the study of automating programmingThomas E. Cheatham Jr., Ben Wegbreit. praapr 1972: 208-211 [doi]

An implementation of backtracking for programming languagesCharles J. Prenner, Jay M. Spitzen, Ben Wegbreit. acm 1972: 763-771 [doi]

An implementation of backtracking for programming languagesCharles J. Prenner, Jay M. Spitzen, Ben Wegbreit. SIGPLAN, 7(11):36-44, 1972. [doi]

A generalised compactifying garbage collectorBen Wegbreit. cj, 15(3):204-208, 1972. [doi]

Multiple evaluators in an extensible programming systemBen Wegbreit. In AFIPS Fall Joint Computing Conference (2). 1972: 905-915 [doi]

A Space-Efficient List Structure Tracing AlgorithmBen Wegbreit. TC, 21(9):1009-1010, 1972. [doi]

1971

The ECL programming systemBen Wegbreit. afips 1971: 253-262 [doi]

An overview of the ECL programming systemBen Wegbreit. exla 1971: 26-28 [doi]

1970

Time- and Tape-Bounded Turing Acceptors and AFLsRonald V. Book, Sheila A. Greibach, Ben Wegbreit. jcss, 4(6):606-621, 1970.

Tape- and Time-Bounded Turing Acceptors and AFLs: Extended AbstractRonald V. Book, Sheila A. Greibach, Ben Wegbreit. stoc 1970: 92-99

Tape-Bounded Turing Acceptors and Principal AFLsRonald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit. jcss, 4(6):622-625, 1970.

Studies in Extensible Programming LanguagesBen Wegbreit. Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, 1970.

1969

A Generator of Contex-Sensitive LanguagesBen Wegbreit. jcss, 3(4):456-461, 1969.

Sign in or sign up to see more results.

runs on WebDSL