143 search results - page 20 / 29 » Bisimulation for Labelled Markov Processes |
JLP
2006
13 years 7 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
A method for segmenting and recognizing text embedded in video and images is proposed in this paper. In the method, multiple segmentation of the same text region is performed, thu...
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
—To cope with the tremendous variations of writing styles encountered between different individuals, unconstrained automatic handwriting recognition systems need to be trained on...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Active learning aims to reduce the amount of labels required for classification. The main difficulty is to find a good trade-off between exploration and exploitation of the lab...