Sciweavers

1057 search results - page 141 / 212
» Testing from Formal Specifications, a Generic Approach
Sort
View
ICCV
2001
IEEE
14 years 9 months ago
Automatic Segmentation and Indexing in a Database of Bird Images
The aim of this work is to index images in domain specific databases using colors computed from the object of interest only, instead of the whole image. The main problem in this t...
Madirakshi Das, R. Manmatha
CORR
2007
Springer
154views Education» more  CORR 2007»
13 years 7 months ago
Application of a design space exploration tool to enhance interleaver generation
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
Cyrille Chavet, Philippe Coussy, Pascal Urard, Eri...
JAIR
2002
101views more  JAIR 2002»
13 years 7 months ago
Structured Knowledge Representation for Image Retrieval
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
Eugenio Di Sciascio, Francesco M. Donini, Marina M...
FORTE
2001
13 years 9 months ago
Stepwise Design with Message Sequence Charts
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
Ferhat Khendek, Stephan Bourduas, Daniel Vincent
ECCV
2010
Springer
13 years 5 months ago
Lighting Aware Preprocessing for Face Recognition across Varying Illumination
Abstract. Illumination variation is one of intractable yet crucial problems in face recognition and many lighting normalization approaches have been proposed in the past decades. N...
Hu Han, Shiguang Shan, Laiyun Qing, Xilin Chen, We...