Oliver Bittel

According to our database, Oliver Bittel authored at least 11 papers between 1991 and 2012.

Collaborative distances:

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

2012

Fast grid based collision avoidance for vessels using A∗ search algorithm.

Michael Blaich, Michael Rosenfelder, Michael Schuster, Oliver Bittel, Johannes Reuter

Proceedings of the 17th International Conference on Methods & Models in Automation & Robotics, 2012

2011

Obstacle and Game Element Detection with the 3D-Sensor Kinect.

Matthias Greuter, Michael Rosenfelder, Michael Blaich, Oliver Bittel

Proceedings of the Research and Education in Robotics - EUROBOT 2011, 2011

Designing an Omni-Directional Infrared Sensor and Beacon System for the Eurobot Competition.

Valentin Durst, Daniel Hagel, Jan Vander, Michael Blaich, Oliver Bittel

Proceedings of the Research and Education in Robotics - EUROBOT 2011, 2011

Mobile Robot Localization Using Beacons and the Kalman Filter Technique for the Eurobot Competition.

Oliver Bittel, Michael Blaich

Proceedings of the Research and Education in Robotics - EUROBOT 2011, 2011

2010

Improved Door Detection Fusing Camera and Laser Rangefinder Data with AdaBoosting.

Jens Hensler, Michael Blaich, Oliver Bittel

Proceedings of the Agents and Artificial Intelligence - Second International Conference, 2010

AdaBoost based Door Detection for Mobile Robots.

Jens Hensler, Michael Blaich, Oliver Bittel

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Using Quadtrees for Realtime Pathfinding in Indoor Environments.

Julian Hirt, Dominik Gauggel, Jens Hensler, Michael Blaich, Oliver Bittel

Proceedings of the Research and Education in Robotics - EUROBOT 2010, 2010

2009

Real-Time Door Detection Based on AdaBoost Learning Algorithm.

Jens Hensler, Michael Blaich, Oliver Bittel

Proceedings of the Research and Education in Robotics - EUROBOT 2009, 2009

1992

The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract).

Oliver Bittel

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic.

Oliver Bittel

Proceedings of the Logics in AI, European Workshop, 1992

1991

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik.

Oliver Bittel

PhD thesis, 1991