Archive des séminaires

Mark van den Brand
ASF+SDF: Generic Language Technology for (Automated) Transformations
31 mai 2005 - 14 h - Auditorium

Yannick Chevalier
Association de malfaiteurs
26 mai 2005 - 14 h - Auditorium

Christophe Guittenit et Ivan Frain
Cycle grille 6 : Stockage de données pour grille : vers la haute performance
14 avril 2005 - 14 h - Auditorium

Ludovic Mé
Cycle grille 5 : Sécurité et sécurité dans les grilles
24 mars 2005 - 14 h - Auditorium

Lionel Brunie
Cycle grille 4 : Gestion de données dans les grilles de calcul
03 mars 2005 - 14 h - Auditorium

Gaël Gutard
Entrées/sorties à haute performance dans les grappes de calculateurs
08 février 2005 - 14 h - Auditorium

Alain Frisch
Cduce : Un langage fonctionnel pour manipuler des documents XML
16 décembre 2004 - 14 h - Auditorium

Christian Perez
Cycle Grille 3 : Des composants logiciels pour la programmation des grilles de calcul
09 décembre 2004 - 14 h - Auditorium

Maarten Marx
Asking queries to XML documents using « until » and « since »
18 novembre 2004 - 14 h - Auditorium

Frédéric Desprez
Cycle Grille 2 : Nouveaux résultats autour de DIET, une boîte-à-outils pour le développement d'environnement de type serveurs de calculs
17 novembre 2004 - 14 h - Auditorium

Martin Strecker
Compilation Certifiée
10 novembre 2004 - 14 h - Auditorium

Michel Daydé et Marc Pantel
Cycle Grille 1 : Introduction aux grilles de calcul et de données
04 novembre 2004 - 14 h - Auditorium

Jakob Engblom
Simulating Computer Systems for Fun & Profit
28 septembre 2004 - 14 h 30 - Salle des thèses

Stephan Merz
MTLA, spécification de systèmes à code mobile
01 juillet 2004 - 14 h 30 - Auditorium

Thierry Denœux
Cycle Classification 9 : Théorie des fonctions de croyance
03 juin 2004 - 14 h - Auditorium

Cédric Richard
Cycle Classification 8 : SVM et autres méthodes à noyau pour l’analyse de données
06 mai 2004 - 14 h - Auditorium

Jörgen Hansson
Efficient Data Management in Real-Time Embedded Systems - Approaches to ensure data consistency and timeliness
06 mai 2004 - 10 h - Auditorium

Alain Giros et Mihai Datcu
Cycle Classification 7 : Fouille d'images et reconnaissance de la scène
22 avril 2004 - 14 h - Auditorium

Hatem Ghorbel
Cycle Classification 6 : Classification des documents structurés
25 mars 2004 - 13 h 30 - Auditorium

Carl Frélicot et Laurent Mascarilla
Cycle Classification 5 : Classification avec rejet
18 mars 2004 - 14 h - Auditorium

Eyke Hüllermeier
On Searching Vague Patterns in Data
15 mars 2004 - 10 h 30 - Salle des thèses

Claude Barras
Cycle Classification 4 : Classification et reconnaissance de la parole
26 février 2004 - 14 h - Auditorium

Maurizio Falcone
Résolution de l'équation de l'eikonale par l'algorithme fast marching et applications
19 février 2004 - 14 h - Auditorium

Xavier Descombes
Cycle Classification 3 : Utilisation de l'information contextuelle pour la classification d'image: l'approche Bayesienne
15 janvier 2004 - 14 h - Auditorium

Manuel Davy
Cycle Classification 2 : Une Introduction aux Méthodes à Vecteurs Support et autres Algorithmes à Noyaux
11 décembre 2003 - 14 h - Auditorium

Jean-Yves Tourneret
Cycle Classification 1 : Un tour d'horizon sur la classification
27 novembre 2003 - 14 h - Auditorium

Thomas Sudkamp
Dependence, temporality and imprecision in data mining
24 novembre 2003 - 14 h - Auditorium

Sabine van-Huffel
Cycle Optimisation 8 : Moindres Carrés Totaux (TLS) et Modèles avec Erreurs dans les Variables (Explicatives) (EIV)
09 octobre 2003 - 14 h - Auditorium

Daniel Thalmann
Les défis de la modélisation de l'activité humaine dans les environnements virtuels
19 juin 2003 - 15 h - Amphi Concorde, Bât. U4

Didier Dubois
Cycle Optimisation 9 : Contraintes flexibles : un compromis entre modélisation par contraintes et optimisation
12 juin 2003 - 14 h - Auditorium

Yves Lesperance
Sur la déliberation avec des informations incomplètes
27 mai 2003 - 14 h - Auditorium

Philippe Toint
Cycle Optimisation 7 : Les méthodes de filtre en optimisation non linéaire
15 mai 2003 - 14 h - Auditorium

Thomas Sudkamp
Fuzzy sets in knowledge discovery
06 mai 2003 - 14 h - Auditorium

Jean-Louis Lagouanelle
Cycle optimisation 6 : Optimisation globale : les méthodes issues de l'Analyse d'Intervalle
17 avril 2003 - 14 h - Auditorium

Thomas Schiex
Cycle Optimisation 5 : Réseaux de contraintes, incohérence et optimisation : formalismes de représentation, propriétés et algorithmes
10 avril 2003 - 14 h - Auditorium

Mia Hubert
Cycle Optimisation 4 : Régression linéaire robuste et estimation robuste de la covariance : théorie, algorithmes, programmes, applications
03 avril 2003 - 14 h - Auditorium

Alain Trognon
Cycle Dialogue 5 : L'apport de la Logique Interlocutoire à l'étude des jeux de discours
27 mars 2003 - 14 h - Auditorium

Jean-Raymond Abrial
B, historique et futur
25 mars 2003 - 14 h - Auditorium

Daniel Luzzati
Cycle Dialogue 4 : Pour une « grammaire interactive »
20 mars 2003 - 14 h - Auditorium

Maurice Nivat
Pavages du plan et sous-ensembles homogènes de Z2
13 mars 2003 - 14 h - Auditorium

Jean-François Puget
Cycle optimisation 3 : Programmation mathématique et programmation par contraintes
20 février 2003 - 14 h - Auditorium

Marc Pauly
Multiagent systems as games
17 février 2003 - 14 h - Auditorium

Gérard Verfaillie
Cycle optimisation 2 : " Dynamic Programming " contre " Branch and Bound ", " Variable Elimination " contre " Variable Conditioning " pour la résolution complète de problèmes d'optimisation combinatoire
13 février 2003 - 14 h - Auditorium

Anne Vilnat
Cycle dialogue 3 : Dialogue Homme-Machine : comment tenir compte de ce qui a été dit pour mieux comprendre, et mieux répondre
06 février 2003 - 14 h - Auditorium

Joseph Noailles
Cycle optimisation 1 : Vous avez dit " optimisation "...!
30 janvier 2003 - 14 h - Auditorium

David Traum
Cycle Dialogue 2 : Ideas on Multi-layer dialogue management for Multi-party, Multi-conversation, Multi-modal communication
23 janvier 2003 - 14 h - Auditorium

Philippe Palanque et Rémi Bastide
Génie Logiciel et Systèmes Interactifs
19 décembre 2002 - 14 h - Auditorium

Laurent Karsenty et Dominique Longin
Cycle dialogue 1 : Le dialogue : parlons-en !
12 décembre 2002 - 14 h - Auditorium

Harald Kosch
Distributed Multimedia Databases: Mobil Agents and MPEG-21
28 novembre 2002 - 14 h - Auditorium

Prof. Sergey Baranov
Requirement Capturing and 3CR Approach
21 novembre 2002 - 10 h 30 - Auditorium

RALPH MATTHES
Intensional Aspects of Coinductive Syntax
20 juin 2002 - 14 h - IRIT, Salle du conseil

PIERRE GLIZE
CYCLE SYSTÈMES MULTI - AGENTS, 5 : Un défi pour les systèmes multi-agents : explorer l'émergence
14 juin 2002 - 14 h - IRIT, Auditorium

CÉLINE ROUVEIROL
CYCLE APPRENTISSAGE 5 - Programmation Logique Inductive : (bref) etat de l'art et perspectives
06 juin 2002 - 14 h - IRIT, Auditorium

JOHN FOX
Intelligent Agents in Medical Care: an Analysis of Experience and a Theorical Synthesis
04 juin 2002 - 14 h 30 - IRIT, Auditorium

GUILHERME BITTENCOURT
A la recherche de l'élan perdu
23 mai 2002 - 14 h - IRIT, Auditorium

RADKO MESIAR
Scale Invariant Operators
06 mai 2002 - 10 h - IRIT, Salle des thèses

Jean BEZIVIN
Des objets vers les modèles : une analyse de la nouvelle organisation MDA de l'OMG
27 mars 2002 - 14 h - IRIT, Salle des thèses

Helene PAUGAM-MOISY
CYCLE APPRENTISSAGE 4 :Reseaux de neurones artificiels et Support Vector Machines
14 mars 2002 - 14 h - IRIT, Auditorium

Masahiro HAMANO
Softness of MALL Proof-Structures and a Correctness Criterion with Mix
05 mars 2002 - 10 h 30 - IRIT, Salle des thèses

Jacques FERBER
D'un modèle "centré agent" à un modèle "centré organisation" dans les systèmes multi-agents.
28 février 2002 - 14 h - IRIT, Auditorium

Isabelle BLOCH
Morphologie mathématique et relations spatiales
06 février 2002 - 10 h - IRIT, Salle des thèses

Michele SEBAG
CYCLE APPRENTISSAGE 2 - Programmation génétique pour l'apprentisage de programmes sous la contrainte des connaissances du domaine
17 janvier 2002 - 14 h - IRIT, auditorium

Gilles RICHARD
CYCLE APPRENTISSAGE 1 - Apprentissage : beaucoup de questions, quelques reponses
20 décembre 2001 - 14 h - IRIT, auditorium

Valentin SHEKHTMAN
Many-dimensional modal logics
29 novembre 2001 - 14 h - IRIT, Auditorium

Michael FREUND
Révision conditionnelle dans les systèmes induits
22 novembre 2001 - 14 h - IRIT, Auditorium

Yves DEMAZEAU
CYCLE MULTI-AGENTS 2 : Méthodologie des systèmes multi-agents
15 novembre 2001 - 14 h - IRIT, Auditorium

François POTTIER
Inférence de types à bases de contraintes
08 novembre 2001 - 14 h - IRIT, Auditorium

Marie-Pierre GLEIZES
CYCLE SYSTÈMES MULTI-AGENTS 1 : Panorama des concepts et applications des systèmes multi-agents
27 septembre 2001 - 14 h - IRIT, Auditorium