11797 search results - page 46 / 2360 » Recent Developments in the Experimental |
DIAGRAMS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
We have been developing a software platform, called OpenHRP, for humanoid robotics which consists of a dynamic simulator and motion control library for humanoid robots. This paper...
ICRA
1993
IEEE
14 years 1 months ago
1993
IEEE
Successful control of contact transitions is an important capability of dextrous robotic manipulators. In this paper we examine several methods for controlling the transition from...
JSS
2000
13 years 9 months ago
2000
This paper presents the results of a study where the effects of introducing code reviews in an organisational unit have been evaluated. The study was performed in an ongoing comme...
WABI
2010
Springer
13 years 8 months ago
2010
Springer
Although many supertree methods have been developed in the last few decades, none has been shown to produce more accurate trees than the popular Matrix Representation with Parsimon...