134 search results - page 27 / 27 » Discrete Time Process Algebra with Abstraction |
ICCS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
CDC
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract-- In this paper we study different distributed estimation schemes for stochastic discrete time linear systems where the communication between the sensors and the estimatio...
ICDM
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--The problem of data stream classification is challenging because of many practical aspects associated with efficient processing and temporal behavior of the stream. Two s...
ICFEM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...