166 search results - page 13 / 34 » Formal Methods: Theory Becoming Practice |
ICDCSW
2000
IEEE
15 years 1 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
SMI
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
ALT
2007
Springer
15 years 3 months ago
2007
Springer
In transfer learning the aim is to solve new learning tasks using fewer examples by using information gained from solving related tasks. Existing transfer learning methods have be...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
We demonstrate that it is possible to filter an image with an elliptic window of varying size, elongation and orientation with a fixed computational cost per pixel. Our method inv...
77
Voted
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...