Sciweavers

612 search results - page 52 / 123
» Using Static Analysis to Improve Automatic Test Generation
Sort
View
AIR
2005
99views more  AIR 2005»
14 years 11 months ago
Evolving General Term-Weighting Schemes for Information Retrieval: Tests on Larger Collections
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...
Ronan Cummins, Colm O'Riordan
TMI
2010
217views more  TMI 2010»
14 years 6 months ago
A Generative Model for Image Segmentation Based on Label Fusion
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...
Mert R. Sabuncu, B. T. Thomas Yeo, Koenraad Van Le...
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 3 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
ICIP
1999
IEEE
16 years 1 months ago
Face Recognition of Video Sequences in a Mpeg-7 Context Using a Global Eigen Approach
An integral scheme that provides a global eigen approach to the problem of face recognition of still images has been presented in [1]. The scheme is based on the representation of...
Luis Lorente, Luis Torres
CVPR
2004
IEEE
15 years 3 months ago
Visual Object Categorization Using Distance-Based Discriminant Analysis
This paper formulates the problem of object categorization in the discriminant analysis framework focusing on transforming visual feature data so as to make it conform to the comp...
Serhiy Kosinov, Stéphane Marchand-Maillet, ...