2583 search results - page 125 / 517 » On the Representation of Timed Polyhedra |
203
Voted
KBSE
2005
IEEE
16 years 19 days 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...
188
Voted
PPAM
2005
Springer
16 years 16 days 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 ...
202
Voted
COSIT
2003
Springer
16 years 8 days 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...
196
click to vote
ICRA
2002
IEEE
15 years 12 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...
194
Voted
CAMP
2000
IEEE
15 years 11 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...