Skip to Main content Skip to Navigation


hal-00644874v1  Conference papers
Bruno ScherrerMatthieu 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 WendlingAntoine 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 GorgesErwan KerrienMarie-Odile BergerYves TroussetJé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 TellierIsabelle 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 MustiSlim OuniZhou 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 FestorRob EvansBernard TuyRalf 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 ImreMarie-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 DaoudiDominique FohrChristophe 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 KhalguiXavier RebeufFranç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 PoulalhonGilles 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 BockmayrVladimir Y. LuninAlexandre 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-LorenteAgustin Gutierrez-GalvezDominique MartinezSantiago 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 HoenenEric 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 GaaloulKarim BaïnaClaude 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-SqalliEric FleuryJacques 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 FlajoletPaul ZimmermannBernard 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 RougierFré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 DoyenOlivier FestorEmmanuel 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 KammounJean-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. ChenAmine BermakW. WanDominique 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 AlpanMohsen 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 IdeLaurent Romary. A Common Framework for Syntactic Annotation
Association for Computational Linguistics - ACl'2001, 2001, Toulouse, France, 8 p
inria-00099628v1  Journal articles
Amine BermakDominique 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 BermakDominique 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 MoreauHé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 DoschKarl TombreChristian Ah-SoonGé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 JamoussiKamel SmaïliDominique FohrJean-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 CavaliereFrançoise Simonot-LionYe-Qiong SongO. 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 SantinelliPatrick Meumeu YomsiDorin MaximLiliana 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 BelmabroukJean-Pierre RosparsDominique 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 BonneauMatthieu CamusYves LaprieVincent 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ánchezBernard GirauFré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 DomenjoudJianyang 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 BouthierJulia BitchevaGé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 PerrinClaude 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 RouachedOlivier PerrinClaude 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 KhalguiXavier RebeufFranç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 SimoninOlivier 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 TahaPaul BraunerYingfu ZengRobert CartwrightVeronica 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 LegrandRadu StateLuc 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 CadotJoseph 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 VignierBenoit SonntagMarie-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 StateOlivier FestorEmmanuel 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-LaraJen-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 SallayRadu StateOlivier 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 VitayNicolas RougierFré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 CanonEmmanuel JeannotJon 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 AlecuHervé 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 PitermannKevin 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 HammiRida KhatounGuillaume 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. BrentSamuli LarvalaPaul 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 MaumusAmedeo NapoliSophie 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-DuboisArnaud LegrandMartin QuinsonFré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 MaumusAmedeo NapoliRafik TaouilSophie 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 MosbahiJacques JarayLeila 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 MosbahiLeila Jemni Ben AyedSamir 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 FleuryHend 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 BorovanskyClaude KirchnerHé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 ValvenyPhilippe DoschAdam WinstanleyZhou YuYang 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 FleuryPierre 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