1992 search results - page 46 / 399 » Model Based Testing with Labelled Transition Systems |
114
click to vote
ICDAR
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a text/graphic labelling for ancient printed documents. Our approach is based on the extraction and the quantification of the various orientations that are pre...
115
click to vote
ACL
2007
15 years 3 months ago
2007
Standard approaches to Chinese word segmentation treat the problem as a tagging task, assigning labels to the characters in the sequence indicating whether the character marks a w...
129
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Traditionally, object recognition is performed based solely on the appearance of the object. However, relevant information also exists in the scene surrounding the object. As supp...
149
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
119
Voted
JDCTA
2010
14 years 9 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...