4044 résultats  enregistrer la recherche


...
tel-00579879v1  Thèse
Vincent RobertModélisation de la coarticulation labiale: mise en œuvre sur une tête parlante
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2008. Français
...
tel-00675278v1  Thèse
Tom LeclercContributions for Advanced Service Discovery in Ad hoc Networks
Computer science. Université Henri Poincaré - Nancy I, 2011. English
...
tel-00927066v1  HDR
Stefan SchwoonEfficient verification of sequential and concurrent systems
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
...
tel-00927150v1  Thèse
Pankesh PatelEnabling High-Level Application Development for the Internet of Things
Ubiquitous Computing. Université Pierre et Marie Curie - Paris VI, 2013. English
...
tel-00876183v1  HDR
Jean-Daniel FeketeNouvelle génération d'Interfaces Homme-Machine pour mieux agir et mieux comprendre
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2005
...
tel-00610499v3  Thèse
Thang Luu BaMatrix-based implicit representations of algebraic curves and surfaces and applications
Mathematics [math]. Université Nice Sophia Antipolis, 2011. English
...
tel-00579806v1  Thèse
Szilárd VajdaCursive Bengali Script Recognition for Indian Postal Automation
Engineering Sciences [physics]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-00529718v1  Thèse
Xiao Chun Zhao Épouse BouryMéthodologie de conception d'un système expert pour la généralisation cartographique
Interface homme-machine [cs.HC]. Ecole Nationale des Ponts et Chaussées, 1990. Français
...
tel-00529467v1  Thèse
Xiaohua LeImplémentation d'un modèle d'acteur, application au traitement de données partielles en audit thermique de bâtiment
Modélisation et simulation. Ecole Nationale des Ponts et Chaussées, 1992. Français
...
pastel-00927122v1  Thèse
Zheng QuNonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
tel-00580411v1  Thèse
Fabrice DuprosContribution à la modélisation numérique de la propagation des ondes sismiques sur architectures multicoeurs et hiérarchiques
Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2010. Français
...
tel-00530131v1  Thèse
Jean-François PineauCommunication-aware scheduling on heterogeneous master-worker platforms
Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2008. English
...
tel-00180910v1  Thèse
Abdourahamane BaldéUtilisation de métadonnées et d'ontologie pour l'aide à l'interprétation des résultats de classification
Interface homme-machine [cs.HC]. Université Paris Dauphine - Paris IX, 2007. Français
...
pastel-00726487v1  Thèse
Alexandre BenoitAlgorithmique semi-numérique rapide des séries de Tchebychev
Calcul formel [cs.SC]. Ecole Polytechnique X, 2012. Français
...
tel-00726510v1  Thèse
Ali AssafA Common Aspect Languages Interpreter
Software Engineering [cs.SE]. Université de Nantes, 2011. English
...
tel-00429151v1  Thèse
Adrien BousseauExpressive image manipulations for a variety of visual representations
Human-Computer Interaction [cs.HC]. Université Joseph-Fourier - Grenoble I, 2009. English
...
pastel-00927358v1  Thèse
Zhiping RaoHamilton-Jacobi-Bellman approach for optimal control problems with discontinuous coefficients
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
tel-01420460v2  Thèse
Pierre HalmagrandAutomated Deduction and Proof Certification for the B Method
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
...
tel-00429825v1  HDR
Jean-Baptiste PometEquivalence et Linearisation des systèmes de contrôle
Mathématiques [math]. Université Nice Sophia Antipolis, 2009
...
tel-00981136v1  Thèse
Laércio L. PillaTopology-Aware Load Balancing for Performance Portability over Parallel High Performance Systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble; UFRGS, 2014. English
...
tel-01081055v1  Thèse
Jean-Christophe BachUn îlot formel pour les transformations de modèles qualifiables
Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français
...
tel-00181462v1  Thèse
Julien CoudonAlgorithmes de Commande Pour Le Pilotage d'Une Direction Découplée
Automatique / Robotique. Institut National Polytechnique de Grenoble - INPG, 2007. Français
...
tel-00530296v1  Thèse
Thierry SteinRendu narratif en synthèse d'images
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2010. Français
...
tel-00379199v1  HDR
Nicolas HolzschuchSimulation Photoréaliste de l'éclairage en Synthèse d'Images
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2007
...
tel-00379321v1  Thèse
Laurent FavreauModélisation du mouvement des quadrupèdes à partir de la vidéo
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2006. Français
...
tel-00379318v1  Thèse
Daniel WeinlandAction Representation and Recognition
Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-00379206v1  Thèse
Clement MenierSystème de vision temps-réel pour les interactions
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2007. Français