Tri :
Date
Editeur
Auteur
Titre
|
|
Test et vérification automatique pour systèmes musicaux interactifs
/ INRIA (Institut national de recherche en informatique et automatique)
/ 03-07-2014
/ Canal-u.fr
JACQUEMARD Florent
Voir le résumé
Voir le résumé
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 stratégies de synchronisation musicien/machine, des procedures de rattrapage d’erreurs...
Afin de s'assurer d'un niveau de fiabilité suffisant pour l'utilisation lors d’un concert public, un important travail préparatoire est nécessaire, à l’instar des répétitions entre musiciens. Le niveau d’adaptabilité d’une machine restant bien sûr considérablement inférieur à celui d’un musicien, ces « répétitions » doivent prendre un caractère systématique et exhaustif, ce qui demande un traitement automatique.
Nous verrons comment des méthodes formelles pour la vérification ou le test de systèmes embarqués peuvent être appliquées dans ce cadre, se basant sur des modèles formels de partitions augmentées. Mot(s) clés libre(s) : test et vérification automatique, système musical interactif
|
Accéder à la ressource
|
|
Quand les machines apprennent à l'aide des réseaux de neurones profonds
/ Institut National de Recherche en Informatique et en Automatique / Interstices
/ 21-12-2018
/
Lepetit Vincent, Jongwane Joanna
Voir le résumé
Voir le résumé
Reconnaissance d'images, traduction automatique, voitures autonomes... Nombreux sont les domaines dans lesquels l'apprentissage profond ou deep learning est utilisé. Très en vogue, cette technique de l'intelligence artificielle est au cœur des progrès récents dans cette thématique scientifique. Vincent Lepetit, spécialiste du deep learning, décortique ce sujet complexe dans cet épisode du podcast audio. Mot(s) clés libre(s) : réseaux de neurones artificiels, deep learning, apprentissage automatique, vision par ordinateur
|
Accéder à la ressource
|
|
Production de sens et informatique
/ UTLS - la suite, Mission 2000 en France
/ 17-09-2000
/ Canal-U - OAI Archive
BALPE Jean-Pierre
Voir le résumé
Voir le résumé
" Comprendre c'est comprendre autrement " H. G. Gadamer Au début de l'été 2000, sur les murs d'une ville, deux affiches, deux affiches réelles : - La première, affichée dans des bars ou des boîtes de nuit, porte sur un fond totalement noir, en grosses lettres grises l'inscription suivante : " Le problème avec le dernier verre c'est que c'est parfois le dernier " - La deuxième, affichée sur les murs d'une commune de banlieue, plus complexe, représente un petit chien, genre roquet regardant les passants et portant dans sa mâchoire un journal plié dont seul le titre est partiellement lisible. Le slogan de l'affiche est le suivant : " Nous vous l'offrons, lui c'est moins sûr " Tout locuteur français interrogé comprend parfaitement ces deux affiches. Elles ont pour lui un sens évident et un seul. Et pourtant, un examen plus attentif en révèle toutes les ambiguïtés, c'est-à-dire toutes les difficultés à établir l'évidence de ce sens, difficultés qui, pour chacune d'elles repose sur des mécanismes tout à fait différents. Mot(s) clés libre(s) : génération automatique, informatique, intertexte, métatexte, programmation, sémantique, sens, syntaxe
|
Accéder à la ressource
|
|
Pipette automatique
/ Stéphane GISZCZEWSKI
/ 12-12-2013
/ Canal-u.fr
THEVENET Frédéric, RIFFAULT Véronique
Voir le résumé
Voir le résumé
Cette
vidéo présente le principe de fonctionnement ainsi que les bonnes pratiques
expérimentales assurant une utilisation fiable et durable des pipettes automatiques. Mot(s) clés libre(s) : liquide, automatique, pipettes, prélèvement, volume
|
Accéder à la ressource
|
|
Optimisation et apprentissage
/ Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique)
/ 17-04-2014
/ Canal-u.fr
d'Aspremont Alexandre
Voir le résumé
Voir le résumé
L'apprentissage est un domaine émergent à l'interface de l'informatique
et des statistiques, porté par la croissance exponentielle du flot de
données générées par des applications aussi variées que la biologie, le
commerce en ligne, l'imagerie, la vidéo, le traitement du langage, etc.
Ce domaine a la particularité d'offrir à la fois un vaste champs
d'expérimentation pour les mathématiques appliquées modernes, et des
perspectives industrielles dont nous n'avons pour l'instant qu'ébauché
la portée. Cet exposé couvrira quelques exemples importants
d'algorithmes et de résultats statistiques dans cette ligne, en les
illustrant sur un ensemble d'applications récentes et parfois
inattendues. Mot(s) clés libre(s) : mathématiques appliquées, apprentissage automatique
|
Accéder à la ressource
|
|
Linguistique et informatique : la traduction automatique
/ UTLS - la suite, Mission 2000 en France
/ 16-02-2000
/ Canal-U - OAI Archive
DANLOS Laurence
Voir le résumé
Voir le résumé
Conférence du 16 février 2000 par Laurence Danlos. La linguistique informatique est un domaine scientifique neuf, né du développement conjoint des modèles mathématiques et informatiques (théorie des langages formels) et de la formalisation des descriptions linguistiques. Il a pour objectif le traitement automatique du langage naturel et il se situe au carrefour de la linguistique et de l'intelligence artificielle ou des sciences cognitives dans leurs recherches sur le langage naturel.Les recherches en linguistiques informatiques débouchent sur des applications qui relèvent des Industries de la Langue. L'application la plus connue et la plus ancienne est la Traduction Automatique. Nous exposerons les principales difficultés rencontrées en Traduction Automatique et nous dresserons un bilan sur les systèmes existants et sur les perspectives. Nous présenterons ensuite un panorama des autres applications, en particulier celles issues de l'émergence du Web (La Toile) dans lesquelles les calculs statistiques se combinent avec les calculs linguistiques. Mot(s) clés libre(s) : ambiguité lexicale, intelligence artificielle, langage naturel, lemmatisation, linguistique informatique, modèle mathématique, sciences cognitives, sémantique, traduction assistée par ordinateur, traduction automatique
|
Accéder à la ressource
|
|
Le maintien de l'autonomie du sujet âgé
/ 14-01-2007
/ Canal-U - OAI Archive
TAVERNIER-VIDAL Béatrice
Voir le résumé
Voir le résumé
L'expérience montre que le comportement gestuel des soignants est déterminant dans le maintien de l'autonomie du sujet très âgé. Cette vidéo illustre les soins au quotidien et propose une technique de maintenance des automatismes par des gestes adaptés dans le retournement, le lever du lit et du fauteuil et la marche. Il est indispensable d'avoir des objectifs modestes et de valoriser les personnes âgées. Elle souligne la spécificité de l'approche gestuelle du vieillard.
Origine
FILMED 1995 - 96 4604 042 SCD médecine
Générique
Auteur : Tavernier-Vidal B. Co-auteurs : Tavernier-Vidal B. - Nourdin C. FILMED - 96 4604 042 Mot(s) clés libre(s) : automatismes, autonomie, FILMED, mouvements, personne âgée, prévention, retournement, vieillard, vieillissement musculaire
|
Accéder à la ressource
|
|
La modélisation mathématique des langues naturelles
/ UTLS - la suite
/ 03-11-2002
/ Canal-U - OAI Archive
KAHANE Sylvain
Voir le résumé
Voir le résumé
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 fondamentales des mathématiques : la modélisation du sens (et du raisonnement) a donné la logique et la modélisation de la syntaxe a donné la théorie des langages formels et les bases de l'informatique. Alors que ces objets mathématiques venus de la linguistique poursuivent une vie autonome, les modèles mathématiques de la langue continuent d'évoluer sur des architectures de plus en plus complexes intégrant un véritable calcul du sens et prenant en compte la diversité des comportements des mots et leur faculté de former toujours de nouveaux sens. Nous illustrerons notre propos par un fragment de modèle mathématique pour le français. Nous comparerons ces modèles symboliques avec les modèles statistiques basés sur l'analyse automatique de grands corpus textuels annotés. Nous nous intéresserons également aux (non) liens institutionnels entre linguistique et mathématique, ainsi qu'à la position de la linguistique mathématique par rapport à la linguistique informatique et au traitement automatique de la langue. Mot(s) clés libre(s) : grammaire générative, langue naturelle, linguistique informatique, linguistique mathématique, modèle statistique, modélisation mathématique, sémantique, structure syntaxique, traitement automatique de la langue
|
Accéder à la ressource
|
|
L'image informatique
/ UTLS - la suite
/ 17-07-2004
/ Canal-U - OAI Archive
BOUJEMAA Nozha
Voir le résumé
Voir le résumé
pas de résumé disponible Mot(s) clés libre(s) : image numérique, indexation multimedia, métadonnée automatique, page zéro, recherche d'images par le contenu, recherche d'information, recherche interactive, reconnaissance de formes, signature visuelle
|
Accéder à la ressource
|
|
Jonglerie, automates et combinatoire
/ 19-01-2016
/ Canal-u.fr
HIVERT Florent
Voir le résumé
Voir le résumé
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 d’automates finis. Ces derniers permettent de classifier et de nommer, par des suites de nombres, l’ensemble des figures de jonglerie possibles dans le cadre du modèle. L’obtention de nouvelles figures, jusqu’ici inconnues des jongleurs, permet alors de démontrer l’efficacité de ce modèle. Le public pourra le constater tant chez un jongleur que sur un simulateur.
La seconde partie de la conférence sera dédiée aux comptages des figures périodiques dans le cadre du modèle. Chacune d’entre elles correspond à un élément positif d’un groupe symétrique affine. Il s’ensuit une formule extrêmement simple dont la preuve utilise des ingrédients combinatoires profonds (bijection de Cartier-Foata, descentes des permutations, polynômes euleriens, formule de Worpitsky et inversion de Moebius). Mot(s) clés libre(s) : combinatoire, worpitsky, polynôme eulerien, permutation, cartier-foata, groupe systémique, figure périodique, jonglerie, automate fini, modélisation, moebius
|
Accéder à la ressource
|
|