Results 271 to 280 of about 2,572,386 (317)
Some of the next articles are maybe not open access.
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
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
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
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