5 search results - page 1 / 1 » Weighted Bisimulation in Linear Algebraic Form |
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
ICPR
2000
IEEE
13 years 9 months ago
2000
IEEE
A new concept and algorithm are presented for noniterative robust estimation of piecewise smooth curves of maximal edge strength in small image windows – typically ¢¡£ to...
VLSID
2002
IEEE
14 years 5 months ago
2002
IEEE
This paper introduces a new numerical approximation technique, called the Differential Quadrature Method (DQM), in order to derive the rational ABCD matrix representing the high-s...
JZUSC
2010
13 years 3 months ago
2010
: A DP curve is a new kind of parametric curve defined by Delgado and Peña (2003); it has very good properties when used in both geometry and algebra, i.e., it is shape preserving...
MICCAI
2008
Springer
14 years 6 months ago
2008
Springer
Richly labeled images representing several sub-structures of an organ occur quite frequently in medical images. For example, a typical brain image can be labeled into grey matter, ...