3742 search results - page 425 / 749 » On the Use of Formal Techniques for Validation |
215
click to vote
BIBM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
173
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a novel time-adaptive estimation technique by revisiting the classical Wiener-Hopf equation. Any convex and not necessarily differentiable function can be used...
182
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
164
click to vote
ECBS
2005
IEEE
16 years 10 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
164
click to vote
WEBI
2005
Springer
16 years 6 days ago
2005
Springer
The performance of an ontology alignment technique largely depends on the amount of information that can be leveraged for the alignment task. On the Semantic Web, end-users may ex...