498 search results - page 32 / 100 » A Logical Temporal Relational Data Model |
103
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
117
click to vote
TACAS
2001
Springer
15 years 4 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
IJON
2007
14 years 11 months ago
2007
The mormyrid electric …sh displays extremely …ne temporal resolution as measured in behavioral studies. The …rst stage of sensory processing, the sensory a¤erents, also dis...
110
click to vote
DEXA
2009
Springer
15 years 6 months ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
ISQED
2010
IEEE
15 years 5 months ago
2010
IEEE
We analyze the neutron induced soft error rate (SER) by modeling induced error pulse using two parameters, occurrence frequency and probability density function for the pulse widt...