3047 search results - page 30 / 610 » A Temporal Consensus Model |
IJDMB
2008
14 years 9 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
TIME
2006
IEEE
15 years 3 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...
CONCUR
2003
Springer
15 years 2 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
SIGMOD
2000
ACM
15 years 2 months ago
2000
ACM
Commercial relational database systems today provide only limited temporal support. To address the needs of applications requiring rich temporal data and queries, we have built TI...
FQAS
2006
Springer
15 years 1 months ago
2006
Springer
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...