Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
2002
This paper uses an algebraic approach to define temporal granularities and calendars. All the granularities in a calendar are expressed as algebraic expressions based on a single “bottom” granularity. The operations used in the algebra directly reflect the ways with which people construct new granularities from existing ones, and hence yield more natural and compact granularities definitions. Calendar is formalized on the basis of the algebraic operations, and properties of calendars are studied.
Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004., 2004
Proceedings Ninth International Symposium on Temporal Representation and Reasoning, 2002
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003
Theoretical Computer Science, 2007
IEEE Transactions on Knowledge and Data Engineering, 2000
Computational Intelligence, 1998
2005
Abstract. Time and calendars play an important role in databases, on the Semantic Web, as well as in mobile computing. Temporal data and calendars require (specific) modeling and processing tools. CaTTS is a type language for calendar definitions using which one can model and process temporal and calendric data. CaTTS is based on a “theory reasoning” approach for efficiency reasons. This article addresses type checking temporal and calendric data and constraints.
Amasya Üniversitesi Sosyal Bilimler Dergisi, 2024
Analele Banatului XXIV 2016, 2016
International Journal of Engineering Research and General Science, 2017
JURNAL PENGABDIAN SOSIAL, 2024
Journal of the Acoustical Society of America, 1993
Scientific reports, 2016
Gastroenterología y Hepatología, 2009
BMJ Open, 2019
Journal of Nursing Education and Practice, 2015
Papers in Literature, 2020
Information Processing Letters, 2015