Skip to Main content Skip to Navigation

Search by documents

inria-00539220v1  Conference papers
Tan-Viet-Anh TruongDavid FlavigneJulien PettréKatja MombaurJean-Paul Laumond. Reactive synthesizing of human locomotion combining nonholonomic and holonomic behaviors
IEEE/RAS-EMBS International Conference on Biomedical Robotics and Biomechatronics (BIOROB 2010), Sep 2010, Tokyo, Japan
hal-00782505v1  Journal articles
Ludovic HoyetFranck MultonKatja MombaurEiichi Yoshida. Balance in dynamic situations: role of the underlying model
Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, 2009, "Société de Biomécanique" congress special issue, 12 (Suppl 1), pp.147-149
hal-00646426v1  Conference papers
Benoit CombemaleXavier CrégutArnaud DieumegardMarc PantelFaiez Zalila. Teaching MDE through the Formal Verification of Process Models
7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
hal-00953888v1  Conference papers
Philippe JolyJenny Benois-PineauEwa KijakGeorges Quénot. The ARGOS campaign: Evaluation of Video Analysis Tools
Fifth International Workshop on Content-Based Multimedia Indexing (CBMI'07), 2007, Bordeaux, France. ⟨10.1109/CBMI.2007.385402⟩
inria-00555754v1  Journal articles
Guillaume FeuilladeSophie Pinchinat. Modal Specifications for the Control Theory of Discrete Event Systems
Discrete Event Dynamic Systems, Springer Verlag, 2007, 17 (2), pp.211-232
hal-00766735v1  Conference papers
Benoît CaillaudJean-Baptiste Raclet. Ensuring Reachability by Design
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227, ⟨10.1007/978-3-642-32943-2_17⟩
inria-00001155v1  Conference papers
Nicolas BonnelMax Chevalier. Critères d'évaluation pour les interfaces des systèmes de recherche d'information
3ème Conférence en Recherche d'Information et Applications (CORIA'06), LIRIS, Mar 2006, Lyon, France. pp.109-114
hal-00766793v1  Conference papers
Albert BenvenisteBenoît CaillaudJean-Baptiste Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs
51st IEEE Conference on Decision and Control, Jay A. Farrell, Dec 2012, Maui, Hawaii, United States
hal-00269302v1  Conference papers
Michel HurfinJean-Pierre Le NarzulFrédéric MajorczykLudovic MéAyda Saidane et al.  A dependable intrusion detection architecture based on agreement services
Eighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p
inria-00556839v1  Book sections
Sébastien GambsYves Deswarte. Protection de la vie privée: principes et technologies
Daniel Le Métayer. Les technologies de l'information au service des droits : opportunités, défis, limites, 32, Bruylant Bruxelles, 2010, Cahiers du Centre de Recherches Informatique et Droit (CRID), 978-2-8027-2960-0
inria-00556830v1  Journal articles
Sébastien GambsYves Deswarte. A Proposal for a Privacy-preserving National Identity Card
Transactions on Data Privacy, IIIA-CSIC, 2010, 3 (3), pp.253-276
inria-00556835v1  Conference papers
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. GEPETO: a GEoPrivacy-Enhancing TOolkit
Proceedings of the International Workshop on Advances in Mobile Computing and Applications: Security, Privacy and Trust, held in conjunction with the 24th IEEE AINA conference, Apr 2010, Perth, Australia. ⟨10.1109/WAINA.2010.170⟩
inria-00556833v1  Conference papers
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. Show me how you move and I will tell you who you are
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS (SPRINGL'10), Nov 2010, San José, United States. ⟨10.1145/1868470.1868479⟩
inria-00555044v1  Conference papers
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
inria-00544163v1  Conference papers
Matthieu PuigtEmmanuel VincentYannick Deville. Validity of the independence assumption for the separation of instantaneous and convolutive mixtures of speech and music sources
8th Int. Conf. on Independent Component Analysis and Signal Separation (ICA), Mar 2009, Paraty, Brazil. pp.613--620
inria-00544027v1  Book sections
Emmanuel VincentYannick Deville. Audio applications
P. Comon and C. Jutten. Handbook of Blind Source Separation, Independent Component Analysis and Applications, Academic Press, pp.779--819, 2010, ⟨10.1016/B978-0-12-374726-6.00024-2⟩
hal-00926244v1  Conference papers
Benoit CombemaleJulien DeantoniRobert FranceFrédéric BoulangerSébastien Mosser et al.  Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
hal-00832196v2  Conference papers
Mehdi BadrDan VodislavDavid PicardPhilippe-Henri GosselinShaoyi Yin. Multi-criteria Search Algorithm: An Efficient Approximate K-NN Algorithm for Image Retrieval
2013 IEEE International Conference on Image Processing (ICIP 2013), Sep 2013, Melbourne, Australia. pp.2901-2905, ⟨10.1109/ICIP.2013.6738597⟩
inria-00000284v1  Conference papers
Franck CappelloFrédéric DesprezMichel DaydéEmmanuel JeannotYvon Jégou et al.  Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform
6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
inria-00001156v1  Conference papers
Nicolas BonnelMax Chevalier. Évaluation des Interfaces Utilisateur d'Information
4ème Atelier Visualisation et Extraction de Connaissances - EGC'06, Jan 2006, Lille, France. pp.23-38
hal-00591099v1  Conference papers
David GorisseFrédéric PreciosoPhilippe-Henri GosselinLionel GranjonDenis Pellerin et al.  IRIM at TRECVID 2010: Semantic Indexing and Instance Search
TRECVID - TREC Video Retrieval Evaluation workshop, Nov 2010, Gaithersburg, MD, United States
hal-00739332v1  Conference papers
Benoit CombemaleXavier CrégutMarc Pantel. A Design Pattern to Build Executable DSMLs and associated V&V tools
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China