Sciweavers

410 search results - page 3 / 82
» Temporal View Self-Maintenance
Sort
View
EDBT
1998
ACM
124views Database» more  EDBT 1998»
13 years 9 months ago
Maintaining Temporal Views over Non-Temporal Information Sources for Data Warehousing
An importantuse of data warehousing is to provide temporal views over the history of source data that may itself be non-temporal. While recent work in view maintenance is applicab...
Jun Yang 0001, Jennifer Widom
ICPR
2010
IEEE
13 years 3 months ago
Removal of Moving Objects from a Street-View Image by Fusing Multiple Image Sequences
We propose a method to remove moving objects from an in-vehicle camera image sequence by fusing multiple image sequences. Driver assistance systems and services such as Google Str...
Hiroyuki Uchiyama, Daisuke Deguchi, Tomokazu Takah...
FM
2006
Springer
169views Formal Methods» more  FM 2006»
13 years 8 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks
PVLDB
2010
184views more  PVLDB 2010»
13 years 3 months ago
TimeTrails: A System for Exploring Spatio-Temporal Information in Documents
Spatial and temporal data have become ubiquitous in many application domains such as the Geosciences or life sciences. Sophisticated database management systems are employed to ma...
Jannik Strötgen, Michael Gertz
PRL
2011
13 years 18 hour ago
Temporal synchronization of non-overlapping videos using known object motion
This paper presents a robust technique for temporally aligning multiple video sequences that have no spatial overlap between their fields of view. It is assumed that (i) a moving...
Darlan N. Brito, Flávio L. C. Pádua,...