8828 search results - page 1154 / 1766 » Formal methods in practice |
160
click to vote
WER
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present initial findings from an empirical study that has been conducted with 13 marketdriven software companies based in Recife, Brazil. The objective of the stu...
176
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— In presence of multiple access interference, the performance of impulse radio system is affected by collisions with other users. In this paper we evaluate the bit error probabi...
196
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
- Autonomous space robots are needed for future missions such as satellite capture and large space structure construction. Precise control of these space robots is important for sp...
197
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper describes a grasp planning for a mobile manipulator which works in real environment. Mobile robot studies up to now that manipulate an object in real world practical...
171
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...