2583 search results - page 125 / 517 » On the Representation of Timed Polyhedra |
176
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
156
click to vote
PPAM
2005
Springer
15 years 12 months ago
2005
Springer
We describe our work in building support for streaming data services for Geographical Information System Grid services. We examine how streaming approaches may be used to increase ...
181
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
178
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
170
click to vote
CAMP
2000
IEEE
15 years 10 months ago
2000
IEEE
Silhouette volume intersection is one of the most popular ideas for reconstructing the 3D volume of an object from multi-viewpoint silhouette images. This paper presents a novel p...