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-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-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-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-00590205v1  Book sections
Hervé MathieuPhilippe Fuchs. Les Capteurs de Localisation
Philippe Fuchs. Le Traité de la Réalité Virtuelle : Interfaçage, immersion et interaction en environnement virtuel, 2, Les Presses de l'École des Mines de Paris, pp.63--90, 2006, Mathématiques et informatique, 9782911762635
inria-00386352v1  Conference papers
Peter Sturm. Modeling and Analysing Images of Generic Cameras
Symposium of the ISPRS on Photogrammetric Computer Vision, Sep 2006, Bonn, Germany
inria-00548521v1  Conference papers
J BlanchetFlorence ForbesCordelia Schmid. Modèles markoviens pour l'organisation spatiale de descripteurs d'images
Conférence Francophone sur l'Apprentissage Automatique (CAP '05), May 2005, Nice, France. pp.113-126
inria-00548613v1  Book sections
Peter CarbonettoGyuri DorkóCordelia SchmidHendrik KückNando de Freitas. A semi-supervised learning approach to object recognition with spatial integration of local features and segmentation cues
Jean Ponce and Martial Hebert and Cordelia Schmid and Andrew Zisserman. Towards category-level object recognition, 4170, Springer, pp.277--300, 2006, Lecture Notes in Computer Science (LNCS), 978-3-540-68794-8. ⟨10.1007/11957959_15⟩
inria-00548595v1  Book sections
Jean PonceTamara BergMark EveringhamDavid ForsythMartial Hebert et al.  Dataset issues in object recognition
Jean Ponce and Martial Hebert and Cordelia Schmid and Andrew Zisserman. Towards Category-Level Object Recognition, 4170, Springer, pp.29--48, 2006, Lecture Notes in Computer Science (LNCS), 978-3-540-68794-8
hal-00962011v1  Conference papers
Jana TrgalovaIranete Lima. Didactic decisions: the case of reflexion
Proceedings of the 30th Conference of the International Group for the Psychology of Mathematics Education, 16-21 July 2006), 2006, Prague, Czech Republic. pp.n.a
hal-00788784v1  Conference papers
Charbel El KaedLoïc PetitMaxime LouvelAntonin ChazaletYves Denneulin et al.  INSIGHT: Interoperability and Service Management for the Digital Home.
Middleware '11: Proceedings of the ACM/IFIP/USENIX 2011 International Conference on Middleware, 2011, Lisbon, Portugal. pp.a3, ⟨10.1145/2090181.2090184⟩
hal-01350631v1  Conference papers
Daniel BardouJean-Michel Adam. Sharing pedagogic practices and experience within an International Network of ISC Masters's programs
International conference “Education and sports in the prosperous epoch of the powerful state 2015", invited conference, at the invitation of the Ministry of Education of Turkmenistan, Nov 2015, Ashgabat, Turkmenistan. pp.258-259 (English), 432-433 (Russian), 57-58 (Turkmen)
hal-00948742v1  Journal articles
Nicolas BalacheffNathalie Gaudin. Modelling students conceptions (the case of functions).
Research in Collegiate Mathematics Education. Washington: American Mathematical Society, n.a., 2009, 16, pp.183-211
hal-00948830v1  Conference papers
Viviane GuéraudJean-Michel AdamAnne LejeuneNadine MandranNicolas Vezian et al.  Expérimentation d'un environnement flexible pour la supervision de travaux pratiques basés sur des simulations
Conférence Environnements Informatiques pour l'Apprentissage Humain, EIAH 09, 2009, Le Mans, France. (8 p.)
hal-00948763v1  Conference papers
Viviane GuéraudAnne LejeuneJean-Michel AdamMichel DuboisNadine Mandran. Supervising Distant Simulation-Based Practical Work: a flexible environment and its experimentation
Proceedings of Fourth european conference on Technology Enhanced Learning - EC-TEL 2009, in "Learning in the Synergy of Multiple Disciplines", Lecture Notes in Computer Science 5794, Springer, Volume 5794/2009, 2009, Nice, France. (6 p.)
hal-00948752v1  Conference papers
Valérie EminJean-Philippe PerninJose- Luis Aguirre-Cervantes. ScenEdit: An Intention-Oriented Authoring Environnment to Design Learning Scenarios
Sustaining TEL: From Innovation to Learning and Practice, 2010, Unknown, p. 626-631
hal-00948762v1  Conference papers
Viviane GuéraudAnne LejeuneJean-Michel AdamMichel DuboisNadine Mandran. Flexible Environment for Supervising Simulation-Based Learning Situations
AIED 09: The 14th International Conference on Artificial Intelligence in Education, 2009, Brighton, United Kingdom. (3 p.)
hal-00962006v1  Conference papers
Emmanuelle Villiot-LeclercqJean-Pierre DavidAnne Lejeune. Expressing Learning Scenarios with Computer Independant Models
ICALT 2006: The 6th IEEE International Conference on Advanced Learning Technologies, Kerkrade, The Netherlands, 2006, Unknown, pp.520-522
hal-00962080v1  Conference papers
Vu Minh ChieuVanda Luengo. A Bayesian Network Based Approach for Student Diagnosis in Complex and Ill-structured Domains
TICE 2006, Information and Communication Technologies in Higher Education and Industry, 2006, Unknown, (6 p.)