11051 search results - page 2103 / 2211 » An Investigation of Generalized Cases |
179
click to vote
ATAL
2003
Springer
16 years 7 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
175
Voted
ATAL
2003
Springer
16 years 7 days ago
2003
Springer
This paper focuses on a task allocation problem, particularly in cases where the task is to find a solution to a search problem or a constraint satisfaction problem. If the searc...
200
click to vote
ATAL
2003
Springer
16 years 7 days ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
154
click to vote
CCS
2003
ACM
16 years 7 days ago
2003
ACM
To achieve security in wireless sensor networks, it is important to be able to encrypt and authenticate messages sent among sensor nodes. Keys for encryption and authentication pu...
176
Voted
CIAC
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. We consider problems of (new) station placement along (existing) railway tracks, so as to increase the number of users. We prove that, in spite of the NP-hardness for the...