[IEEE 2007 IEEE 11th International Conference on Computer Vision - Rio de Janeiro, Brazil (2007.10.14-2007.10.21)] 2007 IEEE 11th International Conference on Computer Vision - Fuzzy classification of brain MRI using a priori knowledge: weighted fuzzy C-meansSalvado, Olivier; Bourgeat, Pierrick; Tamayo, Oscar Acosta; Zuluaga, Maria; Ourselin, Sebastien · 2007

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Experiments in Verifying Low Level Concurrent C CodeSchulte, Wolfram · 2007

[IEEE 6th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007) - Melbourne, Australia (2007.07.11-2007.07.13)] 6th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007) - A new approach to detecting memory access errors in C programsCho, Dae Wan; Kim, Hyeon Soo; Oh, Seunguk · 2007

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - On-the-fly model checking for C programs with extended CADP in FMICS-jETIGallardo, Maria del Mar; Merino, Pedro; Joubert, Christophe; Sanan, David · 2007

[IEEE 2008 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) - Anchorage, AK, USA (2008.06.23-2008.06.28)] 2008 IEEE Conference on Computer Vision and Pattern Recognition - Fast approximate Random Walker segmentation using eigenvector precomputationGrady, Leo; Sinop, Ali Kemal · 2008

[IEEE 2007 IEEE 11th International Conference on Computer Vision - Rio de Janeiro, Brazil (2007.10.14-2007.10.21)] 2007 IEEE 11th International Conference on Computer Vision - Uninitialized, globally optimal, graph-based rectilinear shape segmentation - the opposing metrics methodSinop, Ali Kemal; Grady, Leo · 2007