9730 search results - page 1517 / 1946 » Relating models of backtracking |
186
click to vote
PADS
2004
ACM
16 years 8 days ago
2004
ACM
We discuss an approach for creating a federated network simulation that eases the burdens on the simulator user that typically arise from more traditional methods for defining sp...
221
click to vote
ARGMAS
2004
Springer
16 years 7 days ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
164
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
A string generating hypergraph grammar is a hyperedge replacement grammar where the resulting language consists of string graphs i.e. hypergraphs modeling strings. With the help of...
171
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
166
click to vote
SRDS
2003
IEEE
16 years 3 days ago
2003
IEEE
How will a virus propagate in a real network? Does an epidemic threshold exist for a finite powerlaw graph, or any finite graph? How long does it take to disinfect a network giv...