Sciweavers

498 search results - page 12 / 100
» A Logical Temporal Relational Data Model
Sort
View
WLP
2004
Springer
15 years 5 months ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
DMSN
2010
ACM
14 years 10 months ago
Facilitating fine grained data provenance using temporal data model
E-science applications use fine grained data provenance to maintain the reproducibility of scientific results, i.e., for each processed data tuple, the source data used to proce...
Mohammad Rezwanul Huq, Andreas Wombacher, Peter M....
100
Voted
SIGMOD
2000
ACM
121views Database» more  SIGMOD 2000»
15 years 4 months ago
TIP: A Temporal Extension to Informix
Commercial relational database systems today provide only limited temporal support. To address the needs of applications requiring rich temporal data and queries, we have built TI...
Jun Yang 0001, Huacheng C. Ying, Jennifer Widom
MSE
2002
IEEE
122views Hardware» more  MSE 2002»
15 years 4 months ago
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
Huiqun Yu, Xudong He, Shu Gao, Yi Deng
FATES
2004
Springer
15 years 5 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural