113 résultats : automate

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
113 résultats
page 4 sur 12
résultats 31 à 40
Canal-U
Jonglerie, automates et combinatoire
Description : Florent Hivert, enseignant-chercheur en informatique et jongleur amateur présentera, lors de cette conférence de vulgarisation « grand public », la démarche de modélisation à travers des figures traditionnelles de jonglerie. Le modèle ainsi obtenu fait apparaître naturellement une très jolie famille ...
Mots clés : combinatoire, worpitsky, polynôme eulerien, permutation, cartier-foata, groupe systémique, figure périodique, jonglerie, automate fini, modélisation, moebius
Date : 19-01-2016
Droits : Droits réservés à l'éditeur et aux auteurs. Université de Rouen - Tous droits réservés
 En savoir plus
 Description complète
Jonglerie, automates et combinatoire
 Ajouter à mon panier
Accéder aux documents
Canal-U
Test et vérification automatique pour systèmes musicaux interactifs
Description : Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition augmentée » écrite dans un langage spécialisé qui décrit en particulier des aspects temporels, des ...
Mots clés : test et vérification automatique, système musical interactif
Date : 03-07-2014
Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
 En savoir plus
 Description complète
Test et vérification automatique pour systèmes musicaux interactifs
 Ajouter à mon panier
Accéder aux documents
Canal-U
Auto-encodeurs pour la compréhension de documents parlés
Description : JEP-TALN-RECITAL 2016 - Mercredi 6 juillet 2016 Session commune JEP/TALN 1 Auto-encodeurs pour la compréhension de documents parlés Killian Janod, Mohamed Morchid, Richard Dufour, Georges Linarès and Renato De Mori Résumé : Les représentations de documents au moyen d'approches à base de réseaux ...
Mots clés : Traitement Automatique des Langues, Traitement Automatique de la Parole
Date : 06-07-2016
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Auto-encodeurs pour la compréhension de documents parlés
 Ajouter à mon panier
Accéder aux documents
Canal-U
La modélisation mathématique des langues naturelles
Description : L'objet central de la linguistique contemporaine est de modéliser les langues naturelles et leur fonctionnement, c'est-à-dire comment un locuteur exprime un sens dans une langue donnée ou comment à partir d'un énoncé linguistique il récupère son sens. De questions sur la langue sont nées des branches ...
Mots clés : linguistique informatique, sémantique, modélisation mathématique, modèle statistique, grammaire générative, langue naturelle, linguistique mathématique, structure syntaxique, traitement automatique de la langue
Date : 03-11-2002
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
La modélisation mathématique des langues naturelles
 Ajouter à mon panier
Accéder aux documents
UNIT
Programmation Logique et Intelligence Artificielle
Description : Cette présentation est une introduction à la logique de programmation. Les trois premières parties expliquent comment se conçoit la logique de programmation à travers le prisme du langage Prolog, vous verrez comment se construit une base de connaissances sous Prolog c'est-à dire définir un fait, ...
Mots clés : Prolog, apprentissage automatique, réseau neuronal, fuscia
Date : 04-02-2003
Droits : Ce cours est diffusé sous licence Creative Common "Paternité sans utilisation commerciale et reproduction des droits de l'œuvre à l'identique", ce qui signifie que vous pouvez communiquer, reproduire, distribuer l'œuvre au public à condition de citer les auteurs et le titre. Vous avez inte ...
 En savoir plus
 Description complète
Programmation Logique et Intelligence Artificielle
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
L'algorithme de Pledge
Description : Ou comment sortir d’un labyrinthe plongé dans l’obscurité...
Mots clés : algorithme de Pledge, labyrinthe, changement de direction, commande automatique, fuscia
Date : 20-05-2009
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
L'algorithme de Pledge
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Alan Turing : du concept à la machine
Description : Alan Turing a contribué à l’informatique sur un plan conceptuel puis en participant concrètement à la réalisation des premiers ordinateurs.
Mots clés : Histoire de l'Informatique, Alan Turing, calcul automatique, machine de Turing, ordinateur, fuscia
Date : 27-07-2012
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Alan Turing : du concept à la machine
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
Stratégies d'adaptation de la vitesse d’articulation lors de conversations spontanées entre locuteurs natifs et non-natifs
Description : JEP-TALN-RECITAL 2016 - Vendredi 8 juillet 2016 Session commune JEP/TALN 3 Stratégies d'adaptation de la vitesse d’articulation lors de conversations spontanées entre locuteurs natifs et non-natifs Barbara Kühnert and Tanja Kocjan?i? Antolík Résumé : Cet article examine la vitesse d’articulation ...
Mots clés : traitement automatique de la langue, Traitement Automatique des Langues
Date : 08-07-2016
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Stratégies d'adaptation de la vitesse d’articulation lors de conversations spontanées entre locuteurs natifs et non-natifs
 Ajouter à mon panier
Accéder aux documents
Canal-U
Safety Verification of Deep Neural Networks
Description : Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. With potential applications including ...
Mots clés : classification image, verification automatique, apprentissage profond, apprentissage automatique
Date : 19-10-2017
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Safety Verification of Deep Neural Networks
 Ajouter à mon panier
Accéder aux documents
Canal-U
Apprentissage automatique et Big Data
Description : Nous vivons à l'ère de l'information : les données numériques prennent une place croissante en sciences, dans le monde technologique et dans la société. Un mot fourre-tout a même été créé récemment pour décrire cette tendance : le Big Data... Mais comment extraire du sens de toutes ces données ? ...
Mots clés : big data, apprentissage automatique, analyse automatique de données
Date : 06-11-2014
Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
 En savoir plus
 Description complète
Apprentissage automatique et Big Data
 Ajouter à mon panier
Accéder aux documents