6650 search results - page 396 / 1330 » models 2009 |
236
Voted
ICFEM
2009
Springer
16 years 1 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...
143
Voted
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We generalize traditional goals of clustering towards distinguishing components in a non-parametric mixture model. The clusters are not necessarily based on point locatio...
190
Voted
SMA
2009
ACM
16 years 1 months ago
2009
ACM
A key problem when interpolating a network of curves occurs at vertices: an algebraic condition called the vertex enclosure constraint must hold wherever an even number of curves ...
187
Voted
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a new approach for Handwritten Word Recognition based on Hidden Markov Model theory and the sliding window technique. The new approach uses specific singularit...
192
Voted
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...