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
|
|
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
|
|
Demain, l’écriture
/ DCAM - Département Conception et Assistance Multimédia - Université Bordeaux Segalen, Service Culturel - Université Victor Segalen Bordeaux 2
/ 07-11-2007
/ Canal-U - OAI Archive
HERRENSCHMIDT Clarisse
Voir le résumé
Voir le résumé
Comment définir l’écriture aujourd’hui ? C’est à cette question que tente de répondre Clarisse Herrenschmidt en apportant des exemples explicites de la transformation majeure de l’écriture et des signes dans les 20 dernières années avec l’émergence des nouvelles technologies et l’usage de plus en plus diffus de l’ordinateur. Cette révolution graphique se traduit par la transformation de l’écriture en information: à un caractère ou une police correspond un nombre traduit par la machine. Contrairement au langage humain, le langage informatique n’est pas ambigu; il est le produit de la logique informatisée et permet par un ensemble écrit de caractères, de mots, de donner des instructions à l’ordinateur. Cette transformation sémiologique en écriture informatique et téléinformatique change notre mode de pensée et nos habitudes de travail. Nous traitons aujourd’hui la langue, les nombres et la monnaie (via la carte bleue) avec le même outil : l’ordinateur. Dès le départ, la machine a été pensé comme un cerveau informatique; l’organe de pensée humain a été externalisé et projeté dans un artéfact qui est une machine à signes. Mais pour Clarisse Herrenschmidt les interrogations sont ailleurs : que vaut la parole humaine ? Les usages de la parole se sont affadis, aplatis, au détriment des variations infinies que propose une langue. Comment allons-nous parler ? toujours de façon plate et dé-symbolisée ou assisterons-nous à un redéploiement des possibilités ?La conférence a été donnée à l'Université Victor Segalen Bordeaux 2 dans le cadre du cycle de conférences "L'invité du Mercredi" / Saison 2007-2008 sur le thème "Demain, Après-demain". Service culturel Université Victor Segalen de Bordeaux 2 / DCAM / Mot(s) clés libre(s) : écriture, interaction homme-ordinateur, langage humain, langage informatique, linguistique, sémiologie, signe, traitement automatique du langage naturel
|
Accéder à la ressource
|
|
Christiane Frougny - Systèmes de numération et automates (Part 1)
/ Fanny Bastien
/ 27-06-2013
/ Canal-u.fr
Frougny Christiane
Voir le résumé
Voir le résumé
Automates
finis et langages rationnels de mots finis • Automates finis et mots
infinis • Systèmes de numération à base réelle • Nombres de Pisot,
nombres de Parry et nombres de Perron • Systèmes de numération définis
par une suite Mot(s) clés libre(s) : mathématiques, Grenoble, école d'été, dynamics, institut fourier, summer school, number theory, automates, Systèmes de numération
|
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
|
|
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
|
|
Apprendre à coloriser des images
/ Inria / Interstices
/ 15-07-2019
/
Bugeau Aurélie, Papadakis Nicolas
Voir le résumé
Voir le résumé
La colorisation d’archives est couramment utilisée dans le milieu audiovisuel pour restaurer et rendre plus réalistes des vidéos anciennes. Elle nécessite un travail manuel fastidieux qu'il est actuellement difficile d'automatiser. Quelles en sont les raisons ? Mot(s) clés libre(s) : colorisation image, apprentissage automatique, algorithme
|
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
|
|
Experts 2011 - L'expertise en industrie et automatisme
/ Canal-U/Sciences de la Santé et du Sport, CERIMES
/ 08-04-2011
/ Canal-U - OAI Archive
BÖHLEN Peter, STEIB Bertrand
Voir le résumé
Voir le résumé
Colloque des Compagnies des Experts de Justice du Grand Est. Organisé par la Compagnie de Reims sous la présidence d’honneur de Monsieur le Premier Président et de Monsieur le Procureur Général de la Cour d’Appel de Reims.Titre : L'expertise en industrie et automatismeIntervenants: Mr Bertrand STEIB, Ingénieur Conseil, Expert agréé par la Cour de Cassation et Mr Peter BÖHLEN, dipl.-ing. (FH), B.Eng. (Allemagne) Mot(s) clés libre(s) : 2011, automatisme, bohlen, expert, industrie, justice, reims, steib, table ronde
|
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
|
|