Reconnaissance automatique de la parolevignette|droite|upright=1.4|La reconnaissance vocale est habituellement traitée dans le middleware ; les résultats sont transmis aux applications utilisatrices. La reconnaissance automatique de la parole (souvent improprement appelée reconnaissance vocale) est une technique informatique qui permet d'analyser la voix humaine captée au moyen d'un microphone pour la transcrire sous la forme d'un texte exploitable par une machine.
Evaluation of machine translationVarious methods for the evaluation for machine translation have been employed. This article focuses on the evaluation of the output of machine translation, rather than on performance or usability evaluation. Round-trip translation A typical way for lay people to assess machine translation quality is to translate from a source language to a target language and back to the source language with the same engine. Though intuitively this may seem like a good method of evaluation, it has been shown that round-trip translation is a "poor predictor of quality".
Arabe libanaisLebanese Arabic (عَرَبِيّ لُبْنَانِيّ ; autonym: ˈʕaɾabe lɪbˈneːne), or simply Lebanese (لُبْنَانِيّ ; autonym: lɪbˈneːne), is a variety of North Levantine Arabic, indigenous to and spoken primarily in Lebanon, with significant linguistic influences borrowed from other Middle Eastern and European languages and is in some ways unique from other varieties of Arabic. Due to multilingualism and pervasive diglossia among Lebanese people (a majority of the Lebanese people are bilingual or trilingual), it is not uncommon for Lebanese people to code-switch between or mix Lebanese Arabic, French, and English in their daily speech.
Formule atomiqueEn logique mathématique, une formule atomique ou atome est une formule qui ne contient pas de sous-formules propres. La structure d'une formule atomique dépend de la logique considérée, p. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles. Les atomes sont les formules les plus simples dans un système logique et servent à construire les formules les plus générales.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Préfixes du Système international d'unitésLes préfixes du Système international d'unités simplifient la manipulation des valeurs numériques de grandeurs physiques qui sont beaucoup plus petites ou beaucoup plus grandes que l'unité du Système international. Ces préfixes représentent des puissances de (), sauf déca- et déci- (10 et 1/10, soit et ) et hecto- et centi- (100 et 1/100, soit et ). Ces préfixes sont établis par le Bureau international des poids et mesures sous la forme de résolutions de ses conférences générales, qui se tiennent en général tous les quatre ans.
English as a second or foreign languageEnglish as a second or foreign language is the use of English by speakers with different native languages. Language education for people learning English may be known as English as a foreign language (EFL), English as a second language (ESL), English for speakers of other languages (ESOL), English as an additional language (EAL), or English as a New Language (ENL). The aspect in which EFL is taught is referred to as teaching English as a foreign language (TEFL), teaching English as a second language (TESL) or teaching English to speakers of other languages (TESOL).
Échantillonnage (statistiques)thumb|Exemple d'échantillonnage aléatoire En statistique, l'échantillonnage désigne les méthodes de sélection d'un sous-ensemble d'individus (un échantillon) à l'intérieur d'une population pour estimer les caractéristiques de l'ensemble de la population. Cette méthode présente plusieurs avantages : une étude restreinte sur une partie de la population, un moindre coût, une collecte des données plus rapide que si l'étude avait été réalisé sur l'ensemble de la population, la réalisation de contrôles destructifs Les résultats obtenus constituent un échantillon.
Paire minimaleEn phonologie, le terme paire minimale désigne deux éléments en opposition du point de vue phonologique. Selon l’une des définitions, les éléments en opposition sont des mots dont le sens est différencié par un seul phone ou par des éléments prosodiques portés par un phone. Dans une autre vision, les deux éléments en opposition sont des phones différenciés par un seul de leurs traits, par exemple sourde ↔ voisée, et ces éléments produisent des paires minimales de mots.
Valuation (logic)In logic and model theory, a valuation can be: In propositional logic, an assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables. In first-order logic and higher-order logics, a structure, (the interpretation) and the corresponding assignment of a truth value to each sentence in the language for that structure (the valuation proper). The interpretation must be a homomorphism, while valuation is simply a function.
Espace métriqueEn mathématiques et plus particulièrement en topologie, un espace métrique est un ensemble au sein duquel une notion de distance entre les éléments de l'ensemble est définie. Les éléments seront, en général, appelés des points. Tout espace métrique est canoniquement muni d'une topologie. Les espaces métrisables sont les espaces topologiques obtenus de cette manière. L'exemple correspondant le plus à notre expérience intuitive de l'espace est l'espace euclidien à trois dimensions.
