منابع مشابه
Implementing Calendars and Temporal Rules in Next Generation Databases
In applications like nancial trading, scheduling, manufacturing and process control, time based predicates in queries and rules are very important. There is also a need to de ne sets of time points or intervals. We refer to these sets as calendars. This paper presents a system of calendars that allows speci cation of natural-language time-based expressions, maintenance of valid time in database...
متن کاملVerifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
In this work, we study model checking of compositional real-time systems. A system is modeled using mutable data variables as well as a compositional timed process. Instead of explicitly manipulating clock variables, a number of compositional timed behavioral patterns are used to capture quantitative timing requirements, e.g. delay, timeout, deadline, timed interrupt, etc. A fully automated abs...
متن کاملAbstraction of Clocks in Synchronous Data-Flow Systems
ion of Clocks in Synchronous Data-flow Systems ⋆ Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet 1 INRIA Saclay Ile-de-France, Orsay, France 2 LRI, Univ. Paris-Sud 11, Orsay, France and INRIA Saclay 3 Institut Universitaire de France Abstract. Synchronous data-flow languages such as Lustre manage infinite sequences or streams as basic values. Each stream is associated to a clock w...
متن کاملTemporal Abstraction in Temporal-difference Networks
We present a generalization of temporal-difference networks to include temporally abstract options on the links of the question network. Temporal-difference (TD) networks have been proposed as a way of representing and learning a wide variety of predictions about the interaction between an agent and its environment. These predictions are compositional in that their targets are defined in terms ...
متن کاملMedical Temporal-Knowledge Discovery via Temporal Abstraction
Medical knowledge includes frequently occurring temporal patterns in longitudinal patient records. These patterns are not easily detectable by human clinicians. Current knowledge could be extended by automated temporal data mining. However, multivariate time-oriented data are often present at various levels of abstraction and at multiple temporal granularities, requiring a transformation into a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Time & Society
سال: 2013
ISSN: 0961-463X,1461-7463
DOI: 10.1177/0961463x13508344