Sciweavers

1615 search results - page 152 / 323
» Dark application communities
Sort
View
CIARP
2003
Springer
15 years 11 months ago
Creating a Mexican Spanish Version of the CMU Sphinx-III Speech Recognition System
Abstract. In this paper we present the creation of a Mexican Spanish version of the CMU Sphinx-III speech recognition system. We trained acoustic and N-gram language models with a ...
Armando Varela, Heriberto Cuayáhuitl, Juan ...
FM
2003
Springer
174views Formal Methods» more  FM 2003»
15 years 11 months ago
Model-Checking TRIO Specifications in SPIN
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
Angelo Morzenti, Matteo Pradella, Pierluigi San Pi...
FSTTCS
2003
Springer
15 years 11 months ago
Moderately Hard Functions: From Complexity to Spam Fighting
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
Moni Naor
ICCBR
2003
Springer
15 years 11 months ago
SOFT-CBR: A Self-Optimizing Fuzzy Tool for Case-Based Reasoning
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
Kareem S. Aggour, Marc Pavese, Piero P. Bonissone,...
IFSA
2003
Springer
179views Fuzzy Logic» more  IFSA 2003»
15 years 11 months ago
A CHC Evolutionary Algorithm for 3D Image Registration
Image registration has been a very active research area in the computer vision community. In the last few years, there is an increasing interest on the application of Evolutionary ...
Oscar Cordón, Sergio Damas, Jose Santamar&i...