Sciweavers

114 search results - page 7 / 23
» hybrid 1998
Sort
View
SIAMCOMP
1998
98views more  SIAMCOMP 1998»
13 years 9 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
14 years 2 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»
13 years 11 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»
14 years 2 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
13 years 11 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...