9875 articles  [english version]
.:. Consultation > Liste par domaine > Informatique .:.
980 documents classés par :
Première Page Page Précédente ... 8 - 9 - 10 - 11 - 12 - 13 - 14 ... Page Suivante Page Finale
fulltext access Bayesian and Quasi-Monte Carlo spherical integration for global illumination
Marques R.
Université Rennes 1 (22/10/2013), Kadi Bouatouch (Dir.) [tel-00979655 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Détection automatique de chutes de personnes basée sur des descripteurs spatio-temporels : définition de la méthode, évaluation des performances et implantation temps-réel
Charfi I.
Université de Bourgogne Université de Monastir (Tunisie) (21/10/2013), Johel Mitéran;Rached Tourki;Julien Dubois (Dir.) [tel-00959850 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Méthodes variationnelles pour la segmentation d'images à partir de modèles : applications en imagerie médicale
Prevost R.
Université Paris Dauphine - Paris IX (21/10/2013), Laurent David Cohen (Dir.) [tel-00932995 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Nouvelle génération de systèmes de vision temps réel à grande dynamique
Lapray P.-J.
Université de Bourgogne (18/10/2013), Dominique Ginhac;Barthélémy Heyrman (Dir.) [tel-00947744 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access An approach for online learning in the presence of concept changes
Jaber G.
Université Paris Sud - Paris XI (18/10/2013), Philippe Tarroux;Antoine Cornuejols (Dir.) [tel-00907486 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Développement et vérification des logiques probabilistes et des cadres logiques
Maksimović P.
Université Nice Sophia Antipolis Univerzitet u Novom Sadu (15/10/2013), Luigi Liquori;Silvia Ghilezan (Dir.) [tel-00907854 - version 3]
STAR - Dépôt national des thèses électroniques
fulltext access BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
Fortin J.
Université Paris-Est (14/10/2013), Frédéric Gava (Dir.) [tel-00974977 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Analyse et modélisation multi-agents de transports flexibles : Comparaison de services français et sénégalais
Lammoglia A.
Université d'Avignon Ecole Supérieure Polytechnique de Dakar - Sénégal (14/10/2013), Didier Josselin;Roger Faye (Dir.) [tel-00903655 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Analyse macroscopique des grands systèmes : émergence épistémique et agrégation spatio-temporelle
Lamarche-Perrin R.
Université de Grenoble (14/10/2013), Jean-Marc Vincent;Yves Demazeau (Dir.) [tel-00933186 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Cycle de vie sémantique de conception de systèmes de stockage et manipulation de données
Khouri S.
ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers (12/10/2013), Ladjel Bellatreche;Thouraya Bouaban-Tebibel (Dir.) [tel-00926657 - version 1]
STAR - Dépôt national des thèses électroniques