Skip to Main content Skip to Navigation


...
inria-00078450v1  Conference papers
Daniel ZuwalaJan Rendek. Browsing graphics without prior knowledge
International Conference on Pattern Recognition 2006 - ICPR 2006, Aug 2006, Hong Kong (China)
hal-01479998v1  Book sections
Michael ZockAbdellatif LarouiGil Francopoulo. DIAM: une autre manière d'apprendre la langue de Molière.
Monique Baron and Jean François Nicaud. Journées EIAO du PRC-GDR Intelligence Artificielle, pp.283--296, 1990
hal-01480003v1  Journal articles
Michael ZockGil FrancopouloAbdellatif Laroui. SWIM: a Natural Interface for the Scientifically Minded Language Learner
Computers and the Humanities, Springer Verlag, 1989, 23 (4/5), pp.411-422
...
hal-01112912v1  Conference papers
I ZitouniK SmaïliS DeligneF Bimbot. A COMPARATIVE STUDY BETWEEN POLYCLASS AND MULTICLASS LANGUAGE MODELS
Proceedings of the Fifth International Conference on Spoken Language Processing, 1998, Sydney, Australia
...
inria-00099045v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Variable-Length Class Sequences Based on a Hierarchical Approach: MCnv
SCI 2000 - 4th Word Multiconference on Systemics, Cybertinics & Informatics, Jul 2000, Orlando, United States. pp.6
...
inria-00099038v1  Conference papers
Imed ZitouniKamel Smaïli. Vers une meilleure modélisation du langage : la prise en compte des séquences dans les modèles statistiques
XXIIIèmes Journées d'Etude sur la Parole - JEP'2000, 2000, Aussois, France, 4 p
inria-00100648v1  Journal articles
Imed Zitouni. Modélisation du langage pour les systèmes de reconnaissance de la parole : Application à MAUD
In Cognito - Cahiers Romans de Sciences Cognitives, In Cognito, INPG, 46 Avenue Felix Viallet, 38031 Grenoble Cedex, 2001, pp.43-44
inria-00100677v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Statistical Language Model based on a Hierarchical Approach : MCnv
7th european conference on speech communication and technology - EUROSPEECH 2001, 2001, Aalborg, Denmark, pp.29
...
inria-00107585v1  Conference papers
Imed ZitouniJean-François MariKamel SmaïliJean-Paul Haton. Variable-Length Sequence Language Model for Large Vocabulary Continuous Dictation Machine
6th European Conference on Speech Communication and Technology - EUROSPEECH'99, 1999, Budapest, Hungary
...
inria-00099107v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Beyond the Conventional Statistical Language Models: The Variable-Length Sequences Approach
International Conference on Speech Language Processing, 2000, Pékin, China. pp.4
inria-00099785v1  Journal articles
Imed ZitouniKamel SmaïliJean-Paul Haton. Statistical Language Modeling Based on Variable-Length Sequences
Computer Speech and Language, Elsevier, 2003, 17 (1), pp.27-41
inria-00098446v1  Journal articles
Djemel ZiouAntoine Tabbone. Edge Detection Techniques-An Overview
Распознавание образов и анализ изображен / Pattern Recognition and Image Analysis: Advances in Mathematical Theory and Applications, MAIK Nauka/Interperiodica (МАИК Наука/Интерпериодика), 1998, 8 (4), pp.537-559
...
inria-00069965v1  Reports
Paul Zimmermann. Cinq algorithmes de calcul symbolique
[Rapport de recherche] RT-0206, INRIA. 1997, pp.21
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
...
inria-00072315v1  Reports
Paul Zimmermann. Arithmétique en précision arbitraire
[Rapport de recherche] RR-4272, INRIA. 2001
inria-00099334v1  Reports
Paul Zimmermann. A proof of GMP fast division and square root implementations
[Intern report] A00-R-211 || zimmermann00a, 2000
...
inria-00000755v1  Conference papers
Yann ZimmermannDiana Toma. Component Reuse in B Using ACL2
ZB Formal Specification and Development in Z and B - 4th International Conference of B and Z Users - ZB 2005, Apr 2005, University of Surrey, Guildford, UK, pp.280-299, ⟨10.1007/b135596⟩
hal-00917757v1  Conference papers
Paul Zimmermann. How Fast Can We Multiply Over GF(2)[x]?
Proceedings of Conference on Algorithmic Number Theory 2007, 2007, Turku, Finland. pp.165-170
inria-00000630v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
van Tilborg, Henk C.A. Encyclopedia of Cryptography and Security, Springer, 2005
...
tel-00526731v1  Habilitation à diriger des recherches
Paul Zimmermann. De l'algorithmique à l'arithmétique via le calcul formel
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2001
...
inria-00107625v1  Conference papers
Paul Zimmermann. Symbolic Computation: Recent Progress and New Frontiers
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none
hal-00917755v1  Conference papers
Paul Zimmermann. Can we trust floating-point numbers?
''Grand Challenges of Informatics'', An Academia Europaea Charles Simonyi John von Neumann Computer Society International Symposium, 2006, Budapest, Hungary
hal-00917756v1  Conference papers
Paul Zimmermann. Arithmétique entière
Journées Nationales de Calcul Formel, 2007, Luminy, France
inria-00099739v1  Conference papers
Yann Zimmermann. Modélisation formelle de circuits électroniques en B événementiel
Manifestation des Jeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03, 2003, Marseille, France
inria-00100543v1  Journal articles
Paul Zimmermann. Arithmétique en précision arbitraire
Réseaux et systèmes répartis, calculateurs parallèles, Hermès science, 2001, 13 (4-5), 29 p
...
inria-00070192v2  Conference papers
Paul ZimmermannBruce Dodson. 20 years of ECM
7th Algorithmic Number Theory Symposium (ANTS VII), 2006, Berlin/Germany, Germany. pp.525--542
inria-00100144v1  Book sections
Yann ZimmermannStefan HallerstedeDominique Cansell. Formal modelling of electronic circuits using event-B, Case Study: SAE J1708 Serial Communication Link
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
...
inria-00072854v1  Reports
Paul Zimmermann. Karatsuba Square Root
[Research Report] RR-3805, INRIA. 1999, pp.8
inria-00172745v1  Conference papers
Yann Zimmermann. Développement formel de circuits électroniques par la méthode B
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Pierre-Yves Schobbens, Jun 2007, Namur, Belgique. pp.181-198
inria-00000536v1  Journal articles
Paul Zimmermann. MPFR : vers un calcul flottant correct ?
Interstices, INRIA, 2005
inria-00100980v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
none. Encyclopedia of Information Security, Kluwer, 2002
...
hal-02268027v1  Reports
Matthieu ZimmerYann BonifaceAlain DutechNicolas Rougier. Exploration de la notion de méta-apprentissage
[Rapport de recherche] Université de Lorraine, CNRS, Inria, LORIA, UMR 7503. 2012
inria-00099720v1  Journal articles
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Optimal Sequencing of Contract Algorithms
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2003, 39 (1), pp.1-18
inria-00098864v1  Conference papers
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Real-Time Problem-Solving with Contract Algorithms
16th International Joint Conference on Artificial Intelligence, 1999, Stockholm, Sweden, pp.1008-1013
inria-00108057v1  Conference papers
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Optimal Sequencing of Contract Algorithms
Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel
inria-00432683v1  Conference papers
Elisabetta ZibettiVincent BessonCharles TijusFrancesc Salvador-BertrandViçent Quera et al.  De l'Humain au Robot : Heuristiques Cognitives pour Robots Mobiles
Congrès de la Société Française de Psychologie, Société Française de Psychologie, Jun 2009, Toulouse, France
inria-00099184v1  Journal articles
Jianyang Zhou. Introduction to the constraint language NCL
Journal of Logic Programming, Elsevier, 2000, 45 (1-3), pp.71-103
inria-00098612v1  Conference papers
Jianyang Zhou. A Unified Framework for Solving Boolean, Integer and Set Constraints
Third International Conference on Systems Science and Systems Engineering, 1998, Beijing, Chine, 6 p
...
hal-01277569v1  Journal articles
Shizhe ZhouJiang ChangyunSylvain Lefebvre. Topology-constrained Synthesis of Vector Patterns
ACM Transactions on Graphics, Association for Computing Machinery, 2014, 33 (6), ⟨10.1145/2661229.2661238⟩
...
inria-00202462v1  Conference papers
Ning ZhouWeiming DongJiaxin WangJean-Claude Paul. Modeling and Visualization of Flower Color Patterns
Proceedings of the Tenth International Conference on Computer Aided Design and Computer Graphics (CAD-CG'07), School of Electronics Engineering and Computer Science, Peking University, Oct 2007, Beijing, China. pp.150 - 155, ⟨10.1109/CADCG.2007.4407872⟩
...
inria-00521845v1  Journal articles
Ning ZhouWeiming DongWang JiaxinJean-Claude Paul. Simulating Human Visual Perception in Nighttime Illumination
Tsinghua Science and Technology, IEEE - Institute of Electrical and Electronics Engineers 2009, 14 (1), pp.133-138. ⟨10.1016/S1007-0214(09)70019-7⟩
...
inria-00189386v4  Journal articles
Gang ZhengArnaud TonnelierDominique Martinez. Voltage-stepping schemes for the simulation of spiking neural networks
Journal of Computational Neuroscience, Springer Verlag, 2009, 26 (3), pp.409-423. ⟨10.1007/s10827-008-0119-1⟩
inria-00193106v1  Conference papers
Wan ZhangPhilippe DoschAntoine Tabbone. Performance Evaluation on Several Recognition Algorithms
7th IAPR International Workshop on Graphics Recognition - GREC 2007, Josep Lladós, Sep 2007, Curitiba, Brazil. pp.86-89
...
inria-00107686v1  Conference papers
Xiaopeng ZhangFrédéric Blaise. Progressive Polygon Foliage Simplification
International Symposium on Plant growth Modeling, simulation, visualization and their Applications 2003 -PMA'03, 2003, Beijing, China, pp.182-193
...
inria-00336502v1  Conference papers
Linqiao ZhangHazel EverettSylvain LazardChristophe WeibelSue Whitesides. On the Size of the 3D Visibility Skeleton: Experimental Results
16th Annual European Symposium on Algorithms - ESA 2008, Sep 2008, Karlsruhe, Germany. pp.805--816, ⟨10.1007/978-3-540-87744-8_67⟩
...
inria-00338095v1  Conference papers
Linqiao ZhangHazel EverettSylvain LazardSue Whitesides. Towards an Implementation of the 3D Visibility Skeleton
23rd Annual Symposium on Computational Geometry, Jun 2007, Gyeongju, South Korea. pp.131 - 132, ⟨10.1145/1247069.1247094⟩
...
inria-00107689v1  Conference papers
Xiaopeng ZhangFrédéric Blaise. Interactive Visualization of Virtual Orchard
Second International Symposium on Intelligent Information Technology in Agriculture - ISIITA 2003, 2003, Beijing, China, pp.454-461
...
tel-00431464v1  Theses
Linqiao Zhang. On the three-dimensional visibility skeleton: implementation and analysis
Computer Science [cs]. Université McGill, 2009. English
...
inria-00107717v1  Conference papers
Sen ZhangYves Laprie. Text-to-pinyin conversion based on contextual knowledge and D-tree for Mandarin
IEEE International Conference on Natural Language Processing and Knowledge Engineering 2003 - NLP-KE'2003, 2003, Beijing, China, 6 p
...
inria-00107718v1  Conference papers
Sen ZhangYves Laprie. Speech signal resampling by arbitrary rate
7th International Symposium on Signal Processing and its Application 2003 - ISSPA'2003, Jul 2003, Paris, France, 4 p
...
inria-00000111v1  Conference papers
Olivier ZendraKarel Driesen. Stress-testing Control Structures for Dynamic Dispatch in Java
2nd Java Virtual Machine Research and Technology Symposium (JVM'2002), Usenix - The Advanced Computing Systems Association, Aug 2002, San Francisco, CA, USA, pp.105-118
...
inria-00001232v1  Lectures
Olivier Zendra. Introduction à la gestion mémoire
Université Henri Poincaré, Nancy 1. UFR STMIA. Master Ingénierie Système, spécialité Electronique Embarquée et Instrumentale. Nancy, France, 2005
inria-00098844v1  Conference papers
Olivier ZendraDominique Colnet. Towards safer aliasing with the Eiffel language
Intercontinental Workshop on Aliasing in Object-Oriented Systems IWAOOS'99 - ECOOP'99 workshop reader, 1999, Lisbonne, Portugal, pp.153
...
inria-00563279v1  Poster communications
Olivier ZendraDominique Colnet. Optimized late binding: the SmallEiffel example
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 1999, Denver, United States
inria-00098461v1  Journal articles
Olivier ZendraDominique ColnetPhilippe Coucaud. SmallEiffel : l'Eiffel à Très Grande Vitesse
Programmez !, Magazine Programmez, 1998, pp.64--67
...
inria-00001231v1  Lectures
Olivier Zendra. Compilation et gestion mémoire basse consommation
Ecole thématique "Conception faible consommation de système temps réel" (ECoFac 2006) Nice, France, 2006
...
inria-00104146v2  Conference papers
Olivier Zendra. Memory and compiler optimizations for low-power and -energy.
1st ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)., Jul 2006, Nantes, France. pp.8
inria-00100929v1  Journal articles
Olivier ZendraDominique Colnet. Coping with aliasing in the GNU Eiffel Compiler implementation
Software: Practice and Experience, Wiley, 2001, Special Issue: Aliasing in object-oriented systems, 31 (6), pp.601-613. ⟨10.1002/spe.373⟩
...
inria-00098784v1  Conference papers
Olivier ZendraDominique Colnet. Adding external iterators to an existing Eiffel class library
32th conference on Technology of Object-Oriented Languages & Systems - TOOLS Pacific'99, Nov 1999, Melbourne, Australia, pp.188 - 199, ⟨10.1109/TOOLS.1999.809425⟩
...
tel-00565633v1  Theses
Olivier Zendra. Traduction et optimisation globale dans les langages de classes
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2000. Français
...
inria-00000832v1  Lectures
Olivier Zendra. Initiation à la gestion mémoire des sytèmes informatiques.
Université Henri Poincaré Nancy 1. Master ingénierie système, spécialité électronique embarquée et instrumentale Université Henri Poincaré Nancy 1, 2005
...
inria-00099060v1  Conference papers
Olivier ZendraDominique Colnet. Vers un usage plus sûr de l'aliasing avec Eiffel
5ème Colloque Langages et Modèles à Objets - LMO'2000, Jan 2000, Mont Saint-Hilaire, Québec, Canada, pp.183--194
...
inria-00565627v1  Conference papers
Olivier ZendraDominique ColnetSuzanne Collin. Efficient Dynamic Dispatch without Virtual Function Tables. The SmallEiffel Compiler.
12th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97), ACM SIGPLAN, Oct 1997, Atlanta, United States. pp.125--141
...
inria-00444056v1  Journal articles
Samih ZeinAntoine LejayMadalina Deaconu. An Efficient Algorithm to Simulate a Brownian Motion Over Irregular Domains
Communications in Computational Physics, Global Science Press, 2010, 8 (4), pp.901-916. ⟨10.4208/cicp.240209.031209a⟩
...
inria-00186848v1  Conference papers
Rhaleb ZayerBruno LévyHans-Peter Seidel. Linear Angle Based Parameterization
Fifth Eurographics Symposium on Geometry Processing - SGP 2007, Jul 2007, Barcelone, Spain. pp.135-141
...
inria-00315300v1  Conference papers
Chahnaz ZakariaOlivier CuréKamel Smaïli. Conflict Ontology Enrichment Based on Triggers
The 2nd International workshop on Ontologies and Information Systems for the Semantic Web, ACM 17th Conference on Information and Knowledge Management, Oct 2008, Napa Valley, California, United States
...
inria-00431855v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. An Integrated Declarative Approach to Web Services Composition and Monitoring
10th International Conference on Web Information Systems Engineering - WISE 2009, Oct 2009, Poznan, Poland. pp.247-260, ⟨10.1007/978-3-642-04409-0_28⟩
...
inria-00336157v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. Mashup Model and Verification using Mashup Processing Network
The 4th International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2008, Nov 2008, Orlando, FL, United States
...
inria-00431859v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. Rule-Based Semi Automatic Web Services Composition
2009 IEEE Congress on Services I - SERVICES 2009, Jul 2009, Los Angeles, CA, United States. pp.805-812, ⟨10.1109/SERVICES-I.2009.77⟩
hal-00646572v1  Journal articles
Lu YueThomas NolteIan BateLiliana Cucu-Grosjean. A New Way about using Statistical Analysis of Worst-Case Execution Times
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (3), pp.11-14. ⟨10.1145/2038617.2038619⟩
hal-00647016v1  Conference papers
Lu YueIan BateThomas NolteLiliana Cucu-Grosjean. Trace-Based Statistical Response-Time Analysis of Complex Real-Time Embedded Systems
Work in Progress of the 6th IEEE Symposium on Industrial Embedded Systems (SIES 2011), 2011, Vasteras, Sweden
hal-00232688v1  Journal articles
Marc YorBernard RoynetteJoseph Najnudel. A remarkable σ-finite measure on C(R+, R) related to many Brownian penalisations
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2007, 345 (8), pp.459-466. ⟨10.1016/j.crma.2007.09.015⟩
...
inria-00107685v1  Reports
Fei Yin. Minimum Receiving Node Minimum Energy Broadcast in All-Wireless Networks
[Intership report] A03-R-222 || yin03a, 2003, 42 p
...
inria-00000229v1  Conference papers
Ustun YildizOlivier PerrinClaude Godart. On automating networked enterprise management
International Workshop on Enterprise and Networked Enterprises Interoperability - ENEI'2005, Sep 2005, Nancy/France, pp.363-374, ⟨10.1007/11678564_32⟩
inria-00304346v1  Conference papers
Ustun YildizRémi BadonnelClaude Godart. On service orchestration in mobile computing environments
The 5th IEEE International Conference on Services Computing, SCC, IEEE, Jul 2008, Honolulu, United States. pp.545-548