Sciweavers

114 search results - page 7 / 23
» hybrid 1998
Sort
View
SIAMCOMP
1998
98views more  SIAMCOMP 1998»
14 years 11 months ago
Failure Detection and Randomization: A Hybrid Approach to Solve Consensus
We present a consensus algorithm that combines unreliable failure detection and randomization, two well-known techniques for solving consensus in asynchronous systems with crash f...
Marcos Kawazoe Aguilera, Sam Toueg
ISORC
1998
IEEE
15 years 4 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
NC
1998
118views Neural Networks» more  NC 1998»
15 years 1 months ago
BRAINN: A Connectionist Approach to Symbolic Reasoning
Hybrid connectionist symbolic systems have been the subject of much recent research in AI. By focusing on the implementation of high-level human cognitive processes (e.g., rule-ba...
Rafal Bogacz, Christophe G. Giraud-Carrier
ICRA
1998
IEEE
76views Robotics» more  ICRA 1998»
15 years 4 months ago
A Hybrid Collision Avoidance Method for Mobile Robots
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...
Dieter Fox, Wolfram Burgard, Sebastian Thrun, Armi...
AAAI
1998
15 years 1 months ago
Hybrid Planning for Partially Hierarchical Domains
Hierarchical task network and action-based planning approaches have traditionally been studied separately. In many domains, human expertise in the form of hierarchical reduction s...
Subbarao Kambhampati, Amol Dattatraya Mali, Biplav...