Skip to Main content Skip to Navigation

hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
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-01392526v1  Conference papers
Sopheap SengSethserey SamViet-Bac LeBrigitte BigiLaurent Besacier. Which unit for acoustic and language modeling for Khmer Automatic Speech Recognition?
International Workshop on Spoken Languages Technologies for Under-resourced languages, 2008, Hanoi, Vietnam. pp.33-38
hal-01393605v1  Conference papers
Sopheap SengLaurent BesacierBrigitte BigiEric Castelli. Multiple Text Segmentation for Statistical Language Modeling
Interspeech, Sep 2009, Brighton, United Kingdom. pp.2663-2666
hal-00390852v1  Conference papers
Najeh HajlaouiChristian Boitet. Portage linguistique de l'arabe et vers l'arabe
Infol@ngues III : Informatique et langues, Feb 2009, Tunisie. 10 p
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
hal-01392533v1  Conference papers
Viet-Bac LeSopheap SengLaurent BesacierBrigitte Bigi. Word/sub-word lattices decomposition and combination for speech recognition
IEEE International conference on Acoustics, Speech and Signal Processing, 2008, Las Vegas, United States. pp.4321 - 4324, ⟨10.1109/ICASSP.2008.4518611⟩
hal-01392538v1  Conference papers
Sopheap SengSethserey SamLaurent BesacierBrigitte BigiEric Castelli '. First Broadcast News Transcription System for Khmer Language
Sixth International Conference on Language Resources and Evaluation, 2008, Marrakech, Morocco. pp.2658-2661
tel-00390299v1  Habilitation à diriger des recherches
William Triggs. Reconstruction monoculaire du mouvement humain, et autres travaux 2000-2004
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2005
inria-00590216v1  Conference papers
Daniel WeinlandRémi RonfardEdmond Boyer. Automatic Discovery of Action Taxonomies from Multiple Views
IEEE Conference on Computer Vision and Pattern Recognition (CVPR '06), Jun 2006, New York, United States. pp.1639--1645, ⟨10.1109/CVPR.2006.65⟩
inria-00548685v1  Book sections
Theo GeversJoost van de WeijerHarro Stokman. Color feature detection
Rastislav Lukac and Konstantinos N. Plataniotis. Color image processing: methods and applications, 9, CRC press, pp.203-226, 2006, 978-0-8493-9774-5. ⟨10.1201/9781420009781⟩
inria-00520150v1  Conference papers
Marie-Paule CaniFlorence Bertails-Descoubes. Hair Interactions
Eurographics Tutorial, Sep 2006, Vienna, Austria
inria-00548592v1  Conference papers
Ankur AgarwalBill Triggs. Hyperfeatures - multilevel local coding for visual recognition
European Conference on Computer Vision (ECCV '06), May 2006, Graz, Austria. pp.30--43, ⟨10.1007/11744023_3⟩
inria-00590202v1  Journal articles
Radu HoraudDavid KnossowMarkus Michaelis. Camera Cooperation for Achieving Visual Attention
Machine Vision and Applications, Springer Verlag, 2006, 16 (6), pp.331--342. ⟨10.1007/s00138-005-0182-9⟩
inria-00590194v1  Conference papers
Hervé Mathieu. The Cyclope : A 6 DOF Optical Tracker Based on a Single Camera
2nd INTUITION International Workshop "VR/VE & Industry: Challenges and opportunities", Nov 2005, Paris, France
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-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-00510219v1  Journal articles
Sylvain ParisFrançois X. SillionLong Quan. A Surface Reconstruction Method Using Global Graph Cut Optimization
International Journal of Computer Vision, Springer Verlag, 2006, 66 (2), pp.141--161
inria-00598398v1  Master thesis
Thibault Philippe. Une approche géométrique pour la modélisation de vêtements virtuels
Synthèse d'image et réalité virtuelle [cs.GR]. 2006