280 search results - page 18 / 56 » Argumentation in Multi-Agent Systems: Context and Recent Dev... |
167
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Information about the user's environment offers new opportunities and exposes new challenges in terms of time-aware, location-aware, device-aware and personalized application...
200
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
173
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
159
click to vote
LICS
2008
IEEE
16 years 11 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
173
click to vote
ICRA
2007
IEEE
16 years 9 days ago
2007
IEEE
— Recent years are seeing a renewed interest in general multi-robot architectures, capable of automating coordination. However, few architectures explore integration of multiple ...