Sciweavers

108 search results - page 22 / 22
» Development of UB Hand 3: Early Results
Sort
View
FP
1989
124views Formal Methods» more  FP 1989»
13 years 9 months ago
Deriving the Fast Fourier Algorithm by Calculation
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
Geraint Jones
BIODATAMINING
2008
117views more  BIODATAMINING 2008»
13 years 5 months ago
Search extension transforms Wiki into a relational system: A case for flavonoid metabolite database
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
Masanori Arita, Kazuhiro Suwa
ICRA
2009
IEEE
176views Robotics» more  ICRA 2009»
13 years 11 months ago
Rollin' Justin - Mobile platform with variable base
Abstract— Research on humanoid robots for use in servicing tasks, e.g. fetching and delivery, attracts steadily more interest. With ”Rollin’ Justin” a mobile robotic system...
Christoph Borst, Thomas Wimböck, Florian Schm...