5216 search results - page 585 / 1044 » Planning as Model Checking |
179
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper deals with the automated creation of geometric and photometric correct 3-D models of the world. Those models can be used for virtual reality, tele? presence, digital ci...
177
click to vote
WOWMOM
2005
ACM
16 years 12 days ago
2005
ACM
Constructing indoor radio maps plays an important role in many services and applications such as wireless base station planning. In this paper, we propose a hybrid approach to con...
157
click to vote
SIGUCCS
2003
ACM
16 years 2 days ago
2003
ACM
This paper will explore the SNet model that Hunter College of the City University of New York developed and implemented. During the Spring of 2002, CUNY as a central organization ...
197
click to vote
IDA
1999
Springer
15 years 11 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
166
click to vote
INFOCOM
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper, we introduce a deterministic fluid model and two stochastic traffic models for wireless networks. The setting is a highway with multiple entrances and exits. Vehicl...