1057 search results - page 119 / 212 » Testing from Formal Specifications, a Generic Approach |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
IPL
2008
13 years 9 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a method of overlapping/aggregating nuclei cells segmentation. This method is based on the watershed segmentation algorithm, but the specificity of this work i...
INLG
2010
Springer
13 years 7 months ago
2010
Springer
In many areas of NLP reuse of utility tools such as parsers and POS taggers is now common, but this is still rare in NLG. The subfield of surface realisation has perhaps come clos...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
Functional image classification is the assignment of different image types to separate classes to optimize their rendering for reading or other specific end task, and is an import...