4184 search results - page 105 / 837 » Names of Our Lives |
120
click to vote
JECR
2000
15 years 1 months ago
2000
This paper describes an agent-based electronic market system whose underlying communication and cooperation protocols establish an artificial environment with advanced features. U...
131
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
By nature, ubiquitous computing applications are intimately intertwined with users' everyday life. This situation is challenging because it requires to make the development of...
113
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Mobile technologies are gaining more popularity and diffusing into every aspect of our lives. Value Added Services (VAS) have a huge impact on consumers’ usage patterns. They ar...
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— In this paper we present a multi-agent coordination algorithm suitable for systems with aircraft-like kinematic constraints. A model of a system of input-constrained no...