3742 search results - page 581 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Ultrasound images are corrupted by a multiplicative noise, the speckle, which makes high level analysis difficult. Within each resolution cell a number of elementary scatterers re...
173
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
The purpose of this work was to develop an automatic boundary detection method for mammographic masses and to observe the method's performance on different four of the five m...
153
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We are studying the genetic influence on rates of age related muscle degeneration in C. elegans. For this, we built pattern recognition tools to calculate a morphological score gi...
154
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Many text documents on the Web are not originally created but forwarded or copied from other source documents. The phenomenon of document forwarding or transmission between variou...
148
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
A large fraction of the useful web comprises of specification documents that largely consist of hattribute name, numeric valuei pairs embedded in text. Examples include product in...