3602 search results - page 22 / 721 » Isn't It About Time |
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
We show how to apply the efficient Bayesian changepoint detection techniques of Fearnhead in the multivariate setting. We model the joint density of vector-valued observations usi...
FTRTFT
1992
Springer
13 years 11 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
JUCS
2010
13 years 6 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
JGS
2011
13 years 2 months ago
2011
The aim of this paper is to study the dynamics of commuting system of two insular regions of Italy, Sardinia and Sicily, inspected as complex networks. The authors refer to a thir...
KES
2004
Springer
14 years 28 days ago
2004
Springer
We consider the problem of inferring kinetic mechanisms for biochemical reactions from time series data. Using a priori knowledge about the structure of chemical reaction kinetics ...