1466 search results - page 63 / 294 » Complexity of Reasoning over Temporal Data Models |
139
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Current visualization tools lack the ability to perform fullrange spatial and temporal analysis on terascale scientific datasets. Two key reasons exist for this shortcoming: I/O ...
147
click to vote
TIME
2009
IEEE
15 years 10 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
132
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
168
Voted
INFORMATICALT
2010
15 years 1 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
137
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...