Results 261 to 270 of about 189,130 (309)
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
Temporal and non-temporal processes in the elderly
jbcpp, 2013Abstract Background: The present study examined whether the reported age-related decline in auditory temporal resolution is specific to the temporal domain or rather reflects a general decline in auditory perception, including the stimulus intensity domain.
Leah, Fostick, Harvey, Babkoff
openaire +2 more sources
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
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
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
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
A recursive temporal algebra and temporal completeness
Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96), 2002This paper introduces a recursive temporal algebra based on temporal semantics for querying time-varying data. The algebra, called /spl Rfr/*, is based on a temporal relational data model in which a temporal database is modeled as a collection of time-varying relations. Each time-varying relation is a collection of ordinary relations indexed by moments
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