WorldCat Identities

École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes)

Overview
Works: 923 works in 1,343 publications in 2 languages and 1,374 library holdings
Roles: Other, Degree grantor, 996
Publication Timeline
.
Most widely held works by Alpes-Maritimes) École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis
Télédétection pour la qualité de l'air en milieu urbain by Ludovic Basly( Book )

2 editions published in 2000 in French and held by 6 WorldCat member libraries worldwide

La qualité de l'air en milieu urbain fait désormais partie des préoccupations des autorités responsables des grandes agglomérations. Les décideurs ont besoin d'outils permettant la surveillance de la pollution atmosphérique. Actuellement, il est impossible de connaître précisément la distribution spatiale des polluants. Les associations en charge de la qualité de l'air sont donc très intéressées par tous les moyens susceptibles d'affiner cette connaissance. La télédétection est un de ces moyens, aussi nous nous sommes attachés, au cours de cette thèse, à apporter des éléments de réponse utiles aux praticiens. L'analyse d'images-radar à synthèse d'ouverture (RSO), de l'agglomération nantaise, nous a permis de définir les facteurs influençant la perception de l'environnement urbain dans les images-radar. De cette analyse a découlé une étude pour cartographier la rugosité aérodynamique sur toute la ville. Ce paramètre, caractérisant la morphologie locale, est nécessaire à la modélisation de la dispersion des polluants au-dessus des villes. Nous avons utilisé pour cette cartographie des images-radar seules ou employées conjointement à l'imagerie optique. Une autre étude a été menée visant à obtenir une méthode innovante, faisant usage des données optiques en infrarouge thermique, pour cartographier la distribution spatiale du champ de concentration des particules en suspension (fumées noires). Des facteurs pouvant influencer les interactions entre les polluants et les autres bandes spectrales, du visible et de l'infrarouge, ont été étudiés. Dans un souci d'opérationnalité, que ce soit avec l'imagerie radar ou optique, les résultats des nouvelles méthodes ont été comparés avec ceux obtenus avec des méthodes conventionnelles
Analyse statique de programmes Java [et] application à la parallélisation by Romain Guider( Book )

2 editions published in 2000 in French and held by 4 WorldCat member libraries worldwide

Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse de programmes à objets comporte deux particularités que nous traitons séparément : l'analyse du flot de contrôle et la représentation des graphes d'objets. Dans un premier temps, nous présentons une analyse de flot de contrôle paramétrée par une représentation abstraite de graphes d'objets. Cette analyse est générique et peut servir de base à de nombreuses applications. De plus, elle est conçue par interprétation abstraite ce qui nous permet de montrer sa correction sous certaines hypothèses qui portent sur le domaine employé pour représenter les graphes d'objets. Nous dérivons de notre interpréteur abstrait une présentation des problèmes d'analyse statique sous la forme d'un système d'équations et nous prouvons que ce système d'équations est équivalent à l'interpréteur abstrait. La présentation sous cette forme permet de résoudre efficacement les problèmes d'analyse en utilisant des stratégies d'itérations de point fixe sophistiquées (et aussi d'utiliser des solveurs génériques) et de limiter le nombre de calculs qui est fait [sic] pendant les itérations de point fixe en les reportant sur la phase de construction du système d'équation (...). Dans un second temps nous instancions notre analyseur statique en utilisant un domaine abstrait pour les graphes d'objets qui est dû à Sagiv, Reps et Wilhelm. Nous étendons ce domaine pour construire une analyse interprocédurale (...). Enfin, nous décrivons une application de l'analyse statique à la parallélisation et à la distribution de programmes à objets (...)
Exploitation des ontologies pour la mémoire d'un projet-véhicule : méthode et outil SAMOVAR by Joanna Golebiowska( Book )

2 editions published in 2002 in French and held by 4 WorldCat member libraries worldwide

Application of the theory of the viscosity solutions to the shape from shading problem by Emmanuel Prados( Book )

2 editions published in 2004 in English and held by 4 WorldCat member libraries worldwide

Le problème du ``Shape From Shading'' est aujourd'hui considéré comme un problème mal posé et difficile à résoudre. Afin de bien comprendre les difficultés de ce problème et d'apporter des solutions fiables et pertinentes, nous proposons une approche rigoureuse basée sur la notion de solution de viscosité. En particulier, nous prouvons systématiquement l'existence et l'unicité de la solution; le cas échéant, nous proposons des caractérisations des solutions. Nous prouvons aussi la convergence de nos algorithmes. Après avoir considéré et exploité au maximum les équations (aux dérivées partielles) obtenues à partir de la modélisation classique du problème du ``Shape From Shading'', nous proposons et étudions de nouvelles équations provenant de modélisations plus réalistes que celles qui avaient été traitées classiquement dans la littérature. Cette démarche nous permet alors de démontrer qu'avec de telles nouvelles modélisations, le problème du ``Shape From Shading'' est généralement un problème complètement bien posé. En d'autres termes, nous prouvons que la version classique du problème du ``Shape from Shading'' est devenu mal posée à cause d'une trop grande simplification de la modélisation. Dans ce travail, nous proposons aussi une extension de la notion de solutions de viscosité singulières développée récemment par Camilli et Siconolfi. Cette extension nous permet de proposer une nouvelle caractérisation des solutions de viscosité discontinues. Ce nouveau cadre théorique nous permet aussi d'unifier les différents résultats théoriques proposés dans le domaine du ``Shape From Shading''
Construction et simulation graphiques de comportements : le modèle des Icobjs by Christian Brunette( Book )

2 editions published in 2004 in French and held by 4 WorldCat member libraries worldwide

Intuitively, a graphical simulation (virtual world, game,...) can be seen as a finite space in which several entities, each having its own behavior, evolve in parallel. So it seems natural to use concurrent languages to program those behaviors. However, it is seldom the case due to the complexity of programming and debugging them, because they introduce non-determinism and are inefficient. We proposed to use the Reactive Approach introduced by F. Boussinot to define clearly the behaviors of graphical entities. We enhanced a model of graphical reactive objects called Icobjs. This model enables non-specialists to graphically build complex behaviors using elementary behaviors and graphical constructors. We realized an API whose main class is Icobj. It defines a minimal structure which can be dynamically extended and which allows a generic graphical construction. A particular icobj called Workspace executes and displays all the icobjs it contains. Behaviors are executed by a reactive engine called Reflex which is dedicated to Icobjs. It reuses Junior's formalism's main primitives, while modifying some instructions' semantics and introducing new instructions. We formalized all instructions using rewriting rules in the SOS format. Moreover, we developed a framework for dynamic interaction with simulations. Finally, we present a few experiments with Icobjs in distributed, physical or multi-clock simulations
La gestion dynamique de la qualité de service dans l'Internet by Rares Serban( Book )

2 editions published in 2003 in English and held by 4 WorldCat member libraries worldwide

All applications used in a company are designed for Internet support. Some of these aplications (e.g., VoIP, teleworking) request QoS mechanisms in the network to assure their good behavior. Each QoS mechanism is provisioned in function of SLA (Service Level Agreement) established between user/application and ISPs (Internet Service Provider). The QoS management role is to preserve all specifications from SLA during the contracts' period. The QoS management could be static or dynamic. In the static case, the network QoS management is done by the network administrator, using manual tuning work based on trial-and-error process, during a large scale of time. The dynamic QoS management is based on QoS automated and adaptable mechanismes for a flexible and efficient management of the network resources. We consider in this thesis the following components of the dynamic management of the network resources: signaling protocols, algorithms of resource allocation and admission control, network monitoring mechanisms and QoS trade mechanisms among multiple network domains. We propose criteria classifications for Internet QoS signaling protocols and we analyse using this classification the most used QoS signaling protocols. Westudy the impact of the service level parameters (e.g., delay, jitter, bandwidth, packet loss) and the low level parametres/network parameters of different QoS mechanism implemented for Linux Diffserv network. Using a Linux Diffserv network we demonstrate that the static QoS management in some cases is not efficient. We propose a dynamic resource allocation mechanism (DRAM) for the core routers. We propose with our algorithm different sharing resources rules
Processus ponctuels marqués pour l'extraction automatique de caricatures de bâtiments à partir de modèles numériques d'élévation by Mathias Ortner( Book )

2 editions published in 2004 in French and held by 4 WorldCat member libraries worldwide

Cette thèse se place dans un cadre de reconstruction urbaine et propose un corpus algorithmique pour extraire des formes simples sur les Modèles Numériques d'Elévation. Ce type de données décrit le relief d'une zone urbaine par une grille régulière de points à chacun desquels est associée une information de hauteur. Les modèles utilisés reposent sur l'utilisation de processus ponctuels marqués. Il s'agit de variables aléatoires dont les réalisations sont des configurations d'objets géométriques. Ces modèles permettent d'introduire des contraintes sur la forme des objets recherchés dans une image ainsi qu'un terme de régularisation modélisé par des interactions entre les objets. Une énergie peut être associée aux configurations d'objets et la configuration minimisant cette énergie trouvée au moyen d'un recuit-simulé couplé à un échantillonneur de type Monte Carlo par Chaîne de Markov à sauts réversibles (RJMCMC). Nous proposons quatre modèles pour extraire des caricatures de bâtiments à partir de descriptions altimétriques de zones urbaines denses. Chaque modèle est constitué par une forme d'objet, une énergie d'attache aux données et une énergie de régularisation. Les deux premiers modèles permettent d'extraire des formes simples (rectangles) en utilisant une contrainte d'homogénéité pour l'un et une détection des discontinuités pour l'autre. Le troisième modèle modélise les bâtiments par une forme polyhédrique. Le dernier modèle s'intéresse à l'apport d'une coopération entre des objets simples. Les algorithmes obtenus, automatiques, sont évalués sur des données réelles fournies par l'IGN (MNE Laser et optiques de différentes qualités)
Analyse de textures dans l'espace hyperspectral par des méthodes probabilistes by Guillaume Rellier( Book )

2 editions published in 2002 in French and held by 4 WorldCat member libraries worldwide

Dans cette thèse, on aborde le problème de l'analyse de texture pour l'étude des zones urbaines. La texture est une notion spatiale désignant ce qui, en dehors de la couleur, caractérise l'homogénéité visuelle d'une zone donnée d'une image. Le but de cette étude est d'établir un modèle conjointement spectral et spatial de texture hyperspectrales, images caractérisées par un grand nombre de canaux. Les textures sont modélisées par un champ de Markov gaussien vectoriel. Ce champ est adapté aux images hyperspectrales par une simplification évitant l'apparition de problèmes d'estimation statistique dans des espaces de grande dimension. On effectue également une réduction de dimension des données par poursuite de projection, qui permet de déterminer un sous-espace de projection dans lequel un indice de projection est optimise. La méthode d'analyse de texture est testée dans le cadre d'une classification supervisée, grâce a 2 algorithmes que l'on applique a des images AVIRIS
Contours actifs d'ordre supérieur et leur application à la détection de linéiques dans les images de télédétection by Marie Rochery( Book )

2 editions published in 2005 in French and held by 3 WorldCat member libraries worldwide

Cette thèse aborde le problème de l'introduction d'une connaissance a priori sur la géométrie de l'objet à détecter dans le cadre général de la reconnaissance de formes dans une image. L'application choisie pour illustrer ce problème est la détection de réseaux de linéiques dans des images satellitaires et aériennes. Nous nous plaçons dans le cadre des contours actifs, qui ont été largement utilisés en traitement d'image pour l'extraction d'objets, et nous introduisons une nouvelle classe de contours actifs d'ordre supérieur. Cette classe permet la création de nouveaux modèles rendant possible l'incorporation d'informations géométriques fortes définissant plutôt qu'une forme spécifique, une famille générale de formes. Nous étudions, dans un premier temps, un cas particulier d'énergie quadratique qui favorise des structures à plusieurs bras de largeur à peu près constante et connectés entre eux. Cette énergie démontre les perspectives de modélisation qu'offre la nouvelles classe de contours actifs introduite. L'énergie étudiée ainsi que des termes linéaires de longueur et d'aire sont utilisés comme termes d'a priori pour les modèles d'extraction de linéiques que nous proposons. Plusieurs termes d'attache aux données sont proposés dont un terme quadratique permettant de lier la géométrie du contour et les propriétés de l'image. Un modèle d'extraction permettant de gérer les occultations est également présenté. Pour permettre la minimisation de l'énergie, nous développons un cadre méthodologique utilisant les courbes de niveau. Les forces non locales sont calculées sur le contour extrait avant d'être étendues sur tout le domaine considéré. Finalement, afin de résoudre certaines difficultés rencontrées avec les contours actifs standards ainsi que les nouveaux modèles, nous proposons d'utiliser des modèles de champs de phase pour modéliser les régions. Cette méthodologie offre une alternative avantageuse aux techniques classiques et nous définissons des modèles d'extraction de linéiques similaires aux contours actifs d'ordre supérieur dans ce cadre. La pertinence de tous les modèles proposés est illustrée sur des images satellitaires et aériennes réelles
Stabilisation globale de systèmes dynamiques positifs malconnus : applications en biologie by Ludovic Mailleret( Book )

2 editions published in 2004 in French and held by 3 WorldCat member libraries worldwide

Les travaux présentés dans cette thèse portent sur des problématiques de contrôle de systèmes non-linéaires d'équations différentielles ordinaires positifs. Les modèles issus des sciences de la vie, chargés de décrire l'évolution de quantités positives, appartiennent à cette classe de systèmes. Ces modèles comportent souvent certaines parties, liées à la biologie du processus considéré, qui sont de formes analytiques incertaines mais connues qualitativement. Nous proposons ici d'exploiter ces propriétés qualitatives au moyen d'une commande utilisant une mesure de l'incertitude, afin d'imposer au système un comportement simple : la convergence de l'état vers un équilibre unique et réglable. Après un bref état de l'art sur les systèmes positifs, nous introduisons les classes de systèmes pour lesquelles une stratégie de commande assurant la stabilisation globale est proposée. L'ajout d'une partie adaptative améliore cette stratégie, permettant alors de rejoindre un équilibre choisi, en dépit d'incertitudes paramétriques. Nous appliquons ces résultats théoriques à plusieurs modèles biologiques : gestion de la pêche, culture de micro-organismes en bioréacteurs... Une de nos principales applications porte sur la stabilisation de bioprocédés exploitant e réseaux trophiques microbiens en cascade. Nous avons pu valider expérimentalement notre démarche sur un cas particulier de ces procédés : un fermenteur anaérobie, procédé de traitement biologique de l'eau à haut rendement mais très sensible aux conditions opératoires
Modèles de contours actifs basés régions pour la segmentation d'images et de vidéos by Stéphanie Jehan-Besson( Book )

2 editions published in 2003 in French and held by 3 WorldCat member libraries worldwide

L'objectif de cette thèse est l'élaboration de modèles de contours actifs basés régions pour la segmentation d'images et de vidéos. Nous proposons de segmenter les régions ou objets en minimisant une fonctionnelle composée d'intégrales de régions et d'intégrales de contours. Dans ce cadre de travail, les fonctions caractérisant les régions ou les contours sont appelées « descripteurs ». L'équation d'évolution associée est calculée en utilisant les outils de dérivation de domaines. Par ailleurs, nous prenons en compte le cas des descripteurs dépendant de la région qui évoluent au cours de la propagation du contour. Le cadre de travail développé est ensuite mis en œuvre pour des applications variées de segmentation comprenant la segmentation du visage en utilisant le déterminant de la matrice de covariance, la segmentation de régions d'intérêt en utilisant une distance à un histogramme de référence et la détection des objets vidéos
Contribution à l'étude de l'estimation du contraste en interférométrie by Yoann Cavallin( Book )

2 editions published in 2004 in French and held by 3 WorldCat member libraries worldwide

Ce mémoire consiste en l'étude statistique de signaux astrophysiques. Il porte sur l'estimation du contraste des franges d'interférence issu d'un interféromètre stellaire de Michelson. Dans un premier temps, le problème de la modélisation statistique d'une image interférométrique s'est posé. Une expression analytique des moments du premier et second ordre de l'image a été déterminée pour un interféromètre à longue base. Puis l'accent a été mis sur la difficulté d'établir la distribution de l'image, notamment lorsque l'acquisition en comptage de photons est envisagée. Plusieurs solutions sont proposées. Pour l'une d'elles, la distribution gaussienne, la connaissance des moments a permis de calculer une borne asymptotique sur la variance du contraste estimé: la borne de Cramér-Rao. Cette borne est comparée à la variance des estimateurs actuels du contraste, puis recalculée lorsque le paramètre de Fried - relatif à l'intensité de la turbulence atmosphérique - est supposé inconnu. Dans un second temps, la question de l'estimation du contraste a été soulevée. Cette étude présente deux difficultés majeures. Tout d'abord, les méthodes paramétriques s'appuyant sur la loi de distribution sont à exclure, car cette distribution est supposée partiellement connue ou difficilement exploitable. Seul un modèle de la densité spectrale du processus est accessible. Dans le cas de signaux stationnaires (ou homogènes), une solution consiste à utiliser l'estimateur issu du critère de Whittle. Ensuite, le caractère non homogène de l'image empêche l'utilisation de la plupart des méthodes classiques d'estimation. Néanmoins il est possible d'établir un critère d'estimation paramétrique, de structure identique au critère de Whittle, mais basé sur la distribution de la transformée de Fourier discrète du signal. L'estimation du contraste a été menée à partir de ce critère. Les avantages liés à l'utilisation de l'estimateur proposé sont observés avec des images simulées, comme avec des données interférométriques de l'étoile Véga. De plus un algorithme itératif utilisé pour la minimisation du critère a été étudié. Pour cette application, la convergence globale de l'algorithme est prouvée
Evaluation des performances du contrôle de congestion dans l'Internet by Chadi Barakat( Book )

2 editions published in 2001 in French and held by 3 WorldCat member libraries worldwide

On étudie dans cette thèse les performances des mécanismes de contrôle de congestion du protocole TCP. Ces mécanismes sont très importants pour la stabilité de l'Internet étant donné le grand volume du trafic transporté par TCP. On développe pour ce but plusieurs modèles analytiques. Nos modèles sont divisés en deux groupes : les modèles de bout en bout et les modèles qui considèrent les caractéristiques et les mécanismes du réseau. L'objectif des modèles de bout en bout est de trouver des expressions simples pour le débit moyen d'une connexion TCP de longue durée. On essaie de garder nos modèles les plus généraux possibles pour qu'ils puissent couvrir les différentes manières avec lesquelles le réseau rejette les paquets de la connexion TCP. En utilisant des techniques de la théorie de processus stochastiques, on trouve des expressions explicites pour le débit moyen de TCP qu'on valide avec des mesures sur l'Internet. Concernant le deuxième groupe de modèles, l'objectif est d'étudier les performances des transferts TCP dans des environnements difficiles au protocole. On considère les trois environnements montrés dans la littérature comme étant les plus difficiles au protocole : l'environnement ayant un grand produit délai-bande passante, l'environnement ayant une importante asymétrie de bande passante entre le chemin d'aller et le chemin de retour, et l'environnement sans fil où les paquets TCP sont le plus souvent perdus pour une autre raison que la congestion. Pour chaque environnement, on propose un modèle analytique ainsi qu'un ensemble de mécanismes et de solutions pour aider le protocole TCP dans son fonctionnement. Les résultats de notre deuxième groupe de modèles sont validés par des simulations sur ns. La thèse contient aussi une présentation des différents travaux qui ont été effectués sur les mécanismes de contrôle de congestion de TCP depuis leur introduction dans l'Internet
Modèles de contours actifs pour la segmentation d'images et de vidéos by Muriel Gastaud( Book )

2 editions published in 2005 in French and held by 3 WorldCat member libraries worldwide

Image segmentation is the partition of an image in region of interest against a background. We performed image segmentation using an active contour algorithm in a variational framework. The active contour evolves from an initial contour towards the region of interest following an evolution equation. In a variational framework, the evolution equation is deduced from the derivation of a criterion. The criterion characterizes the region of interest according to, for example, its motion, its colour homogeneity or its texture. The derivation os provided using shape gradients, a tool coming from shape optimisation theory. We propose two criterions and provide for each criterion the derivation process and the associated evolution equation. The first criterion defines a free form a priori constraint on the contour by minimizing the distance between the active contour and a reference one. We applied this criterion to shape warping, image segmentation, and video tracking. The second criterion assumes that object motion can be described by a motion model. The evolution of the active contour according to the minimization of this criterion provides a joint motion segmentation and estimation on a group of pictures. We applied this criterion to image segmentation and motion estimation, and to video tracking
Mise en oeuvre et évaluation d'outils de fusion d'image en radiothérapie by Pierre-Yves Bondiau( Book )

2 editions published in 2004 in French and held by 3 WorldCat member libraries worldwide

Cancer is a major problem of public health. Treatment can be done in a general or loco-regional way, in which case medical images are important as they specify the localization of the tumour. The objective of the radiotherapy is to deliver a curative dose of radiation in the target volume while sparing the organs at risks (OAR). The determination of the accurate localization of the targets volume as well as OAF makes it possible to define the ballistics of irradiation beams. After the description of the principles of radiotherapy and cancers treatment, we specify the clinical stakes of ocular, cerebral and prostatic tumours. We review the state of the art image matching algorithms, with a didactic purpose for the medical community. The results of image matching techniques are presented in the framework of cerebral and prostatic radiotherapy planning in order to determine the types of applicable method in oncology. Then, we present the prospects for these methods with respect to the anatomical localization and automatic segmentation. Applications of automatic segmentation and the evaluation of the results in the framework of brain tumour are described after a review of the various segmentation methods according to anatomical localizations. An original application is the digital simulation of the virtual tumoral growth and the comparison with the real growth of a cerebral tumour presented by a patient. We conclude with the future developments possible of the tools for image processing in radiotherapy as well as the tracks of research to be explored in oncology
Markov chains and decision processes for congestion avoidance and power control by Balakrishna Jitendra Prabhu( Book )

2 editions published in 2005 in English and held by 3 WorldCat member libraries worldwide

Cette thèse contient quelques applications des chaînes de Markov et des processus de décision markoviens pour la contrôle de congestion et de puissance. D'abord nous étudions le comportement de la taille de la fenêtre d'une source qui utilise l'algorithme MIMD. Nous montrons que le logarithme de la taille de la fenêtre suit une récurrence stochastique additive, et est une chaîne de Markov. Nous montrons aussi que le débit obtenu par une source est proportionnel à l'inverse de la probabilité de perte d'un paquet. Ensuite, nous analysons le processus de la taille de la fenêtre d'un algorithme de contrôle de congestion en temps continu. Nous pourvoyons des conditions sous lesquelles deux algorithmes ont le même comportement. Puis, nous étudions le processus de rapport de deux sources qui utilisent l'algorithme MIMD et qui partagent la capacité d'un goulot d'étranglement. Pour les sources hétérogènes, nous montrons que l'intensité du processus de perte de paquet doit être supérieure à une constante qui dépend des paramètres des algorithmes pour que l'indice d'équité s'améliore. Ensuite, nous présentons un modèle stochastique pour obtenir la distribution jointe du nombre instantané de paquets et sa moyenne mobile. Ensuite, nous étudions un problème de commande optimale en temps discret. Un appareil mobile veut transmettre des paquets et conserver son énergie en même temps. Nous montrons que la politique optimale est un contrôle à seuil. Enfin, par simulations, nous étudions le délai des flots TCP sur la voie descendante de l'UMTS lorsque deux politiques différentes de commutation de canaux sont utilisées
Analyse et modélisation du rythme cardio-respiratoire au repos et à l'effort by Ghailen Laouini( Book )

2 editions published in 2012 in French and held by 3 WorldCat member libraries worldwide

Dans ces travaux, nous nous intéressons à la modélisation de la variabilité du rythme cardiaque (HRV) à l'exercice. L'objectif de cette thèse est donc d'étudier la HRV à l'exercice en prenant en compte la respiration. Le modèle IPFM a été utilisé pour expliquer le mécanisme utilisé par le système nerveux autonome pour contrôler le rythme cardiaque. A l'aide des pics générés par ce modèle, nous étudions la relation entre la période cardiaque, qui est la différence entre deux pics successifs, et le signal de modulation. Nous proposons le modèle TVIPFM avec trois approches différentes (A, B, C) comme alternative au modèle IPFM pour estimer la modulation du système nerveux autonome, adaptée à l'exercice. Le modèle TVIMPFM permet alors de corriger la variabilité cardiaque. Cette variabilité sera filtrée dans la bande de la fréquence respiratoire et dans le domaine temps-fréquence, en utilisant différentes méthodes de représentations temps-fréquence. Ceci s'explique par le caractère non stationnaire du signal observé. Nous présentons différentes représentations temps-fréquence linéaires et quadratiques permettant ce filtrage et justifiant leur utilisation. L'EMD est abordée également pour sa propriété de décomposition en signaux « monocomposantes ». Des simulations nous ayant permis de sélectionner la meilleure correction IPFM et la meilleure représentation temps-fréquence pour le filtrage, une application réelle étendue est proposée. Dans celle-ci, on montre qu'à l'aide de cette chaîne de traitement la corrélation avec l'âge de la transplantation et la variabilité du rythme cardiaque existe bien
Large scale diffusion of information in publish-subscribe systems by Raphaël Chand( Book )

2 editions published in 2005 in English and held by 3 WorldCat member libraries worldwide

CETTE THESE EST CONSACREE A L'ETUDE DE RESEAUX DE TYPE PUBLICATION/ABONNEMENT DANS LESQUELS DES PRODUCTEURS PUBLIENT DE L'INFORMATION A L'INTENTION DE CONSOMMATEURS. LES DONNEES SONT DIFFUSEES SELECTIVEMENT EN FONCTION DE LEUR NATURE ET DES INTERETS DES CONSOMMATEURS. LES RESEAUX DE CE TYPE SONT DEVENUS UN THEME DE RECHERCHE TRES POPULAIRE CAR ILS OFFRENT UN GRAND DECOUPLAGE ENTRE LES ELEMENTS DU SYSTEME, PERMETTANT DE PASSER AISEMENT A L'ECHELLE. DANS UN PREMIER TEMPS, NOUS PRESENTONS UN SYSTEME DE TYPE PUBLICATION/ABONNEMENT QUE NOUS AVONS SPECIALEMENT CONCU POUR LA DIFFUSION EFFICACE ET FIABLE DE DOCUMENTS XML A LARGE ECHELLE. NOTRE SYSTEME INTEGRE PLUSIEURS TECHNOLOGIES ET ALGORITHMES NOVATEURS, TELS QUE L'AGREGATION DE SOUSCRIPTIONS. NOUS AVONS REALISE DE NOMBREUSES SIMULATIONS ET NOUS AVONS DEPLOYE NOTRE SYSTEME SUR LA PLATE-FORME EXPERIMENTALE MONDIALE PLANETLAB. LES RESULTATS MONTRENT QUE NOTRE SYSTEME EST EFFICACE ET PASSE AISEMENT A L'ECHELLE, ET EST CAPABLE DE SE RECONSTITUER RAPIDEMENT SUITE A DES PANNES DE LIENS OU DE ROUTEURS. DANS UN DEUXIEME TEMPS, NOUS PROPOSONS UNE APPROCHE ORIGINALE POUR CONCEVOIR UN SYSTEME DE TYPE PUBLICATION/ABONNEMENT. NOTRE SYSTEME EST BASE SUR LE CONCEPT PAIR-A-PAIR. LA PRINCIPALE INNOVATION EST L'UTILISATION D'UN PROTOCOLE DE ROUTAGE EXTREMEMENT SIMPLE. IL EN RESULTE UNE CERTAINE PERTE DE PRECISION, QUE NOUS POUVONS CEPENDANT MINIMISER EN ORGANISANT LES PAIRS EN FONCTION DE LEURS INTERETS DANS DES ''COMMUNAUTES SEMANTIQUES'', AU MOYEN DE METRIQUES DE PROXIMITE ADEQUATES. L'EVALUATION EXPERIMENTALE MONTRE QUE LE ROUTAGE EST EFFECTIVEMENT PRECIS ET TRES EFFICACE EN PRESENCE DE GRANDES POPULATIONS DE CONSOMMATEURS
Adaptative algorithms for background estimation to detect moving objects in videos by Anh-Tuan Nghiem( Book )

2 editions published in 2010 in English and held by 2 WorldCat member libraries worldwide

Dans cette thèse, nous nous intéressons à la détection d'objets mobiles dans des séquences vidéo. En particulier, nous proposons une nouvelle méthode d'estimation du fond qui peut s'adapter aux différentes variations de la scène (ex. changements d'illumination, du fond). Cette méthode est composée d'un algorithme de soustraction du fond pour détecter les pixels du fond et d'un algorithme de post-traitement pour éliminer les changements d'illumination tels que les ombres des objets mobiles. Pour que cette méthode puisse s'adapter à une scène dynamique, nous proposons un contrôleur avec deux stratégies d'adaptation. La première stratégie supervise l'algorithme de soustraction du fond pour mettre à jour la représentation du fond en fonction du type d'objets détectés et des conditions d'illumination. Cette stratégie permet aux algorithmes de soustraction du fond de résoudre des problèmes concernant des petits bruits, des changements soudains d'illumination, la gestion des objets stationnaires, et aussi la détection des objets d'intérêt quand ils s'arrêtent de bouger. La deuxième stratégie règle les valeurs des paramètres de l'algorithme de soustraction du fond pour qu'il puisse s'adapter aux conditions courantes de la scène telles que le niveau de bruit. Pour atteindre ces objectifs, le contrôleur utilise les résultats des tâches de classification et de suivi, les informations diverses des algorithmes (ex. la sémantique des paramètres), ainsi que la nature de la scène observée (ex. scènes intérieures ou extérieures). L'algorithme de soustraction du fond proposé est une extension du modèle de Mélange de Gaussiennes et il prend en compte les caractéristiques de la scène tels que les mouvements du fond et les changements dynamiques du fond. Cet algorithme propose également une nouvelle méthode pour mieux estimer la moyenne et l'écart type des distributions gaussiennes dans la représentation du fond. L'étape de post-traitement consiste en un algorithme pour supprimer les changements d'illumination à l'aide d'un nouvel espace de couleurs. Cet espace de couleurs est robuste aux changements d'illumination, ainsi que des irrégularités de caméras (la balance de blanc, la transformation non-linéaire lorsque l'intensité de lumière est faible par exemple). Cette méthode a été validée dans la base de données publiques ETISEO et dans une vidéo d'une heure du projet GERHOME
Implantation de structures de données compactes pour les triangulations by Abdelkrim Mebarki( Book )

2 editions published in 2008 in French and held by 2 WorldCat member libraries worldwide

La modélisation des objets géométriques est incontournable dans de nombreuses disciplines et applications. L'évolution des moyens d'acquisition et de stockage a produit une hausse énorme des volumes utilisés pour stocker ces objets. La réduction des tailles de ces volumes fait l'objet de plusieurs domaines de recherches ; comme la compression, qui vise à compresser le volume au maximum, et l'élaboration de structures théoriques compactes qui minimisent la taille nécessaire à la représentation. Le but de cette thèse est de concevoir, et d'évaluer des solutions pratiques et exploitables pour représenter de façon compacte les triangulations. Pour ce faire, deux issues sont explorées: modifier la représentation interne en mémoire des objets géométriques, et redéfinir les types abstraits des objets géométriques correspondants. Une première solution consiste à utiliser des indices sur une taille arbitraire de bits, au lieu des références absolues. Les gains dépendent de la taille de la triangulation, et aussi de la taille du mot mémoire de la machine. Le handicap majeur est le coût élevé de la méthode en termes de temps d'exécution. Une deuxième piste consiste à utiliser des catalogues stables. L'idée consiste à regrouper les triangles dans des micro-triangulations, et de représenter la triangulation comme un ensemble de ces micro-triangulations. Le nombre des références multiples vers les sommets, et des références réciproques entre voisins est alors nettement réduit. Les résultats sont prometteurs, sachant que le temps d'exécution n'est pas dramatiquement altéré par la modification des méthodes d'accès aux triangles. Une troisième solution consiste à décomposer la triangulation en plusieurs sous-triangulations permettant ainsi de coder les références dans une sous-triangulation sur un nombre réduit de bits par rapport aux références absolues. Les résultats de cette techniques sont encourageants, et peuvent être amplifiés par d'autres techniques comme le codage relatif des références, ou le partage de l'information géométrique des sommets sur les bords entre les différentes sous-triangulations. L'élaboration de structures compactes nécessite encore plus d'intérêts, et plusieurs pistes sont à explorer pour pouvoir arriver à des solutions plus économiques en termes d'espace mémoire
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Télédét ... to 0.00 for Télédét ...)

Alternative Names
École doctorale 84

École doctorale STIC

ED 084

ED 84

ED084

ED84

Languages
French (30)

English (10)