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)
...
tel-01752768v1  Theses
Daniel Zuwala. Reconnaissance de symboles sans connaissance a priori
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2006. Français. ⟨NNT : 2006INPL071N⟩
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-01748341v1  Theses
Daniele Zucchelli. Combination methods for software verification
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10006⟩
...
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
...
hal-01835432v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. ABClass : Une approche d'apprentissage multi-instances pour les séquences
RJCIA 2018 - 16èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jul 2018, Nancy, France. pp.1-9
...
hal-01807944v1  Book sections
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. An Overview of in Silico Methods for the Prediction of Ionizing Radiation Resistance in Bacteria
Tamar Reeve. Ionizing Radiation: Advances in Research and Applications, Nova science publishers, pp.241-256, 2018, Physics Research and Technology Series, 978-1-53613-539-8
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-01942528v1  Book sections
Michel ZittAlain LeluMartine CadotGuillaume Cabanac. Bibliometric delineation of scientific fields
Wolfgang Glänzel; Henk F. Moed; Ulrich Schmoch; Mike Thelwall. Handbook of Science and Technology Indicators, Springer International Publishing, pp.25-68, 2019, Handbook of Science and Technology Indicators, 978-3-030-02510-6. ⟨10.1007/978-3-030-02511-3_2⟩
inria-00334304v1  Conference papers
Michel ZittElise BassecoulardAlain Lelu. Hybrid maps of scientific fields: an application to nanosciences
10th International Conference on Science and Technology Indicators (S&TI 2008), Anthony Van Raan, Sep 2008, Vienne, Austria
...
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
hal-01112917v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Variable-length class sequences based on a hierarchical approach: MCnv
SPECOM 1998 - 3rd International Workshop on Speech and Computer, Oct 1998, Saint-Petersbourg, Russia
...
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
hal-01254945v1  Conference papers
Djemel ZiouDayron Rizo-RodriguezAntoine TabboneNafaa Nacereddine. Head Pose Classification Using a Bidimensional Correlation Filter
Image Analysis and Recognition - 12th International Conference (ICIAR), Jul 2015, Niagara Falls, Canada. ⟨10.1007/978-3-319-20801-5_22⟩
...
hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan
...
hal-03339617v1  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
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-00917758v1  Conference papers
Paul Zimmermann. Reliable Computing with GNU MPFR
Proceedings of the third International Congress on Mathematical Software (ICMS 2010), Sep 2010, Kobe, Japan. pp.42--45, ⟨10.1007/978-3-642-15582-6_8⟩
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
...
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