5473 search results - page 871 / 1095 » On the graph isomorphism problem |
170
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
163
click to vote
DMSN
2004
ACM
15 years 12 months ago
2004
ACM
We consider the in-network computation of approximate “big picture” summaries in bandwidth-constrained sensor networks. First we review early work on computing the Haar wavele...
157
click to vote
ISPD
2004
ACM
15 years 12 months ago
2004
ACM
Due to increasing design complexity, routing congestion has become a critical problem in VLSI designs. This paper introduces a distributed metric to predict routing congestion for...
144
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
197
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: We present our idea of solving parts of the vision task with an organic computing approach. We have designed a multiagent system (MAS) of many different modules working on differ...