341 search results - page 22 / 69 » A Declarative Implementation of Planning with Control |
ISER
2000
Springer
13 years 11 months ago
2000
Springer
Abstract: The paper describes the humanoid robot \H6", which was designed to serve as a platform for experimental research on the development of advanced humanoid-type robots....
WSC
2007
13 years 9 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper investigates a novel procedure to calculate smooth interpolation curves of the rotation group SO3, which is commonly considered as the standard representatio...
ACSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
ACSAC
2000
IEEE
13 years 12 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...