10674 search results - page 1931 / 2135 » The Virtual Environment - Another Approach |
151
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
183
click to vote
AVSS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Automatic understanding of human behavior is an important and challenging objective in several surveillance applications. One of the main problems of this task consists in accur...
113
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...
141
Voted
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—In this paper, we present a collision-free asynchronous multi-channel access protocol for Ad Hoc wireless networks using a single transceiver. Our protocol, dubbed AMMAC...
131
click to vote
AAAI
2008
15 years 7 months ago
2008
We present a novel method for information-theoretic exploration, leveraging recent work on mapping and localization. We describe exploration as the constrained optimization proble...