Skip to Main content Skip to Navigation
  1. Search


hal-00644874v1  Conference papers
Bruno Scherrer, Matthieu Geist. Moindres carrés récursifs pour l'évaluation off-policy d'une politique avec traces d'éligibilité
6ème Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes - JFPDA 2011, Jun 2011, Rouen, France
inria-00100178v1  Conference papers
Laurent Wendling, Antoine Tabbone. Détection de flèches dans des documents techniques à partir d'une agrégation de critères géométriques
14e congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'04, 2004, Toulouse, France, 10 p
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
inria-00110850v1  Conference papers
Sébastien Gorges, Erwan Kerrien, Marie-Odile Berger, Yves Trousset, Jérémie Pescatore et al.  3D Augmented Fluoroscopy in Interventional Neuroradiology: Precision Assessment and First Evaluation on Clinical Cases
Workshop on Augmented environments for Medical Imaging and Computer-aided Surgery - AMI-ARCS 2006 (held in conjunction with MICCAI'06), Wolfgang Birkfellner, Nassir Navab and Stephane Nicolau, Nov 2006, Copenhagen, Denmark
inria-00098884v1  Conference papers
Pierre Tellier, Isabelle Debled-Rennesson. 3D Discrete Normal Vectors
International Conference on Discrete Geometry for Computer Imagery - DGCI'99, 1999, Marne-la-Vallée, France, pp.447-458
hal-01086073v1  Conference papers
Utpala Musti, Slim Ouni, Zhou Ziheng. 3D Visual Speech Animation from Image Sequences
Indian Conference on Computer Vision, Graphics and Image Processing (ICVGIP), Dec 2014, Bangalore, India
inria-00100760v1  Reports
Olivier Festor, Rob Evans, Bernard Tuy, Ralf Wolter. 6NET Network Management Initial Architecture
[Contract] A02-R-081 || festor02a, 2002, 19 p
inria-00000348v1  Conference papers
Jacques Lonchamp. A ‘Swiss Army Knife' for Chatting in Distributed Educational Settings
Fourth IASTED International Conference on Web-based Education - WBE'05, Feb 2005, Grindelwald, Suisse
inria-00429327v1  Conference papers
Evren Imre, Marie-Odile Berger. A 3-Component Inverse Depth Parameterization for Particle Filter SLAM
31st annual pattern recognition symposium of the German Association for Pattern Recognition - DAGM 2009, Sep 2009, Jena, Germany. pp.1--10, ⟨10.1007/978-3-642-03798-6_1⟩
inria-00100524v1  Conference papers
Khalid Daoudi, Dominique Fohr, Christophe Antoine. A Bayesian network for time-frequency speech modeling and recognition
International Conference on Artificial Intelligence and Soft Computing, May 2001, Cancun, Mexico, 5 p
inria-00100263v1  Conference papers
Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion. A behavior model for IEC 61499 function blocks
Third Workshop on Modelling of Objects, Components, and Agents 2004 - MOCA'04, 2004, Aarhus/Denmark, 17 p
inria-00100860v1  Conference papers
Dominique Poulalhon, Gilles Schaeffer. A bijection for loopless triangulations of a polygon with interior points
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p
inria-00099657v1  Conference papers
Alexander Bockmayr, Vladimir Y. Lunin, Alexandre Urzhumtsev. A binary integer programming approach for the determination of structures of biological macromolecules
Moscow Conference on Computational Molecular Biology 2003 - MCCMB'03, 2003, Moscou, Russie, pp.44-45
inria-00100175v1  Conference papers
Damien Stehlé, Paul Zimmermann. A Binary Recursive Gcd Algorithm
6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, US, pp.411--425
inria-00543032v1  Conference papers
Miquel Tarzan-Lorente, Agustin Gutierrez-Galvez, Dominique Martinez, Santiago Marco. A Biologically Inspired Associative Memory for Artificial Olfaction
International Joint Conference on Neural Networks - IJCNN 2010, 2010, Barcelone, Spain
inria-00594662v1  Conference papers
Olivier Hoenen, Eric Violard. A Block Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation
7th International Conference on Parallel Processing and Applied Mathematics, Sep 2007, Gdańsk, Poland. pp.108-117, ⟨10.1007/978-3-540-68111-3_12⟩
inria-00114831v1  Conference papers
Walid Gaaloul, Karim Baïna, Claude Godart. A bottom-up workflow mining approach for workflow applications analysis
2nd International Workshop on Data ngineering Issues in E-Commerce and Services, DEECS'06, Jun 2006, San Francisco, California, USA
inria-00099216v1  Conference papers
Tawfik Es-Sqalli, Eric Fleury, Jacques Guyard. A broadcast message passing protocol based on corba event service
International Conference on Parallel & Distributed Processing Techniques & Applications, 2000, Las Vegas, Nevada, USA, 4 p
hal-00917730v1  Conference papers
Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem. A Calculus of Random Generation
Proceedings of the First European Symposium on Algorithms (ESA'93), 1993, Bad Honnef, Germany. pp.169-180, ⟨10.1007/3-540-57273-2_53⟩
inria-00100480v1  Conference papers
Nicolas Rougier, Frédéric Alexandre. A cerebral framework for integrating biologically plausible mechanisms in large connectionist models
International Conference on Systems in Biology, 2001, Pasadena, USA, United States. 1 p
inria-00100161v1  Conference papers
Guillaume Doyen, Olivier Festor, Emmanuel Nataf. A CIM Extension for Peer-to-Peer Network and Service Management
11th International Conference on Telecommunications - ICT'2004, 2004, Fortaleza, Brésil, pp.801-810
inria-00100634v1  Conference papers
Hager Kammoun, Jean-Charles Lamirel. A classificatory System for Information Retrieval: SARCI
The 5th World Multi-Conference on Systemics, Cybernetics and Informatics - SCI 2001, Jul 2001, Orlando, USA
inria-00103509v1  Conference papers
S. Chen, Amine Bermak, W. Wan, Dominique Martinez. A CMOS image sensor with combined adaptive-quantization and QTD-based on-chip compression processor
IEEE Custom Integrated Circuits Conference - CICC 2006, Sep 2006, San Jose, California/USA
inria-00098486v1  Conference papers
Gülgün Alpan, Mohsen A. Jafari. A Combined Plant + Controller Model of Discrete Event Systems
International Workshop on Discrete Event Systems - WoDES, 1998, Cagliari, Sardinia, pp.73-78
inria-00100593v1  Conference papers
Nancy Ide, Laurent Romary. A Common Framework for Syntactic Annotation
Association for Computational Linguistics - ACl'2001, 2001, Toulouse, France, 8 p
inria-00099628v1  Journal articles
Amine Bermak, Dominique Martinez. A Compact 3D VLSI Classifier using Bagging Threshold Network Ensembles
IEEE Transactions on Neural Networks, Institute of Electrical and Electronics Engineers, 2003, 14 (5), pp.1097- 1109
inria-00108072v1  Conference papers
Amine Bermak, Dominique Martinez. A compact Multi-Chip-Module Implementation of a Multi-Precision Neural Network Classifier
IEEE International Symposium on Circuits and Systems - ISCAS'2001, May 2001, Sydney, Australia, pp.249-252
inria-00098451v1  Conference papers
Pierre-Etienne Moreau, Hélène Kirchner. A Compiler for Rewrite Programs in Associative-Commutative Theories
ALP/PLILP: Principles of Declarative Programming, Palamidessi, C. & Glaser, H. & Meinke, K., 1998, Pisa, Italy, pp.230-249
inria-00099391v1  Journal articles
Philippe Dosch, Karl Tombre, Christian Ah-Soon, Gérald Masini. A complete system for analysis of architectural drawings
International Journal on Document Analysis and Recognition, Springer Verlag, 2000, 3 (2), pp.102-116
inria-00100086v1  Conference papers
Salma Jamoussi, Kamel Smaïli, Dominique Fohr, Jean-Paul Haton. A complete understanding speech system based on semantic concepts
4th International Conference on Language Resources and Evaluation - LREC'04, May 2004, Lisbonne, Portugal, 4 p
inria-00172406v1  Journal articles
Denis Roegel. A complex drawing in descriptive geometry
Tugboat, TeX Users Group, 2007, 28 (2), pp.218-228
inria-00098574v1  Conference papers
Hélène Touzet. A complex example of a simplifying rewrite system
International Colloquium on Automata, Languages, and Programming - ICALP'98, Jul 1998, Aalborg, Denmark, pp.507-517
inria-00100622v1  Conference papers
Raphael Cavaliere, Françoise Simonot-Lion, Ye-Qiong Song, O. Hembert. A component based approach for modeling and validation of an automated manufacturing system
8th Conference IEEE on Emerging Technologies and Factory Automation - ETFA 2001, Oct 2001, Antibes/France, pp.465-474
hal-00646582v1  Conference papers
Luca Santinelli, Patrick Meumeu Yomsi, Dorin Maxim, Liliana Cucu-Grosjean. A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems
16th IEEE International Conference on Emerging Technologies and Factory Automation - ETFA 2011, Sep 2011, Toulouse, France. pp.1-8
inria-00098430v1  Journal articles
Sylvain Petitjean. A Computational Geometric Approach to Visual Hulls
International Journal of Computational Geometry and Applications, World Scientific Publishing, 1998, 8 (4), pp.407-436
hal-00643380v1  Conference papers
Hana Belmabrouk, Jean-Pierre Rospars, Dominique Martinez. A computational model of the moth macroglomerular complex Belmabrouk
Twentieth Annual Computational Neuroscience Meeting - CNS 2011, Jul 2011, Stockholm, Sweden
inria-00100269v1  Conference papers
Anne Bonneau, Matthieu Camus, Yves Laprie, Vincent Colotte. A computer-assisted learning of English prosody for French students
Integrating Speech in Learning (InSTIL 2004), 2004, Venise, Italie, 4 p
inria-00432629v1  Book sections
Jacques Lonchamp. A Conceptual and Technological Framework for Building Collaborative Learning Environments
Raquel Hijon-Neira. Advanced Learning, IN-TECH Publisher, pp.25-51, 2009, 978-953-307-010-0
inria-00098837v1  Conference papers
Catherine Pilière. A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.421-432
inria-00100262v1  Conference papers
Claudio Castellanos Sánchez, Bernard Girau, Frédéric Alexandre. A connectionist approach for visual perception of motion
Brain Inspired Cognitive Systems - BICS 2004, International Computing Sciences Conferences (ICSC) Canada, and University of Stirling, Scotland and Imperial College, London, England, 2004, Stirling, United Kingdom, pp.BIS3-1 1-7
inria-00100735v1  Conference papers
Bruno Scherrer. A connectionist architecture that adpats its representation to complex tasks
International Joint Conference on Neural Networks - IJCNN 2002, 2002, Hilton hawaiian Village, Honolulu, HI, 6 p
inria-00098412v1  Reports
Eric Domenjoud, Jianyang Zhou. A Constraint Model for Vehicle Routing and Driver Scheduling
[Intern report] 98-R-016 || domenjoud98a, 1998, 15 p
inria-00098633v1  Book sections
Christian Ah-Soon. A Constraint Network for Symbol Detection in Architectural Drawings
Tombre, Karl and Chhabra, Atul K. Graphics Recognition - Algorithms and Systems - GREC'97, Springer-Verlag, pp.80-90, 1998, Lecture Notes in Computer Science
inria-00100768v1  Conference papers
Quang-Huy Nguyen. A constructive decision procedure for equalities modulo AC
16th International Workshop on Unification - UNIF 16, Jul 2002, Copenhagen, Denmark, 5 p
inria-00000452v1  Conference papers
Christophe Bouthier, Julia Bitcheva, Gérôme Canals. A Context-Adaptive Group Awareness Tool
International Symposium on Applications and the Internet (SAINT 2005). Workshop 6: Teamware: Supporting Scalable Virtual Teams in Multi-organizational Settings, Jan 2005, Trento, Italy, pp.238-241
inria-00099589v1  Conference papers
Olivier Perrin, Claude Godart. A contract model to deploy and control cooperative processes
4th VLDB Workshop on Technologies for E-Services - VLDB-TES 2003, 2003, Berlin, Germany, pp.78-90, ⟨10.1007/b13474⟩
inria-00000768v1  Conference papers
Mohsen Rouached, Olivier Perrin, Claude Godart. A Contract-based Approach for Monitoring Collaborative Web Services using Commitments in the Event Calculus
6th International Conference on Web Information Systems Engineering - WISE'2005, Nov 2005, New York/USA
inria-00108083v1  Conference papers
Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion. A contribution to the validation of complex real-time systems
2nd International Conference : Sciences of Electronic,Technologies of Information and Telecommunications - SETIT 2004, 2004, Sousse/Tunisie, 8 p
inria-00326906v1  Journal articles
Olivier Simonin, Olivier Grunder. A cooperative multi-robot architecture for moving a paralyzed robot
Mechatronics, Elsevier, 2009, Robotics and Factory of the Future, New Trends and Challenges in Mechatronics - INCOM 2006, 19 (4), pp.463-470. ⟨10.1016/j.mechatronics.2008.11.006⟩
hal-00819378v1  Conference papers
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes et al.  A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩
hal-00405369v1  Conference papers
Veronique Legrand, Radu State, Luc Paffumi. A Dangerousness-Based Investigation Model for Security Event Management
The Third International Conference on Internet Monitoring and Protection, Jun 2008, Bucharest, Romania. pp.109 - 118
inria-00100173v1  Journal articles
Martine Cadot, Joseph Di Martino. A Data Cleaning Solution by Perl Scripts for the KDD Cup 2003 Task 2
SIGKDD explorations : newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, Association for Computing Machinery (ACM), 2004, 5 (2), pp.158-159
inria-00098865v1  Conference papers
Antony Vignier, Benoit Sonntag, Marie-Claude Portmann. A decomposition Method based on priority rules for a parallel-machine scheduling problem
Proceedings of the International conference on Industrial Engineering & Production Management - IEPM'99, FUCAM, 1999, Glasgow, Scotland, pp.163-172
inria-00100624v1  Conference papers
Radu State, Olivier Festor, Emmanuel Nataf. A Design Pattern for Connection Management in Herarchical Dynamic Virtual Private Networks
8th IEEE International Conference on Telecommunications - ICT'2001, Jun 2001, Bucarest, Romania, 6 p
inria-00099796v1  Conference papers
Samuel Cruz-Lara, Jen-Shin Hong. A distributed framework for digital museum exhibitions
DigiCULT Forum 5: Virtual Communities and Collaboration in the Heritage Sector, 2003, Napier University, Scotland, UK, pp.26-28
inria-00100810v1  Conference papers
Hassen Sallay, Radu State, Olivier Festor. A Distributed Management platform for Integrated Multicast Monitoring
8th IEEE/IFIP Network Operations and Management Symposium - NOMS'2002, Mar 2002, Florence, Italie, 13 p
inria-00000145v1  Book sections
Julien Vitay, Nicolas Rougier, Frédéric Alexandre. A distributed model of spatial visual attention
S. Wermter, G. Palm and M. Elshaw. Biomimetic Neural Learning for Intelligent Robotics, 3575 (3575), Springer-Verlag, pp.54-72, 2005, Lecture Notes in Computer Science, 3-540-27440-5
inria-00441256v1  Conference papers
Louis-Claude Canon, Emmanuel Jeannot, Jon Weissman. A Dynamic Approach for Characterizing Collusion in Desktop Grids
24th IEEE International Parallel and Distributed Processing Symposium - IPDPS 2010, Apr 2010, Atlanta, United States. pp.1-12, ⟨10.1109/IPDPS.2010.5470422⟩
hal-00402184v1  Conference papers
Lucian Alecu, Hervé Frezza-Buet. A dynamic neural field mechanism for self-organization
Eighteenth Annual Computational Neuroscience Meeting CNS, Jul 2009, Berlin, Germany. pp.273, ⟨10.1186/1471-2202-10-S1-P273⟩
inria-00100816v1  Conference papers
Philippe de Groote. A dynamic programming approach to categorial deduction
16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
inria-00100554v1  Conference papers
Michel Pitermann, Kevin G. Munhall. A face-to-muscle inversion of a biomechanical face model for audiovisual and motor control research
7th European Conference on Speech Communication and Technology - EUROSPEECH'2001, ISCA, 2001, Aalborg, Denmark, 4 p
hal-02342696v1  Conference papers
Badis Hammi, Rida Khatoun, Guillaume Doyen. A Factorial Space for a System-Based Detection of Botcloud Activity
2014 6th International Conference on New Technologies, Mobility and Security (NTMS), Mar 2014, Dubai, France. pp.1-5, ⟨10.1109/NTMS.2014.6813996⟩
inria-00099744v1  Journal articles
Richard P. Brent, Samuli Larvala, Paul Zimmermann. A Fast Algorithm for Testing Reducibility of Trinomials mod 2 and Some New Primitive Trinomials of Degree 3021377
Mathematics of Computation, American Mathematical Society, 2003, 72 (243), pp.1443-1452
inria-00099693v1  Conference papers
Sandy Maumus, Amedeo Napoli, Sophie Visvikis-Siest. A first experiment on the STANISLAS cohort using closed frequent pattern search
European Conference on Computational Biology - ECCB'2003, Sep 2003, Paris, France, 2 p
inria-00407692v1  Conference papers
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien. A First Step Towards Automatically Building Network Representations
13th International Euro-Par Conference - Euro-Par 2007, Aug 2008, Rennes, France. pp.160-169, ⟨10.1007/978-3-540-74466-5_18⟩
inria-00101025v1  Conference papers
Sandy Maumus, Amedeo Napoli, Rafik Taouil, Sophie Visvikis-Siest. A first study of the central role of the analyst in the knowledge discovery process in biology
Poster session at the 10th International Conference on Intelligent Systems for Molecular Biology - ISMB'02, Aug 2002, Edmonton, Canada, 1 p
inria-00000801v1  Conference papers
Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed. A formal development approach of control systems using the event based B approch, Case study : A parcel sorting device
The 4th ACS/IEEE International Conference on Computer Systems and Applications - AICCSA'2006, Mar 2006, Dubai/Sharjah, UAE
inria-00000799v1  Conference papers
Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed. A Formal development approach of control systems using the event-based B approach
Third International Conference on Informatics and Systems - INFOS'2005, Mar 2005, Caire, Egypte
inria-00100451v1  Conference papers
Christophe Bouthier. A Free Java Library for Treemap Visualization
Treemap Implementations and Applications Workshop, Ben Shneiderman, 2001, HCIL, University of Maryland, 13 p
inria-00100555v1  Conference papers
Eric Fleury, Hend Koubaa. A Fully Distributed Mediator Based Service Location Protocol in Ad Hoc Networks
GLOBECOM'01. IEEE Global Telecommunications Conference, Nov 2001, San Antonio, Texas, United States. 5 p
inria-00098628v1  Conference papers
Peter Borovansky, Claude Kirchner, Hélène Kirchner. A functional view of rewriting and strategies for a semantics of ELAN
The Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), pp.143-167
inria-00176899v1  Journal articles
Ernest Valveny, Philippe Dosch, Adam Winstanley, Zhou Yu, Yang Su et al.  A general framework for the evaluation of symbol recognition methods
International Journal on Document Analysis and Recognition, Springer Verlag, 2007, 9 (1), pp.59-74. ⟨10.1007/s10032-006-0033-x⟩
inria-00100927v1  Journal articles
Sorin Stratulat. A General Framework to Build Contextual Cover Set Induction Provers
Journal of Symbolic Computation, Elsevier, 2001, 32 (4), pp.403-445
inria-00098939v1  Reports
Sorin Stratulat. A General Framework to Build Multi-logic Implicit Induction Provers
[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
inria-00098494v1  Journal articles
Eric Fleury, Pierre Fraigniaud. A General Theory for Deadlock Avoidance in Wormhole-Routed Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 1998, 9 (7), pp.626--638
inria-00101069v1  Reports
Olivier Bournez. A Generalization of Equational Proof Theory?
[Intern report] A02-R-333 || bournez02e, 2002, 2 p
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/