Partant de considérations générales et théoriques sur le processus de création, en particulier musical, nous tenterons de montrer ici, en quoi l'ordinateur et l'informatique contiennent les facteurs d'une mutation profonde de l'acte créatif. Nous présenterons alors quelques éléments d'un système informatique dont le développement, composante essent...
Des travaux intensifs sur la reconnaissance automatique de la parole utilisant les modèles stochastiques ont été réalisés durant les cinq dernières années. L'application des modèles markoviens cachés (HMM) du premier ordre a conduit 0 des résultats impressionnants dans le domaine de la reconnaissance de mots isolés et de la parole continue. Notre o...
International audience
Cette thèse traite de la reconnaissance de textes imprimes (OCR) à l'aide des modèles stochastiques de type markovien cache (hmm) et des modèles métriques de type euclidien. Ce travail nous a amenés dans une première partie à développer un certain nombre d'outils pour la preclassification rapide des caractères identiques afin de réduire le nombre d...
*
International audience
*
International audience
La práctica de normalización de la metodología empleada en la evaluación de resultados universitarios en España recurre a autorizadas fuentes de información de los USA. La producción de resultados de la actividad investigadora por parte de Vicerrectorados de investigación y oficinas de transferencia de resultados de investigación (OTRI) ofrece la o...
Le calcul des constructions est d'abord un lambda-calcul type d'ordre supérieur avec polymorphisme et types dépendants. La forte normalisation de ce lambda-calcul a été prouvée par Thierry Coquand qui en a fait un langage logique d'ordre supérieur permettant de coder la logique naturelle intuitionniste. Il en a démontré la cohérence et en a réalisé...
