Proceedings Ninth International Symposium on Temporal Representation and Reasoning
1530-1311
Cơ quản chủ quản: N/A
Lĩnh vực:
Các bài báo tiêu biểu
A parameterized algebra for event notification services
- Trang 61-63
Event notification services are used in various applications such as digital libraries, stock tickers, traffic control, or facility management. However to our knowledge, a common semantics of events in event notification services has not been defined so far. We propose a parameterized event algebra which describes the semantics of composite events for event notification systems. The parameters ser...... hiện toàn bộ
#Algebra #Logistics #Temperature sensors #Software libraries #Filtering #Database systems #Clocks
Logic Trạng thái Phân tán Dịch bởi AI
- Trang 55-57
Chúng tôi giới thiệu một logic thời gian để lý luận về các ứng dụng toàn cầu. Trước tiên, chúng tôi định nghĩa một logic mô-đun cho địa phương tính, nhúng các lý thuyết địa phương của mỗi thành phần vào một lý thuyết về các trạng thái phân tán của hệ thống. Chúng tôi cung cấp cho logic một hệ thống tiên đề đầy đủ và chuyên sâu. Sau đó, chúng tôi mở rộng logic với một toán tử thời gian. Đóng góp củ...... hiện toàn bộ
#Logic #DSL #Đồng hồ #Giao tiếp bất đồng bộ #Ngôn ngữ đặc tả #Điện toán đồng thời #Điện toán phân tán #Trì hoãn #Điện toán phổ biến #Thư viện thời gian chạy
A finite-state approach to event semantics
- Trang 124-131
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite automata then amount to movie cameras/projectors, or more formally, to finite Kripke structures with partial valuations. The usual regular constructs (concatenation, choice, etc) are supplemented with superposition of strings/a...... hiện toàn bộ
#Automata #Motion pictures #Natural languages #Cameras #Computer science #Educational institutions #Cost accounting #Proposals #Labeling
Logical data expiration
- Trang 66-67
Summary form only given. Data expiration is an essential component of data warehousing solutions: whenever large amounts of data are repeatedly collected over a period of time, it is essential to have a clear approach to identifying parts of the data no-longer needed and a policy that allows disposing and/or archiving these parts of the data. Such policies are necessary even if adding storage to a...... hiện toàn bộ
#Logic #History #Database systems #Computer science #Electronic mail #Warehousing #Data analysis #Aging #Spatial databases #Upper bound
Temporal views as abstract relations
- Trang 116-123
Many natural languages use prepositions to mark relations between entities of various kinds-between physical entities and their spatial locations, between temporal entities and their temporal locations, between abstract entities of various kinds (e.g. between ideas and their 'mental locations'). I show that the consequences of using prepositions to relate temporal entities emerge naturally from th...... hiện toàn bộ
#Physics computing #Natural languages #Logic #Dictionaries #Artificial intelligence #History #Eyes #Data mining #IEEE entities #Concrete
Tensed ontology based on simple partial logic
- Trang 141-145
Simple partial logic (SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary st...... hiện toàn bộ
#Ontologies #Logic #Cost accounting #Art #Terminology
Performance of querying temporal attributes in object-relational databases
- Trang 58-60
We evaluate a model for temporal data utilizing the benefits of object-relational database systems (ORDBS). In particular we show how attribute timestamping can be efficiently implemented in state-of-the-art ORDBS. The attribute timestamping concept is based on introducing user-specific types for temporal versions of datatypes. Moreover on the physical level we make use of user-defined index struc...... hiện toàn bộ
#Object oriented modeling #Indexing #Spatial indexes #Relational databases #Information systems #Database systems #Data models #Spatial databases #Size measurement
Indexed flows in temporal /spl times/ modal logic with functional semantics
- Trang 146-153
Two classical semantical approaches to studying logics which combine time and modality are the T /spl times/ W-frames and Kamp-frames (Thomason (1984)). In this paper we study a new kind of frame that extends the one introduced in Burrieza et al. (2002). The motivation is twofold: theoretical, i.e., representing properties of the basic theory of functions (definability); and practical, their use i...... hiện toàn bộ
#Logic #Time measurement #Computer applications #Application software #Clocks #Particle measurements #Communications technology #Boolean functions
Reasoning with disjunctive fuzzy temporal constraint networks
- Trang 36-43
The disjunctive fuzzy temporal constraint network (DFTCN) model is a framework that allows reasoning with fuzzy qualitative and quantitative complex temporal constraints. However, its general complexity is exponential. In this work, we review methods that can reduce this complexity, based on graph topology and preprocessing. The final goal is to integrate all these methods into a general tool for ...... hiện toàn bộ
#Fuzzy reasoning #Scheduling #Network topology #Fuzzy sets #Computer networks #Degradation #Algebra #Uncertainty #Filtering #Testing
Evolution specification of multigranular temporal objects
- Trang 78-85
The main key feature of temporal databases is to maintain all values taken by object attributes over time. Since historical information may be needed at different levels of detail, multigranular temporal databases have been introduced, in which different attributes can be stored at different temporal granularities. An important issue that has not been addressed, however is that the required level ...... hiện toàn bộ
#Temperature #Aggregates #Meteorology #Spatial databases #Weather forecasting #Cities and towns #Banking #Pollution #Kernel #Power generation