878 search results - page 128 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
123
click to vote
TMC
2012
13 years 2 months ago
2012
—We present the boomerang protocol to efficiently retain information at a particular geographic location in a sparse network of highly mobile nodes without using infrastructure ...
112
click to vote
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We consider an agent-target assignment problem in an unknown environment modeled as an undirected graph. Agents do not know this graph or the locations of the targets on it. Howeve...
107
click to vote
CJ
2006
14 years 12 months ago
2006
Most microprocessor chips today use an out-of-order instruction execution mechanism. This mechanism allows superscalar processors to extract reasonably high levels of instruction ...
109
click to vote
AMAI
2006
Springer
14 years 12 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...