Sciweavers

876 search results - page 45 / 176
» The next step - open prototyping
Sort
View
IROS
2009
IEEE
197views Robotics» more  IROS 2009»
15 years 4 months ago
Biped navigation in rough environments using on-board sensing
— We present an approach to navigating a biped robot safely and efficiently through a complicated environment of previously unknown obstacles and terrain using only onboard sens...
Joel E. Chestnutt, Yutaka Takaoka, Keisuke Suga, K...
PERSUASIVE
2009
Springer
15 years 4 months ago
Creating persuasive technologies: an eight-step design process
This paper outlines eight steps to follow as best practices in the early stages of persuasive technology design. The eight-step process, drawn from demonstrated successes in indus...
B. J. Fogg
ICDAR
2005
IEEE
15 years 3 months ago
Intelligent Document Processing
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
FROCOS
2005
Springer
15 years 3 months ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
ECLIPSE
2007
ACM
15 years 1 months ago
Quality of bug reports in Eclipse
The information in bug reports influences the speed at which bugs are fixed. However, bug reports differ in their quality of information. We conducted a survey among ECLIPSE devel...
Nicolas Bettenburg, Sascha Just, Adrian Schrö...