3742 search results - page 272 / 749 » On the Use of Formal Techniques for Validation |
170
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a robust and accurate atlas-based brain segmentation method which uses multiple initial structure segmentations to simultaneously drive the image registration ...
157
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Block-level sampling is far more efficient than true uniform-random sampling over a large database, but prone to significant errors if used to create database statistics. In this ...
187
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming fra...
201
click to vote
ISBI
2008
IEEE
16 years 1 months ago
2008
IEEE
Fluorescent microscopy of biological samples allows noninvasive screening of specific molecular events in-situ. This approach is useful for investigating intricate signalling path...
158
click to vote
ICCAD
2007
IEEE
16 years 28 days ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...