8266 search results - page 64 / 1654 » Information About the Journal |
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
103
click to vote
AO
2007
15 years 11 hour ago
2007
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
ARTMED
2006
14 years 12 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
JASIS
2008
14 years 12 months ago
2008
The old Asian legend about the blind men and the elephant comes to mind when looking at how different authors of scientific papers describe a piece of related prior work. It turns...
ERCIMDL
2000
Springer
15 years 3 months ago
2000
Springer
Literature databases, scientific journals and com munication between researchers on the electronic level are rapidly developing tools in mathematics having high impact on the daily...