8658 search results - page 62 / 1732 » Models of Command and Control |
CADE
2009
Springer
14 years 2 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— A gesture-based interaction framework is presented for controlling mobile robots. This natural interaction paradigm has few physical requirements, and thus can be deplo...
PDCAT
2005
Springer
14 years 1 months ago
2005
Springer
This paper examines technique of media access that flexible media service, provided user interaction, and guaranteeing QoS. Currently, there are various streaming services, but th...
CSREASAM
2006
13 years 9 months ago
2006
This paper describes use cases for the application of Trusted Computing Group (TCG) techniques and specifications to storage devices. The use cases fall into three broad categorie...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Aerial robots are often required to remain within the communication range of a base station on the ground to exchange commands, sensor data or as a safety mechanism. For this...