HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
tel-00004896v1  Theses
Radu Mateescu. Vérification des propriétés temporelles des programmes parallèles
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
...
tel-00425390v1  Theses
David Cachera. Validation formelle des langages à parallélisme de données
Génie logiciel [cs.SE]. École normale supérieure de Lyon - ENS Lyon, 1998. Français
tel-01747636v1  Theses
Jean-Luc Husson. Une approche hiérarchique de la segmentation du signal de parole
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10292⟩
...
tel-00004870v1  Theses
Jérôme Blanc. Synthèse de nouvelles vues d'une scène 3D à partir d'images existantes
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
...
tel-00528829v1  Theses
Nicolas Tsingos. Simulation de champs sonores de haute qualité pour des applications graphiques interactives
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1998. Français
...
tel-00832483v1  Theses
Stéphane Nullans. Reconstruction géométrique de formes - Application à la géologie
Géométrie algorithmique [cs.CG]. Université Nice Sophia Antipolis, 1998. Français
...
tel-00004894v1  Theses
Bart Lamiroy. Reconnaissance et modélisation d'objets 3D à l'aide d'invariants projectifs et affines
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1998. Français
...
tel-00005591v1  Theses
Gilbert Caplain. Propriétés de correction séquentielle dans un langage parallèle à mémoire partagée
Réseaux et télécommunications [cs.NI]. Ecole des Ponts ParisTech, 1998. Français
...
tel-00004898v1  Theses
Gustavo Olague. Planification du placement de caméras pour des mesures 3D de précision
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
...
tel-00001746v1  Theses
Alexis Scheuer. Planification de chemins à courbure continue pour robot mobile non-holonome
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
tel-01747674v1  Theses
Sohame Selhab. Logiques et réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10207⟩
...
tel-00004885v1  Theses
Stéphane Christy. Localisation et modélisation tridimensionnelles par approximations successives du modèle perspectif de caméra
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français
...
tel-03371774v1  Theses
Erven Rohou. Infrastructures et stratégies de compilation pour parallélisme à grain fin
Autre [cs.OH]. Université de Rennes 1, 1998. Français
...
tel-00991717v1  Theses
Frédéric Chyzak. Fonctions holonomes en calcul formel
Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français