3742 search results - page 393 / 749 » On the Use of Formal Techniques for Validation |
171
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Energy functional minimization is an increasingly popular technique for image segmentation. However, it is far too commonly applied with hand-tuned parameters and initializations t...
156
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Spatial patterns of activation statistics within anatomically-defined regions of interest (ROIs) in functional magnetic resonance imaging (fMRI) data were recently shown to be sen...
270
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
User written transaction code is responsible for the "C" in ACID transactions, i.e., taking the database from one consistent state to the next. However, user transaction...
175
click to vote
ISNN
2010
Springer
15 years 11 months ago
2010
Springer
In the context of relating specific brain functions to specific brain structures, second-order blind identification (SOBI) is one of the blind source separation algorithms that hav...
170
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Researchers, hindered by a lack of standard gene and protein-naming conventions, endure long, sometimes fruitless, literature searches. A system is described which is able to auto...