Sciweavers

5855 search results - page 981 / 1171
» Test generation and minimization with
Sort
View
ICASSP
2010
IEEE
15 years 1 months ago
Boosted binary features for noise-robust speaker verification
The standard approach to speaker verification is to extract cepstral features from the speech spectrum and model them by generative or discriminative techniques. We propose a nov...
Anindya Roy, Mathew Magimai-Doss, Sébastien...
147
Voted
HASE
2008
IEEE
15 years 1 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
AICOM
2008
95views more  AICOM 2008»
15 years 1 months ago
A multilayer ontology-based hybrid recommendation model
We propose a novel hybrid recommendation model in which user preferences and item features are described in terms of semantic concepts defined in domain ontologies. The exploitati...
Iván Cantador, Alejandro Bellogín, P...
127
Voted
AR
2008
188views more  AR 2008»
15 years 1 months ago
Intentional Control for Planetary Rover SRR
Intentional behavior is a basic property of intelligence and it incorporates the cyclic operation of prediction, testing by action, sensing, perceiving, and assimilating the exper...
Robert Kozma, Terry Huntsberger, Hrand Aghazarian,...
CLEIEJ
2008
82views more  CLEIEJ 2008»
15 years 1 months ago
Postal Envelope Segmentation using Learning-Based Approach
This paper presents a learning-based approach to segment postal address blocks where the learning step uses only one pair of images (a sample image and its ideal segmented solutio...
Horacio Andrés Legal-Ayala, Jacques Facon, ...