1458 search results - page 103 / 292 » Extended Term Rewriting Systems |
IFIP
2005
Springer
15 years 3 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
IJCAI
2001
14 years 11 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
CONSTRAINTS
2008
14 years 10 months ago
2008
Camera control techniques for Interactive Digital Entertainment (IDE) are reaching their limits in terms of capabilities. To enable future growth, new methods must be derived to a...
UCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes an extended framework for service provision for ubiquitous spaces based on Kerberos. The framework allows groups of services and information about ord...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper addresses the issue of developing a motion planning algorithm for a general class of modular mobile robots. A modular mobile robot is essentially a reconfigurable robo...