5216 search results - page 358 / 1044 » Planning as Model Checking |
141
click to vote
RAS
2006
15 years 5 months ago
2006
In this paper, we present techniques that allow one or multiple mobile robots to efficiently explore and model their environment. While much existing research in the area of Simul...
153
click to vote
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we tackle challenges in migrating enterprise services into hybrid cloud-based deployments, where enterprise operations are partly hosted on-premise and partly in th...
177
Voted
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Modern database management systems (DBMS) answer a multitude of complex queries on increasingly larger datasets. Given the complexities of the queries and the numerous ...
166
click to vote
JSAC
2007
15 years 5 months ago
2007
— This paper presents an analytical approach to determining the maximum number of on/off voice flows that can be supported over a wireless local area network (WLAN), under a qua...
147
click to vote
WSC
2007
15 years 7 months ago
2007
Since its beginning, simulation has been used to study complex systems in order to infer on their future behavior, in this field several applications have been made using it as of...