2163 search results - page 182 / 433 » cases 2004 |
179
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
175
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
147
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of finding a commonly agreed upon diagnosis for errors observed in a system monitored by a number of different expert agents. Each agent is assumed to hav...
148
click to vote
AUSAI
2004
Springer
15 years 12 months ago
2004
Springer
One problem many Web users encounter is to keep track of changes of distant Web sources. Push services, informing clients about data changes, are frequently not provided by Web ser...
170
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...