Skip to Main content Skip to Navigation


hal-00953590v1  Conference papers
Yliès FalconeJean-Claude FernandezLaurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties
24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, ⟨10.1145/1529282.1529408⟩
hal-00860801v1  Conference papers
Sofia BekrarChaouki BekrarRoland GrozLaurent Mounier. Finding Software Vulnerabilities by Smart Fuzzing
ICST2011 - IEEE 4th International Conference on Software Testing, Verification and Validation, Mar 2011, Berlin, Germany. pp.427-430, ⟨10.1109/ICST.2011.48⟩
hal-00382843v1  Conference papers
Shadi AbrasStéphane PloixSylvie PestyMireille Jacomino. A multi-agent home automation system dedicated to power management : Anticipation mechanism
First Electrical Engineering Conference, Jun 2007, Aleppo, Syria. pp.1-10
hal-00382838v1  Conference papers
Shadi AbrasStéphane PloixSylvie PestyMireille Jacomino. A multi-agent home automation approach for power management
1st IFAC Workshop on Convergence of Information Technologies and Control Methods with Power Plants and Power Systems, Jul 2007, Cluj-Napoca, Romania. pp.93-98
hal-00637246v1  Journal articles
Shadi AbrasSylvie PestyStéphane PloixMireille Jacomino. Une approche multi-agent pour la gestion de l'énergie dans l'habitat
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2010, 24 (5), pp.649-671
inria-00544599v1  Journal articles
Rémi RonfardMarc Sigelle. Relaxation d'images de classification et modèles de la physique statistique
Traitement du Signal, Lavoisier, 1992, 9 (6), pp.449-458
inria-00356708v1  Journal articles
Emmanuel MazerJuan-Manuel AhuactzinPierre Bessière. The Ariadne's Clew Algorithm
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 1998, 9, pp.295-316
inria-00598445v1  Master thesis
Sylvain Trimoreau. Rendu non-photoréaliste de villes en temps réel
Synthèse d'image et réalité virtuelle [cs.GR]. 2001
inria-00510079v1  Conference papers
François X. Sillion. Will Anyone Really Use Radiosity?
Graphics Interface (GI'99) Proceedings, 1999, Ontario, Canada
inria-00590186v1  Journal articles
Tomas RodriguezIan ReidRadu HoraudNavneet DalalMarcelo Goetz. Image Interpolation for Virtual Sports Scenarios
Machine Vision and Applications, Springer Verlag, 2005, 16 (4), pp.236--245. ⟨10.1007/s00138-005-0177-6⟩
inria-00510140v1  Conference papers
Jean-Christophe LombardoClaude Puech. Modélisation d'objets déformables avec un système de particules orientées.
Deuxièmes journées de l'Association Française d'Informatique Graphique (AFIG '94), 1994, Toulouse, France. pp.161-175
inria-00384380v1  Conference papers
Tomislav PribanićPeter SturmPetar Bačić. A Human Body Model for Movement Analysis Using Optoelectronic System
World Congress of Biomechanics, 2006, Munich, Germany. pp.S645
inria-00182145v1  Conference papers
Cesar MendozaChristian Laugier. Tissue Cutting using Finite Elements and Force Feedback
Proc. of the Int. Symp. on Surgery Simulation and Soft Tissue Modeling, Jun 2003, Juan Les Pins (FR), France
inria-00510135v1  Conference papers
Stéphane Rivière. Topologically sweeping the visibility complex of polygonal scenes
11th Annual ACM Symposium on Computational Geometry, 1995, Vancouver, Canada. pp.436--437
inria-00510122v1  Conference papers
Rachel OrtiClaude Puech. Calcul efficace de facteurs de forme 2d applicable aux environnements dynamiques.
Troisièmes journées de l'Association Française d'Informatique Graphique (AFIG '95), 1995, Marseille, France. pp.15--22
hal-00349844v1  Journal articles
E. LobelJ. F. KleineD. Le BihanA. Leroy-WilligA. Berthoz. Functional MRI of galvanic vestibular stimulation.
Journal of Neurophysiology, American Physiological Society, 1998, 80 (5), pp.2699-709. ⟨10.1152/jn.1998.80.5.2699⟩
hal-00349912v1  Journal articles
E. LobelJ. F. KleineA. Leroy-WilligP. F. van de MoorteleD. Le Bihan et al.  Cortical areas activated by bilateral galvanic vestibular stimulation.
Annals of the New York Academy of Sciences, Wiley, 1999, 871, pp.313-23
inria-00548579v1  Conference papers
Nicu SebeTheo GeversSietse DijkstraJoost van de Weijer. Evaluation of intensity and color corner detectors for affine invariant salient regions
Computer Vision and Pattern Recognition Workshop (CVPRW '06), Jun 2006, New York, United States. pp.18, ⟨10.1109/CVPRW.2006.75⟩
inria-00548386v1  Conference papers
Long QuanRoger Mohr. Self-Calibration of An Affine Camera
6th International Conference on Computer Analysis of Images and Patterns (CAIP '95), Sep 1995, Prague, Czech Republic. pp.448--455, ⟨10.1007/3-540-60268-2_328⟩
inria-00548372v1  Conference papers
Zhong-Dan LanRoger Mohr. Precise Matching by Robust Estimation of Deformation and Local Coherence
Asian Conference on Computer Vision (ACCV '95), Dec 1995, Singapore, Singapore
inria-00598473v1  Master thesis
Diane Larlus. Création de Vocabulaires Visuels Efficaces pour la Catégorisation d'Images
Synthèse d'image et réalité virtuelle [cs.GR]. 2005
inria-00548330v1  Conference papers
Gustavo OlagueRoger Mohr. Camera Network Design by Natural Selection
Genetic Programming 1998 (GT '98), Jul 1998, Madison, United States. pp.567
inria-00386354v1  Conference papers
Peter Sturm. A Generic Framework for Structure&Motion and Camera Calibration
12th Seminar on Theoretical Foundations of Computer Vision -- Imaging Beyond the Pin-hole Camera, Jun 2004, Schloss Dagstuhl, Germany