5216 search results - page 928 / 1044 » Planning as Model Checking |
133
Voted
WEA
2007
Springer
15 years 9 months 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 ...
135
click to vote
3DPVT
2006
IEEE
15 years 9 months 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...
112
Voted
3DPVT
2006
IEEE
15 years 9 months 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...
149
Voted
DASFAA
2006
IEEE
15 years 9 months 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...
132
click to vote
ICDE
2006
IEEE
15 years 9 months 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...