2934 search results - page 251 / 587 » Universality in Multi-Agent Systems |
191
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
199
click to vote
WOWMOM
2009
ACM
16 years 1 months ago
2009
ACM
—In this work, we present a practical plant-and-play wireless sensor network system for entry-exit monitoring. Our system is easily configurable and robust, making it feasible t...
191
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper, we present Network Address Translator (NAT) traversal technique suitable for pure P2P applications, such as a distributed asynchronous Web-Based Training ...
175
click to vote
CIBCB
2005
IEEE
16 years 27 days ago
2005
IEEE
— In this paper, we report a practical application of world’s first internet-based melanoma diagnostic system. The system is now available from all over the world, 24 hours 36...
189
click to vote
ATAL
2005
Springer
16 years 24 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...