734 search results - page 69 / 147 » Undecidability over Continuous Time |
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
KDD
2009
ACM
14 years 1 months ago
2009
ACM
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...
NIPS
2008
13 years 10 months ago
2008
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...
SSDBM
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper introduces a framework for Phenomena Detection and Tracking (PDT, for short) in sensor network databases. Examples of detectable phenomena include the propagation over ...
IFIPTCS
2000
14 years 9 days ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...