3742 search results - page 137 / 749 » On the Use of Formal Techniques for Validation |
206
click to vote
MEMOCODE
2008
IEEE
16 years 23 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
169
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The k-means method is a simple and fast clustering technique that exhibits the problem of specifying the optimal number of clusters preliminarily. We address the problem...
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
165
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
173
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We propose a novel method for the validation of vascular segmentations. Our technique combines morphological operators and the STAPLE algorithm to obtain ground truth of centerline...