Sciweavers

14967 search results - page 2659 / 2994
» Visualizing the visual system
Sort
View
CAV
2007
Springer
110views Hardware» more  CAV 2007»
15 years 11 months ago
Hector: Software Model Checking with Cooperating Analysis Plugins
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
Nathaniel Charlton, Michael Huth
CEAS
2007
Springer
15 years 11 months ago
A Discriminative Classifier Learning Approach to Image Modeling and Spam Image Identification
We propose a discriminative classifier learning approach to image modeling for spam image identification. We analyze a large number of images extracted from the SpamArchive spam c...
Byungki Byun, Chin-Hui Lee, Steve Webb, Calton Pu
CIVR
2007
Springer
361views Image Analysis» more  CIVR 2007»
15 years 11 months ago
Interpretability based interest points detection
This paper deals with a new interest points detector. Unlike most standard detectors which concentrate on the local shape of the signal, the main objective of this new operator is...
Ahmed Rebai, Alexis Joly, Nozha Boujemaa
189
Voted
CLEF
2007
Springer
15 years 11 months ago
Cross-Language and Cross-Media Image Retrieval: An Empirical Study at ImageCLEF2007
This paper summarizes our empirical study of cross-language and cross-media image retrieval at the CLEF image retrieval track (ImageCLEF2007). In this year, we participated in the ...
Steven C. H. Hoi
133
Voted
CLEF
2007
Springer
15 years 11 months ago
Towards Annotation-Based Query and Document Expansion for Image Retrieval
Abstract. In this paper we report results of experiments conducted with strategies for improving text-based image retrieval. The adopted strategies were evaluated in the photograph...
Hugo Jair Escalante, Carlos A. Hernández, A...
« Prev « First page 2659 / 2994 Last » Next »