10773 search results - page 1946 / 2155 » Ambient Computational Environments |
243
click to vote
MIS
2011
Springer
14 years 11 months ago
2011
Springer
By exchanging events in a vehicular ad hoc network (VANET), drivers can receive information that allows them to find relevant places (e.g., parking spaces) or avoid dangerous/unde...
165
click to vote
MTA
2011
14 years 11 months ago
2011
As a result of improvements in wireless communication technologies, a multimedia data streaming service can now be provided for mobile clients. Since mobile devices have low comput...
151
click to vote
TMC
2011
14 years 11 months ago
2011
— This paper establishes the equivalence between cognitive medium access and the competitive multi-armed bandit problem. First, the scenario in which a single cognitive user wish...
118
click to vote
EJWCN
2010
14 years 11 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
173
click to vote
IHI
2010
14 years 11 months ago
2010
In this paper we demonstrate a fully automated approach for discovering and monitoring patterns of daily activities. Discovering patterns of daily activities and tracking them can...