Sciweavers

3047 search results - page 98 / 610
» A Temporal Consensus Model
Sort
View
VLDB
1992
ACM
116views Database» more  VLDB 1992»
15 years 2 months ago
Supporting Lists in a Data Model (A Timely Approach)
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
Joel E. Richardson
DIMACS
1996
14 years 11 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
ISM
2006
IEEE
129views Multimedia» more  ISM 2006»
14 years 10 months ago
A Graph-Based Approach for Modeling and Indexing Video Data
In this work, we propose new graph-based data model and indexing to organize and manage video data. To consider spatial and temporal characteristics of video, we introduce a new g...
JeongKyu Lee
ER
2004
Springer
92views Database» more  ER 2004»
15 years 3 months ago
XBiT: An XML-Based Bitemporal Data Model
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oï...
Fusheng Wang, Carlo Zaniolo
FUIN
2006
160views more  FUIN 2006»
14 years 10 months ago
Behavioral Pattern Identification Through Rough Set Modeling
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
Jan G. Bazan