344,886 Hits in 4.9 sec

CME: A Temporal Relational Model for Efficient Coalescing

M. Al-Kateb, E. Mansour, M.E. El-Sharkawi
12th International Symposium on Temporal Representation and Reasoning (TIME'05)  
In this paper 1 we present a novel temporal relational model through which coalescing becomes quite simple.  ...  The likelihood that a temporal query employs coalescing is very high. However, coalescing is an expensive and time consuming operation.  ...  Sean Wang for their advice on this research. This research has been partially supported by the NSF under Grant No. IIS-0415023.  ... 
doi:10.1109/time.2005.16 dblp:conf/time/Al-KatebME05 fatcat:wk3lroz5lfhjfn5ubib5pl5vea

Large Scale Temporal RDFS Reasoning Using MapReduce

Chang Liu, Guilin Qi, Yong Yu
In this work, we build a large scale reasoning engine under temporal RDFS semantics using MapReduce.  ...  We identify the major challenges of applying MapReduce framework to reason over temporal information, and present our solutions to tackle them.  ...  Acknowledgement Guilin Qi is partially supported by NSFC (61003157), Jiangsu Science Foundation (BK2010412), Excellent Youth Scholars Program of Southeast University, and Doctoral Discipline Foundation for  ... 
doi:10.1609/aaai.v26i1.8417 fatcat:5rcthludkvhlhgoofyob2lpzve

CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL

Eleftherios Anagnostopoulos, Sotiris Batsakis, Euripides G.M. Petrakis
2013 Procedia Computer Science  
We propose CHRONOS, a system for reasoning over temporal information in OWL ontologies.  ...  Representing both qualitative temporal (i.e., information whose temporal extents are unknown such as "before", "after" for temporal relations) in addition to quantitative information (i.e., where temporal  ...  Apart from language constructs for the representation of time in ontologies, there is still a need for mechanisms for the representation of the evolution of concepts (e.g., events) in time.  ... 
doi:10.1016/j.procs.2013.09.082 fatcat:6cmsq7f2tfbjjn56r656rlt3s4

Guest Editorial: Temporal representation and reasoning

Carlo Combi
2017 Annals of Mathematics and Artificial Intelligence  
As a further consideration, Temporal Representation and Reasoning is a major theoretical and practical research area, as theoretical proposals need often suitable (methodologybased) tuning and extensions  ...  Thus, we may say that theories, methodologies and techniques that explicitly focus on temporal features of information for representation and reasoning purposes are particularly important in many research  ...  For this reason, beginning with TIME'01, we have opened the meeting to active researchers in temporal, spatial, and spatio-temporal representation and reasoning from all areas.  ... 
doi:10.1007/s10472-017-9555-9 fatcat:wcdf72r6p5e7hb5hk4hzgdwi6a

PISEP^2: Pseudo Image Sequence Evolution based 3D Pose Prediction [article]

Xiaoli Liu, Jianqin Yin, Huaping Liu, Yilong Yin
2019 arXiv   pre-print
Specifically, a skeletal representation is proposed by transforming the joint coordinate sequence into an image sequence, which can model the different correlations of different joints.  ...  Compared with the recursive sequence to sequence model, we can improve the computational efficiency and avoid error accumulation significantly.  ...  The possible reason is: for all actions, in general, (a) the movement of the x-axis is the smallest for all joints; (b) the movement of the y-axis of upper limb joints is more violent; (c) the movement  ... 
arXiv:1909.01818v1 fatcat:3ryaynvzrvge3j4qqftq2a4qtm

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)

Davide Bresolin, Guido Sciavicco
2016 Acta Informatica  
Time representation and reasoning is a challenging research field of Computer Science, with a recognized impact in artificial intelligence, databases and formal verification.  ...  Among the several formalisms that have been studied for temporal reasoning, two of them are particularly interesting, namely, temporal logics based on intervals, and temporal networks.  ...  Finally, Mikael Nilsson, Jonas Kvarnström, and Patrick Doherty, in Efficient Processing of Simple Temporal Networks with Uncertainty-Algorithms for Dynamic Controllability Verification, consider a recent  ... 
doi:10.1007/s00236-016-0262-5 fatcat:dyzkg3i6nrbo5karitfrqy2644

A Simple But Powerful Graph Encoder for Temporal Knowledge Graph Completion [article]

Zifeng Ding, Yunpu Ma, Bailan He, Volker Tresp
2021 arXiv   pre-print
In this paper, we propose a simple but powerful graph encoder TARGCN for TKGC. TARGCN is parameter-efficient, and it extensively utilizes the information from the whole temporal context.  ...  Our model can achieve a more than 42% relative improvement on GDELT dataset compared with the state-of-the-art model.  ...  The contribution of our work can be summarized as follows: • We propose a light-weighted, parameter-efficient TKG reasoning model for TKGC.  ... 
arXiv:2112.07791v1 fatcat:mfb5o2vcf5aidimikvraqgh27u

A Concept for Graph-Based Temporal Similarity of Patient Data

Matthias Ganzinger, Jens Schrodt, Petra Knaup
2019 Studies in Health Technology and Informatics  
We apply the concept of case-based reasoning, which is well-established in many fields of medical informatics. Temporal patient data are organized in a time-graph structure.  ...  In this paper we describe a novel approach to use temporal data of electronic patient records based on similarity measures.  ...  First, research on the graph-based representation of temporal medical data is performed. Second, a novel similarity measure for temporal data in a graph representation is developed.  ... 
doi:10.3233/shti190199 pmid:31437901 fatcat:wyzzp4kminholfcxfca5alnviu

Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning [article]

Artur d'Avila Garcez, Marco Gori, Luis C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran
2019 arXiv   pre-print
In this paper, we survey recent accomplishments of neural-symbolic computing as a principled methodology for integrated machine learning and reasoning.  ...  In spite of the recent impact of AI, several works have identified the need for principled knowledge representation and reasoning mechanisms integrated with deep learning-based systems to provide sound  ...  This mapping allows several knowledge representation formalisms to be used as background knowledge for potentially large-scale learning and efficient reasoning.  ... 
arXiv:1905.06088v1 fatcat:gm4f3ncukrbevpd7nq5yr75ar4

Temporal representation and reasoning

C. Bettini, A. Montanari
2003 Data & Knowledge Engineering  
It is commonly recognized that temporal representation and reasoning issues occupy a central position in the areas of artificial intelligence, databases, and theoretical computer science.  ...  This effort is even more important considering that research in temporal representation and reasoning has a chance to show its potential also in a wide range of emerging applications related to the network-based  ...  The papers in this issue address research problems in temporal representation and reasoning covering a quite broad spectrum in the above areas, from temporal databases to temporal data mining, from linear  ... 
doi:10.1016/s0169-023x(02)00132-5 fatcat:uim7kgd6evbnjewqhyxtjm47ly

Scalable Temporal Reasoning

Steffen Staab, Udo Hahn
1999 International Joint Conference on Artificial Intelligence  
The second one accounts for abstractions at the interface level of a temporal reasoning engine.  ...  We introduce two mechanisms for scaling computations in the framework of temporal reasoning. The first one addresses abstraction at the methodological level.  ...  Staab was a member of the Graduate Program Human and Machine Intelligence at Freiburg University, which was funded by DFG.  ... 
dblp:conf/ijcai/StaabH99 fatcat:lfqmyvo5dzf2vbqzv5pfmqcbg4

DenseImage Network: Video Spatial-Temporal Evolution Encoding and Understanding [article]

Xiaokai Chen, Ke Gao
2018 arXiv   pre-print
which distills its significant spatial-temporal evolution into a matrix called DenseImage, primed for efficient video encoding. 2) A simple yet powerful learning strategy based on DenseImage and a temporal-order-preserving  ...  To further exploit its capacity in dynamic evolution reasoning, we introduce a novel network module called DenseImage Network(DIN) with two main contributions. 1) A novel compact representation of video  ...  Their works demonstrate that pretrained CNN is still a powerful feature extractor for relational reasoning, which is a building block of our proposed video representation: DenseImage.  ... 
arXiv:1805.07550v1 fatcat:tp6q3amuhvf5nm3anghg3ex47m

Temporal salient graph for sports event detection

Reede Ren, Joemon M. Jose
2009 2009 16th IEEE International Conference on Image Processing (ICIP)  
A graphic representation is proposed to facilitate the analysis of temporal saliency in a video document.  ...  This representation visualizes temporal saliency at multiple resolutions and introduces efficient image operations to the computationally intensive task of saliency analysis.  ...  As the MAR originates from image texture analysis [8] , it is reasonable to propose a graphic representation for salient signals.  ... 
doi:10.1109/icip.2009.5419129 dblp:conf/icip/RenJ09a fatcat:5w6oqfpkkbgv7lss7xosnfvvna

Event order generation using Reference Event based qualitative Temporal (REseT) relations in Time Event Ontology

V. Uma, G. Aghila
2014 Open Computer Science  
This paper proposes a temporal knowledge representation and reasoning based event ordering system which helps in the temporal ordering of events.  ...  The basic Allen's temporal interval relations can be used to describe relations in OWL. Allen's interval algebra is a well known formalism used to represent and reason the temporal knowledge.  ...  Time representation in Semantic Web can be achieved by using efficient representation and reasoning languages. In OWL, temporal predicates are temporal relations that relate time intervals [5] .  ... 
doi:10.2478/s13537-014-0202-9 fatcat:qtrkjlyprbha5lt6owycgm4ufm

Page 1213 of Mathematical Reviews Vol. , Issue 97B [page]

1997 Mathematical Reviews  
The paper is a study of infinitary axiomatizations for a class of temporal logics on trace systems. M. A.  ...  1-RCT-C; Rochester, NY) Efficient algorithms for qualitative reasoning about time.  ... 
« Previous Showing results 1 — 15 out of 344,886 results