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-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-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-01112912v1  Conference papers
Proceedings of the Fifth International Conference on Spoken Language Processing, 1998, Sydney, Australia
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-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-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-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
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-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-00100980v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
none. Encyclopedia of Information Security, Kluwer, 2002
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
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-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-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-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-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-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-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
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-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-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⟩
tel-00431464v1  Theses
Linqiao Zhang. On the three-dimensional visibility skeleton: implementation and analysis
Computer Science [cs]. Université McGill, 2009. English
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-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-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⟩
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-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-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-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
inria-00110900v1  Conference papers
Ustun YildizThomas TamisierHala Skaf-MolliFernand Feltz. Decentralized Execution of P2P Collaborative Processes
Journée de recherche de l'AIM « Innovation et Systèmes d'Information », 2006, Paris - FRANCE
inria-00128214v1  Conference papers
Ustun YildizClaude Godart. Enhancing Secured Service Interoperability with decentralized Orchestration
First International Workshop on Security Technologies for Next Generation Collaborative Business Applications - SECOBAP'07 (ICDE'07 Workshops), IEEE, Apr 2007, Istanbul, Turkey. pp.725-733
inria-00435834v1  Conference papers
Ustun YildizClaude Godart. Design and Implementation of Information Flow-sensitive Business Processes
IEEE 6th European Conference on Web Services - ECOWS 2008, Nov 2008, Dublin, Ireland. pp.177-186, ⟨10.1109/ECOWS.2008.8⟩
inria-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
inria-00110624v1  Conference papers
Ustun YildizClaude Godart. Towards Decentralized Service Orchestrations
The 22nd Annual ACM Symposium on Applied Computing - SAC'2007, Seoul National University in Seoul and Suwon University in Gyeonggi-do, Mar 2007, Seoul, South Korea. pp.1662-1666, ⟨10.1145/1244002.1244354⟩
inria-00167781v1  Conference papers
Ustun YildizClaude Godart. Centralized versus decentralized conversation-based orchestrations
The 9th IEEE Conference on E-Commerce Technology and the 4th IEEE Conference on Enterprise Computing, E-Commerce and E-Services, CEC/EEE, IEEE, Jul 2007, Tokyo, Japan. pp.289-296, ⟨10.1109/CEC-EEE.2007.28⟩
inria-00129355v1  Conference papers
Ustun YildizClaude Godart. Dynamic Decentralized Service Orchestrations
3rd International Conference on Web Information Systems and Technologies, WEBIST 2007, Open University of Catalonia, Mar 2007, Barcelona, Spain. pp.36-45
inria-00167780v1  Conference papers
Ustun YildizClaude Godart. Information flow control with decentralized service compositions
IEEE International Conference on Web Services - ICWS 2007, IEEE, Jul 2007, Salt Lake City, United States. pp.9-17, ⟨10.1109/ICWS.2007.109⟩
inria-00000858v1  Conference papers
Ustun YildizOlivera MarjanovicClaude Godart. Contract-Driven Cross-Organizational Business Processes
The 2nd International Conference on Information Management and Business - IMB 2006, Feb 2006, Sydney, Australia
inria-00129362v1  Conference papers
Ustun YildizClaude Godart. Synchronization Solutions for Decentralized Service Orchestrations
The Second IEEE International Conference on Internet and Web Applications and Services - ICIW 2007, May 2007, Mauritius, Mauritius. pp.39-39, ⟨10.1109/ICIW.2007.60⟩
inria-00304347v1  Book sections
Ustun YildizClaude Godart. Designing Decentralized Service Compositions: Challenges and Solutions
José A. Moinhos Cordeiro et al. Web Information Systems and Technologies - Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers, LNBIP 8, Springer, pp.60-71, 2008, Lectures Notes in Business Information Processing, 978-3-540-68257-8. ⟨10.1007/978-3-540-68262-2_5⟩
inria-00603726v1  Conference papers
Jano YazbeckAlexis ScheuerOlivier SimoninFrançois Charpillet. Improving near-to-near lateral control of platoons without communication
IEEE-RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 2011, San Francisco, United States. pp.4103-4108
inria-00605927v1  Conference papers
Dong-Ming YanKai WangBruno LévyLaurent Alonso. Computing 2D Periodic Centroidal Voronoi Tessellation
8th International Symposium on Voronoi Diagrams in Science and Engineering - ISVD2011, Jun 2011, Qingdao, China. ⟨10.1109/ISVD.2011.31⟩
inria-00547794v1  Conference papers
Dong-Ming YanWenping WangBruno LévyYang Liu. Efficient Computation of 3D Clipped Voronoi Diagram
Geometric Modeling and Processing, University of Cantabria, Jun 2010, Castro Urdiales, Spain. pp.269-282, ⟨10.1007/978-3-642-13411-1_18⟩
hal-01264166v1  Conference papers
Jaber Al YamaniFarid BoussaidAmine BermakDominique Martinez. Experimental evaluation of latency coding for gas recognition
IDT 2013 - 8th IEEE International Design and Test Symposium, 2013, Marrakesh, Morocco. pp.4, ⟨10.1109/IDT.2013.6727123⟩
inria-00623578v1  Conference papers
Mingqiang XuePanagiotis KarrasChedy RaïssiHung Keng Pung. Utility-Driven Anonymization in Data Publishing
20th ACM Conference on Information and Knowledge Management - CIKM 2011, ACM, Oct 2011, Glasgow, United Kingdom
inria-00610951v1  Conference papers
Mingqiang XuePanagiotis PapadimitriouChedy RaïssiPanagiotis KalnisHung Keng Pung. Distributed Privacy Preserving Data Collection
16th International Conference on Database Systems for Advanced Applications - DASFAA 2011, Apr 2011, Hong Kong, China. pp.93-107, ⟨10.1007/978-3-642-20149-3_9⟩