5216 search results - page 928 / 1044 » Planning as Model Checking |
179
click to vote
WEA
2007
Springer
16 years 11 days ago
2007
Springer
Many speed-up techniques for route planning in static graphs exist, only few of them are proven to work in a dynamic scenario. Most of them use preprocessed information, which has ...
181
click to vote
3DPVT
2006
IEEE
16 years 10 days ago
2006
IEEE
Range sensing technology allows the photo-realistic modeling of large-scale scenes, such as urban structures. A major bottleneck in the process of 3D scene acquisition is the auto...
144
click to vote
3DPVT
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
188
click to vote
DASFAA
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract. In emerging data stream applications, data sources are typically distributed. Evaluating multi-join queries over streams from different sources may incur large communica...
174
click to vote
ICDE
2006
IEEE
16 years 9 days ago
2006
IEEE
XML structural joins, which evaluate the containment (ancestor-descendant) relationships between XML elements, are important operations of XML query processing. Estimating structu...