640 search results - page 79 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
AAAI
2004
13 years 9 months ago
2004
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
CCGRID
2003
IEEE
14 years 28 days ago
2003
IEEE
In systems consisting of multiple clusters of processors which are interconnected by relatively slow communication links and which employ space sharing for scheduling jobs, such a...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper, we address the problem of temporal synchronization of a team of mobile agents on a set of rendezvous points defined by the nodes of a bipartite network. In particula...
DFG
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
JSS
2011
12 years 10 months ago
2011
Forecasting workflow activity durations is of great importance to support satisfactory QoS in workflow systems. Traditionally, a workflow system is often designed to facilitate the...