1057 search results - page 150 / 212 » Testing from Formal Specifications, a Generic Approach |
IJDAR
2007
13 years 7 months ago
2007
In this paper, based on the study of the specificity of historical printed books, we first explain the main error sources in classical methods used for page layout analysis. We sho...
PROMS
2001
Springer
14 years 3 days ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
JEI
2008
13 years 7 months ago
2008
We introduce a novel workflow that will hopefully open new directions of processing and improvement in image reproduction. Existing gamut mapping algorithms can be classified into ...
IVC
2006
13 years 7 months ago
2006
A motion detection and tracking algorithm for human and car activity surveillance is presented and evaluated by using the Pets'2000 test sequence. Proposed approach uses a te...
SACMAT
2010
ACM
14 years 15 days ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...