3028 search results - page 112 / 606 » Integrating Temporal Logics |
ADC
2004
Springer
14 years 1 months ago
2004
Springer
Most modern database applications contain a significant amount of time dependent data and a substantial proportion of this data is now-relative, i.e. current now. While much resea...
ICS
2001
Tsinghua U.
14 years 2 months ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...
IV
2009
IEEE
14 years 4 months ago
2009
IEEE
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...
BPSC
2009
13 years 11 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
JAIR
2000
13 years 10 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...