Results 261 to 270 of about 58,779 (308)
Some of the next articles are maybe not open access.
Temporal Predication with Temporal Parts and Temporal Counterparts
Australasian Journal of Philosophy, 2003If ordinary objects have temporal parts, then temporal predications have the following truth conditions: necessarily, (a is F) at t iff a has a temporal part that is located at t and that is F. If ordinary objects have temporal counterparts, then, necessarily, (a is F) at t iff a has a temporal counterpart that is located at t and that is F.
openaire +1 more source
Using temporal constraints for temporal abstraction
Journal of Intelligent Information Systems, 2009The need to provide high level descriptions of the evolution of data is evident in fields like medicine. For being able to perform task such as diagnostic or monitoring, it is very important to facilitate a high level representation and management of temporal data.
Manuel Campos Martínez +3 more
openaire +1 more source
Temporal Prepositions and Temporal Generalized Quantifiers
Linguistics and Philosophy, 2001In this paper, we show how the problem of accounting for the semantics of temporal preposition phrases (tPPs) leads us to some surprising insights into the semantics of temporal expressions in general. Specifically, we argue that a systematic treatment of English tPPs is greatly facilitated if we endow our meaning assignments with context variables, a ...
Pratt, Ian; id_orcid 0000-0003-0062-043X +1 more
openaire +2 more sources
Mathematical Structures in Computer Science, 1998
We develop temporal logic from the theory of complete lattices, Galois connections and fixed points. In particular, we prove that all seventeen axioms of Manna and Pnueli's sound and complete proof system for linear temporal logic can be derived from just two postulates, namely that ([oplus ], &[ominus ]tilde;) is a Galois connection and ...
openaire +3 more sources
We develop temporal logic from the theory of complete lattices, Galois connections and fixed points. In particular, we prove that all seventeen axioms of Manna and Pnueli's sound and complete proof system for linear temporal logic can be derived from just two postulates, namely that ([oplus ], &[ominus ]tilde;) is a Galois connection and ...
openaire +3 more sources
On temporal-fuzziness in temporal Fuzzy databases
1993We propose a framework for a database model unifying both imprecision and time aspects of data. Particularly, we emphasize that the fuzzy meanings of linguistic data can change with time; we call this property temporal-fuzziness. The major problems arising from the lack of the ability to handle this property have been studied, i.e.
Werasak Kurutach, James Franklin
openaire +1 more source
A non-temporized approach for temporized analysis
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), 2002Real-time critical systems require extensive analysis. The potentially considerable damage caused by failures of real-time critical systems justify the use of expensive verification techniques, such as timed reachability analysis. Unfortunately the cost of timed reachability analysis inhibits its systematic application at the early stages of ...
Francesco Calzolari, Mauro Pezzè
openaire +1 more source
Temporal optimisations and temporal cardinality in the tOWL language
International Journal of Web Engineering and Technology, 2012The tOWL language is a temporal web ontology language based on OWL-DL without nominals. The language enables the representation of time and time-related aspects, such as state transitions. The design choices of the language pose new challenges from a temporal perspective. One such challenge is the representation of temporal cardinality.
Viorel Milea +3 more
openaire +1 more source
2004
Temporality, or the time dimension is an essential aspect of the reality databases attempt to model and keep data about. However, in many database applications temporal data is treated in a rather ad hoc manner in spite of the fact that temporality should be an integral part of any data model.
openaire +2 more sources
Temporality, or the time dimension is an essential aspect of the reality databases attempt to model and keep data about. However, in many database applications temporal data is treated in a rather ad hoc manner in spite of the fact that temporality should be an integral part of any data model.
openaire +2 more sources
Time after Time Temporality, Temporalization
Oxford Literary Review, 1987This paper attempts two things. First a consideration of the question 'what is time?' through a deconstructive reading of Heidegger's Being and Time (1927) and Time and Being (1961). The privileging of Heidegger on this question reflects Derrida's consideration of the Heideggerian meditation as uncircumventable and the only 'thought excess of ...
openaire +1 more source
Temporal Data Mining with Temporal Constraints
2007Nowadays, methods for discovering temporal knowledge try to extract more complete and representative patterns. The use of qualitative temporal constraints can be helpful in that aim, but its use should also involve methods for reasoning with them (instead of using them just as a high level representation) when a pattern consists of a constraint network
Manuel Campos +2 more
openaire +1 more source