Skip to Main content Skip to Navigation

hal-01636772v1  Poster communications
Nazim HaouchineAntoine PetitFrederick RoyStéphane Cotin. Deformed Reality: Proof of concept and preliminary results
ISMAR 2017 - 16th IEEE International Symposium on Mixed and Augmented Reality, Oct 2017, Nantes, France. 2017
hal-00655485v1  Conference papers
Bruno Cuervo ParrinoJulien NarbouxEric ViolardNicolas Magaud. Dealing with arithmetic overflows in the polyhedral model
IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
hal-00584902v1  Journal articles
Simon TamayoThibaud MonteiroNathalie Sauer. Deliveries optimization by exploiting production traceability information
Engineering Applications of Artificial Intelligence, Elsevier, 2009, 22 (4/5), pp. 557-568. ⟨10.1016/j.engappai.2009.02.007⟩
hal-00580612v2  Journal articles
Simon TamayoSimon TamayoThibaud MonteiroNathalie Sauer. Dispersion optimization using a genetic algorithm
International Journal of Advanced Operations Management, Inderscience, 2009, 1 (2/3), pp.267-285. ⟨10.1504/IJAOM.2009.030676⟩
hal-02538101v1  Book sections
Andrea MendizabalEleonora TagliabueTristan HoellingerJean-Nicolas BrunetSergei Nikolaev et al.  Data-driven simulation for augmented surgery
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
hal-02276090v1  Journal articles
Eleonora TagliabueDiego Dall’albaEnrico MagnaboscoChiara TengaIgor Peterlik et al.  Position-based modeling of lesion displacement in Ultrasound-guided breast biopsy
International Journal of Computer Assisted Radiology and Surgery, Springer Verlag, 2019, 14 (8), pp.1329-1339. ⟨10.1007/s11548-019-01997-z⟩
hal-01823810v1  Conference papers
Sergei NikolaevIgor PeterlikStéphane Cotin. Stochastic Correction of Boundary Conditions during Liver Surgery
CVCS 2018 - 9th Colour and Visual Computing Symposium 2018, NTNU: Norwegian University of Science and Technology, Sep 2018, Gjovik, Norway. pp.1 - 4, ⟨10.1109/CVCS.2018.8496720⟩
hal-00931859v1  Conference papers
Frédéric BimbotGabriel SargentEmmanuel DerutyCorentin GuichaouaEmmanuel Vincent. Semiotic Description of Music Structure: an Introduction to the Quaero/Metiss Structural Annotations
AES 53rd International Conference on Semantic Audio, Jan 2014, London, United Kingdom. pp.P1-1
hal-00429158v1  Journal articles
Xavier AntoinePierre DreyfussKarim Ramdani. A construction of beam propagation methods for optical waveguides
Communications in Computational Physics, Global Science Press, 2009, 6 (3), pp.565-576
hal-00912767v1  Book sections
Amélie CordierValmi Dufour-LussierJean LieberEmmanuel NauerFadi Badra et al.  Taaable: a Case-Based System for personalized Cooking
Montani, Stefania and Jain, Lakhmi C. Successful Case-based Reasoning Applications-2, 494, Springer, pp.121-162, 2014, Studies in Computational Intelligence, 978-3-642-38735-7. ⟨10.1007/978-3-642-38736-4_7⟩
hal-01353185v1  Conference papers
Nazim HaouchineFrederick RoyLionel UntereinerStéphane Cotin. Using Contours as Boundary Conditions for Elastic Registration during Minimally Invasive Hepatic Surgery
International Conference on Intelligent Robots and Systems, Oct 2016, Daejeon, South Korea
hal-01243204v1  Conference papers
Walid BelkhirNicolas RatierDuy Duc NguyenBin YangMichel Lenczner et al.  Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Sep 2015, Timisoara, Romania
hal-00641321v1  Conference papers
Tigran AvanesovYannick ChevalierMohammed Anis MekkiMichaël RusinowitchMathieu Turuani. Distributed Orchestration of Web Services under Security Constraints
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
hal-00641326v1  Conference papers
Tigran AvanesovYannick ChevalierMohammed Anis MekkiMichaël Rusinowitch. Web Services Verification and Prudent Implementation
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
hal-00675954v2  Reports
Yannick ChevalierMounira Kourjieh. Automated Synthesis of a Finite Complexity Ordering for Saturation
[Research Report] IRIT - Institut de recherche en informatique de Toulouse; LORIA (Université de Lorraine, CNRS, INRIA). 2012
hal-00646350v2  Conference papers
Jean-Christophe BachXavier CrégutPierre-Etienne MoreauMarc Pantel. Model Transformations with Tom
LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
hal-00560496v1  Journal articles
Fahima CheikhPierre-Cyrille HeamOlga Kouchnarenko. Composition of Services with Constraints
Electronic Notes in Theoretical Computer Science, Elsevier, 2010, 236 (Special Issue, selected papers of FACS'09), pp.31--46. ⟨10.1016/j.entcs.2010.05.003⟩
hal-00730738v1  Conference papers
Jean-Christophe BachPierre-Etienne MoreauMarc Pantel. Tom-based tools to transform EMF models in avionics context
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
hal-00642855v1  Conference papers
Yannick ChevalierMohammed Anis MekkiMichaël Rusinowitch. Orchestration under Security Constraints
Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria
hal-01524609v1  Conference papers
Nazim HaouchineStéphane Cotin. Template-based Monocular 3D Recovery of Elastic Shapes using Lagrangian Multipliers
Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, Hawai, United States
hal-01542395v1  Conference papers
Nazim HaouchineDanail StoyanovFrederick RoyStéphane Cotin. DejaVu: Intra-operative Simulation for Surgical Gesture Rehearsal
Medical Image Computing and Computer Assisted Interventions Conference MICCAI 2017, Oct 2017, Quebec City, Canada
hal-00885965v1  Conference papers
Elias EghoChedy RaïssiToon CaldersNicolas JayAmedeo Napoli. Vers une mesure de similarité pour les séquences complexes
Extraction et gestion des connaissances (EGC'2013), Jan 2013, Toulouse, France. pp.335-340
hal-01116686v2  Conference papers
Thomas PrätzlichRachel BittnerAntoine LiutkusMeinard Müller. Kernel additive modeling for interference reduction in multi-channel music recordings
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Apr 2015, Brisbane, Australia
hal-01094383v1  Journal articles
Elias EghoChedy RaïssiToon CaldersNicolas JayAmedeo Napoli. On measuring similarity for sequences of itemsets
Data Mining and Knowledge Discovery, Springer, 2015, 29 (3), pp.33. ⟨10.1007/s10618-014-0362-1⟩
inria-00553519v1  Conference papers
Éric Villemonte de la ClergerieChristelle AyacheGaël de ChalendarGil FrancopouloClaire Gardent et al.  Large scale production of syntactic annotations for French
First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, ISO TC37/SC4, Jan 2008, Hong-Kong, Hong Kong SAR China
hal-00481868v1  Conference papers
Alexandre DenisLina Maria Rojas BarahonaMatthieu Quignard. Extending MMIL Semantic Representation: Experiments in Dialogue Systems and Semantic Annotation of Corpora
Fifth Joint ISO-ACL/SIGSEM Workshop on Interoperable Semantic Annotation isa-5, Jan 2010, Hong-Kong, China
inria-00424625v1  Conference papers
Alexandre DenisMatthieu Quignard. Exploitation du terrain commun pour la production d'expressions référentielles dans les systèmes de dialogue
Conférence sur le Traitement Automatique des Langues Naturelles - TALN'09, Jun 2009, Senlis, France. pp.24 - 26
inria-00636479v1  Conference papers
Alexandre Denis. The Loria Instruction Generation System L in GIVE 2.5
13th European Workshop on Natural Language Generation, Sep 2011, Nancy, France
inria-00112897v1  Conference papers
Alexandre DenisMatthieu QuignardGuillaume Pitel. A Deep-Parsing Approach to Natural Language Understanding in Dialogue System: Results of a Corpus-Based Evaluation
Proceedings of Language Resources and Evaluation Conference, 2006, Genoa, Italy. pp.339-344
inria-00110858v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. A model of grouping for plural and ordinal references
18th European Summer School in Logic, Language and Information - ESSLLI 2006, 2006, Malaga, Spain
inria-00112888v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. Resolution of Referents Groupings in Practical Dialogues
7th SIGDial Workshop on Discourse and Dialogue - SIGdial'06, 2006, Sydney, Australia
hal-00516998v1  Conference papers
Alexandre Denis. Reference reversibility with Reference Domain Theory
Proceedings of the 11th annual SIGdial Meeting on Discourse and Dialogue - SIGDIAL 2010, Sep 2010, Tokyo, Japan
hal-00482337v1  Conference papers
Carlos ArecesGuillaume HoffmannAlexandre Denis. Modal Logics with Counting
17th Workshop on Logic, Language, Information and Computation - WoLLIC 2010, Jul 2010, Brasilia, Brazil
inria-00179694v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu QuignardPatrick Blackburn. Incorporating Asymmetric and Asynchronous Evidence of Understanding in a Grounding Model
11th Workshop on the Semantics and Pragmatics of Dialogue - DECALOG 2007, May 2007, Trento, Italy
hal-00326876v1  Conference papers
Alexandre DenisMatthieu Quignard. Modélisation du principe d'ancrage pour la robustesse des systèmes de dialogue homme-machine finalisés
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2008, Jun 2008, Avignon, France. pp.89-98
hal-00502414v1  Conference papers
Alexandre Denis. Generating Referring Expressions with Reference Domain Theory
INLG 2010, Jul 2010, Dublin, Ireland. pp.27-35