3028 search results - page 453 / 606 » Integrating Temporal Logics |
SIGGRAPH
2010
ACM
14 years 2 months ago
2010
ACM
Limited spatial resolution of current displays makes the depiction of very fine spatial details difficult. This work proposes a novel method applied to moving images that takes ...
PCI
2001
Springer
14 years 2 months ago
2001
Springer
Earthquake phenomena constitute a rich source of information over the years. Typically, the frequency of earthquakes worldwide is one every second. Collecting and querying seismic ...
ICMCS
2000
IEEE
14 years 2 months ago
2000
IEEE
: Automatic content-based analysis and indexing of broadcast news recordings or digitized news archives is becoming an important tool in the framework of many multimedia interactiv...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
SSDBM
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...