498 search results - page 8 / 100 » A Logical Temporal Relational Data Model |
AICOM
2008
14 years 12 months ago
2008
107
click to vote
WILF
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
TCS
2008
14 years 11 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
TIME
2006
IEEE
15 years 5 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...
JOLLI
2002
14 years 11 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...