1063 search results - page 57 / 213 » Order and Negation as Failure |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Localisation is one of the most important tasks to be accomplished in order to realize the complete autonomy of a mobile robot. In this paper, a new strategy for global localis...
ERLANG
2006
ACM
14 years 3 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes a framework for achieving node-level fault tolerance (NLFT) in distributed realtime systems. The objective of NLFT is to mask errors at the node level in orde...
ISI
2004
Springer
14 years 3 months ago
2004
Springer
The protection of critical infrastructures, such as electrical power grids, has become a primary concern of many nation states in recent years. Critical infrastructures involve mul...
ITC
2000
IEEE
14 years 2 months ago
2000
IEEE
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...