1549 search results - page 116 / 310 » Distributed Algorithms for Dynamic Survivability of Multiage... |
171
click to vote
NIPS
2003
15 years 7 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
179
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present a resource conscious dynamic scheduling strategy for handling large volume computationally intensive loads in a Grid system involving multiple sources an...
153
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
— Robots that can interact naturally with humans require the integration and coordination of many different components with heavy computational demands. We argue that an architec...
163
click to vote
CIRA
2007
IEEE
16 years 20 days ago
2007
IEEE
— In this paper, a communication-efficient dynamic task scheduling algorithm for a heterogeneous multi-robot system is proposed. To make this task scheduling algorithm to be scal...
176
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...