Skip to Main content Skip to Navigation

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
hal-00917756v1  Conference papers
Paul Zimmermann. Arithmétique entière
Journées Nationales de Calcul Formel, 2007, Luminy, France
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-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⟩
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-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-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-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
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-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-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-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-00432360v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Wooki: A P2P Wiki-Based Collaborative Writing Tool
8th International Conference on Web Information Systems Engineering – WISE 2007, Dec 2007, Nancy, France. pp.503-512, ⟨10.1007/978-3-540-76993-4_42⟩
hal-00433033v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Compensation in Collaborative Editing
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States. 6 p
inria-00103493v1  Journal articles
Thomas VoegtlinDominique Martinez. Effect of Asynchronous GABA Release on the Oscillatory Dynamics of Inhibitory Coupled Neurons
Neurocomputing, Elsevier, 2007, Computational Neuroscience: Trends in Research 2007, Computational Neuroscience 2006, 70 (10-12), pp.2079-2084. ⟨10.1016/j.neucom.2006.10.093⟩
inria-00176326v1  Book sections
Laurent VigneronNajah Chridi. Strategy for Flaws Detection based on a Services-driven Model for Group Protocols
Frédéric Benhamou and Narendra Jussien and Barry O\'Sullivan. Future and Trends in Constraint Programming, ISTE, pp.361-370, 2007, 1905209975
inria-00179490v1  Conference papers
Ernest ValvenyAntoine TabboneOriol Ramos TerradesEmilie Phillippot. Performance Characterization of Shape Descriptors for Symbol Representation
Seventh International Workshop on Graphics Recognition - GREC'2007, IAPR TC-10 (Technical Committee on Graphics Recognition), Sep 2007, Curitiba, Brazil. 8 p
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⟩
hal-00463629v1  Conference papers
Pascal Urso. Verification of data consistency for P2P collaborative editing
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France
inria-00173741v1  Conference papers
César Torres-HuitzilBernard GirauAdrien Gauffriau. Hardware/Software Codesign for Embedded Implementations of Neural Networks
Applied Reconfigurable Computing, Mar 2007, Rio de Janeiro, Brazil
inria-00103500v1  Journal articles
Arnaud TonnelierHana BelmabroukDominique Martinez. Event-driven simulations of nonlinear integrate-and-fire neurons
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2007, 19 (12), pp.3226-3238. ⟨10.1162/neco.2007.19.12.3226⟩
inria-00323697v1  Conference papers
Karl Tombre. Is Graphics Recognition an Unidentified Scientific Object?
7th International Workshop on Graphics Recognition, Sep 2007, Curitiba, Brazil. pp.329-334, ⟨10.1007/978-3-540-88188-9_31⟩
inria-00186857v1  Conference papers
Rodrigo ToledoBruno LévyJean-Claude Paul. Iterative Methods for Visualization of Implicit Surfaces on GPU
3rd International Symposium on Visual Computing - ISVC'07, Jul 2007, Lake Tahoe, United States. pp.598-609, ⟨10.1007/978-3-540-76858-6_58⟩
inria-00186866v1  Conference papers
Rodrigo ToledoBin WangBruno Lévy. Geometry Textures
20th Brazilian Symposium on Computer Graphics and Image Processing - SIBGRAPI 2007, Oct 2007, Belo Horizonte, Brazil. pp.79-86, ⟨10.1109/SIBGRA.2007.4368171⟩
inria-00188597v1  Journal articles
Irina G. TikhonovaEsther MarcoElodie Lahlou-ArcherIngrid LangerMagali Foucaud et al.  Validated ligand binding sites in CCK receptors. Next step: computer-aided design of novel CCK ligands
Current Topics in Medicinal Chemistry, Bentham Science Publishers, 2007, 7 (12), pp.1243-1247
inria-00170988v1  Conference papers
Julien ThomasCédric RoseFrançois Charpillet. A Support System for ECG Segmentation Based on Hidden Markov Models
29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - IEEE EMBC 2007, Aug 2007, Lyon, France. 4 p
inria-00135946v1  Conference papers
Samuel ThibaultSébastien Hinderer. BrlAPI: Simple, Portable, Concurrent, Application-level Control of Braille Terminals
The First International Conference on Information and Communication Technology and Accessibility - ICTA 2007, Apr 2007, Hammamet, Tunisia. pp.27--31
inria-00138382v2  Conference papers
Laurent ThéryGuillaume Hanrot. Primality Proving with Elliptic Curves
TPHOL 2007, Sep 2007, Kaiserslautern, Germany. pp.319-333
inria-00204098v1  Conference papers
Antoine TabboneDaniel Zuwala. An indexing method for graphical documents
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.789 - 793, ⟨10.1109/ICDAR.2007.4377023⟩
inria-00189423v1  Conference papers
Laszlo SzathmaryAmedeo NapoliSergei O. Kuznetsov. ZART: A Multifunctional Itemset Mining Algorithm
5th International Conference on Concept Lattices and Their Applications (CLA '07), Oct 2007, Montpellier, France. pp.26--37
inria-00189424v1  Conference papers
Laszlo SzathmaryAmedeo NapoliPetko Valtchev. Towards Rare Itemset Mining
19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI '07), Oct 2007, Patras, Greece. pp.305--312
inria-00165868v1  Conference papers
Frédéric Suter. Scheduling Delta-Critical Tasks in Mixed-Parallel Applications on a National Grid
8th IEEE/ACM International Conference on Grid Computing - Grid 2007, Sep 2007, Austin, TX, United States. pp.2-9
inria-00156871v1  Conference papers
Bill StoddartDominique CansellFrank Zeyda. Modelling and Proof Analysis of Interrupt Driven Scheduling
The 7th International B Conference - B 2007, Jacques Jullian et Olga Kouchnarenko, Jan 2007, Besançon/France, pp.155-170, ⟨10.1007/11955757_14⟩
hal-00136204v1  Conference papers
Luiz Angelo SteffenelMaxime MartinassoDenis Trystram. Assessing Contention Effects on MPI_Alltoall Communications
2nd International Conference on Grid and Pervasive Computing - GPC 2007, May 2007, France. pp.00
inria-00172054v1  Conference papers
Radu StateVincent CridligOlivier Festor. A model for checking consistency in access control policies for network management
10th IFIP/IEEE International Symposium on Integrated Management (IM 2007), May 2007, Munich, Germany
inria-00172056v1  Conference papers
Radu State. Assessing and Hacking Network Security
10th IFIP/IEEE International Symposium on Integrated Management (IM 2007), May 2007, Munich, Germany
inria-00172057v1  Conference papers
Radu StateMohamed NassarOlivier Festor. BGP confederation provisioning
Autonomous Infrastructure, Management and Security (AIMS 2007), Jun 2007, Oslo, Norway
inria-00170426v1  Conference papers
Cherif SmailiMaan El Badaoui El NajjarFrançois Charpillet. Multi-Sensor Fusion Method using Dynamic Bayesian Network for Precise Vehicle Localization and Road Matching
19th IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2007, Oct 2007, Patras, Greece. 6 p
inria-00129222v1  Conference papers
Hala Skaf-MolliClaudia-Lavinia IgnatCharbel RahhalPascal Molli. New Work Modes For Collaborative Writing
International Conference on Enterprise Information Systems and Web Technologies - EISWT-07, Jul 2007, Orlando, United States. pp.176-182
inria-00193182v1  Conference papers
Françoise Simonot-Lion. The design of safe automotive embedded systems - Some problems, solutions and open issues
SUMMER RESEARCH PROGRAM 2007 School of Life Sciences - Ecole Polytechnique Fédérale de Lausanne (EPFL), EPFL, Jul 2007, Lausanne, Switzerland
inria-00189964v1  Conference papers
Chung Shue ChenWing Shing WongYe-Qiong Song. The design and analysis of protocol sequences for robust wireless accessing
50th Annual IEEE Global Telecommunications Conference - GLOBECOM 2007, IEEE, Nov 2007, Washington D.C., United States
inria-00176333v1  Conference papers
Judson Santos SantiagoLaurent Vigneron. Optimistic Non-repudiation Protocol Analysis
Information Security Theory and Practices - Smart Cards, Mobile and Ubiquitous Computing Systems, May 2007, Heraklion, Greece. pp.90-101, ⟨10.1007/978-3-540-72354-7_8⟩
inria-00185713v1  Conference papers
Anderson Santana de OliveiraCharles Morisset. Automated Detection of Information Leakage in Access Control
Second International Workshop on Security and Rewriting Techniques - SecReT 2007, Jun 2007, Paris, France
inria-00185710v1  Conference papers
Anderson Santana de OliveiraEric Ke WangClaude KirchnerHélène Kirchner. Weaving Rewrite-Based Access Control Policies
The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
inria-00184880v1  Conference papers
Jean-Pierre SalmonLaurent Wendling. ARG based on arcs and segments to improve the symbol recognition by genetic algorithm
Seventh International Workshop on Graphics Recognition - GREC'2007, IAPR TC-10 (Technical Committee on Graphics Recognition), Sep 2007, Curitiba, Brazil. 11 p
inria-00175667v1  Journal articles
Jamal SabouneFrançois Charpillet. Markerless human motion tracking from a single camera using Interval Particle Filte
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2007, 6 (4), pp. 593-609. ⟨10.1142/S021821300700345X⟩
inria-00170996v1  Conference papers
Jamal SabouneCédric RoseFrançois Charpillet. Factored Interval Particle Filtering for Gait Analysis
29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - IEEE EMBC 2007, Aug 2007, Lyon, France. 4 p
inria-00176893v1  Conference papers
Marçal RusiñolJosep LladósPhilippe Dosch. Camera-Based Graphical Symbol Detection
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.884-888
inria-00142213v1  Conference papers
Marçal RusiñolPhilippe DoschJosep Lladós. Boundary Shape Recognition Using Accumulated Length and Angle Information
Third Iberian Conference on Pattern Recognition and Image Analysis - IbPRIA 2007, Jun 2007, Girona, Spain. pp.210-217, ⟨10.1007/978-3-540-72849-8_27⟩
inria-00275168v1  Conference papers
Yvan RoyonPierre ParrendStéphane FrénotSerafeim PapastefanosHumberto Abdelnur et al.  Multi-service, Multi-protocol Management for Residential Gateways
BroadBand Europe, Broadband Europe Community, Dec 2007, Antwerp, Belgium
lirmm-00163364v1  Conference papers
Amine Mohamed Rouane HaceneMarianne HuchardAmedeo NapoliPetko Valtchev. A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data
ICFCA'07: 5th International Conference Formal Concept Analysis, Feb 2007, Clermont-Ferrand, France, France. pp.51-65
inria-00111243v1  Journal articles
Denis Roegel. Review of ``Mathematical Illustrations: A Manual of Geometry and PostScript
Notices of the American Mathematical Society, American Mathematical Society, 2007, 54 (1), pp.38-42
inria-00172406v1  Journal articles
Denis Roegel. A complex drawing in descriptive geometry
Tugboat, TeX Users Group, 2007, 28 (2), pp.218-228
inria-00184252v1  Conference papers
Vincent RobertYves LaprieAnne Bonneau. A phonetic concatenative approach of labial coarticulation
INTERSPEECH 2007, ISCA, Aug 2007, Antwerp, Belgium. pp.1402-1405
inria-00130456v2  Conference papers
Colin Riba. Strong Normalization as Safe Interaction
Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. pp.13-22
hal-00123116v2  Conference papers
Colin Riba. On the Stability by Union of Reducibility Candidates
10th International Conference on Foundations of Software Science and Computational Structures - FoSSaCS 2007, 2007, Braga, Portugal. pp.317-331, ⟨10.1007/978-3-540-71389-0⟩
hal-00184837v1  Conference papers
Joris RehmDominique Cansell. Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. pp.179-190
inria-00134135v1  Conference papers
Joseph RazikOdile MellaDominique FohrJean-Paul Haton. Frame-Synchronous And Local Confidence Measures For On-The-Fly Keyword Spotting
International Symposium on Signal Processing and its Applications - ISSPA 2007, Feb 2007, Sharjah, United Arab Emirates. pp.1-4
inria-00174447v1  Conference papers
Rajesh RaoThomas Voegtlin. Reverse Replay in the Hippocampus as Optimal Bayesian Smoothing
COSYNE, 2007, Salt Lake City, Utah, United States
inria-00187425v1  Conference papers
Silvio RaniseChristophe RingeissenDuc-Khanh Tran. Combining Proof-Producing Decision Procedures
6th International Symposium o Frontiers of Combining Systems - FroCoS 2007, Boris Konev and Frank Wolter, Sep 2007, Liverpool, United Kingdom. pp.237-251, ⟨10.1007/978-3-540-74621-8_16⟩
inria-00179453v1  Conference papers
Oriol Ramos TerradesAntoine TabboneErnest Valveny. A review of shape descriptors for document analysis
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil
inria-00179484v1  Conference papers
Oriol Ramos TerradesAntoine TabboneErnest Valveny. Optimal Linear Combination for Two-Class Classifiers
Sixth International Conference on Advances in Pattern Recognition - ICAPR 2007, Jan 2007, Kolkata, India
inria-00179493v1  Conference papers
Oriol Ramos TerradesAntoine TabboneErnest Valveny. On the Combination of Ridgelets Descriptors for Symbol Recognition
Seventh International Workshop on Graphics Recognition - GREC'2007, IAPR TC-10 (Technical Committee on Graphics Recognition), Sep 2007, Curitiba, Brazil. 2 p
inria-00432220v1  Conference papers
Charbel RahhalHala Skaf-MolliPascal MolliNishadi Desilva. SemCW: Semantic Collaborative Writing using RST
The 3rd International Conference on Collaborative Computing:Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, New York, United States. pp.484-493, ⟨10.1109/COLCOM.2007.4553879⟩
inria-00168530v1  Directions of work or proceedings
Isabelle PuautNicolas NavetFrançoise Simonot-Lion. Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07)
Isabelle Puaut and Nicolas Navet and Françoise Simonot-Lion. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.238, 2007, 2-905267-53-4
inria-00192236v1  Journal articles
Aiko PrasJuergen SchoenwaelderMark BurgessOlivier FestorGregorio Martinez Perez et al.  Key Research Challenges in Network Management
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2007, 45 (10), pp.104-110. ⟨10.1109/MCOM.2007.4342833⟩
inria-00180230v1  Conference papers
Blaise PotardYves Laprie. Compact representations of the articulatory-to-acoustic mapping
INTERSPEECH 2007, Aug 2007, Antwerp, Belgium. pp.2481-2483
inria-00112898v3  Conference papers
Sylvain Pogodalla. Generalizing a Proof-Theoretic Account of Scope Ambiguity
Proceedings of the 7th International Workshop on Computational Semantics (IWCS-7), Jan 2007, Tilburg, Netherlands
inria-00184108v1  Conference papers
Guy Perrier. A French Interaction Grammar
International Conference on Recent Advances in Natural Language Processing - RANLP 2007, IPP & BAS & ACL-Bulgaria, Sep 2007, Borovets, Bulgaria. pp.463-467
hal-00280088v1  Conference papers
Frédéric PennerathAmedeo Napoli. Mining Frequent Most Informative Subgraphs
Mining And Learning With Graphs (MLG), Aug 2007, Florence, Italy
inria-00160400v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang Maier. XMG: eXtending MetaGrammars to MCTAG
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.473-482
inria-00182427v1  Conference papers
Stavroula PapadopoulouClaudia-Lavinia IgnatMoira Norrie. Awareness Model to Overview Modifications in Collaborative Graphical Authoring Tools
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States
inria-00177010v1  Conference papers
Nicolas PadoyTobias BlumIrfan EssaHubertus FeussnerMarie-Odile Berger et al.  A Boosted Segmentation Method for Surgical Workflow Analysis
10th International Conference on Medical Image Computing and Computer Assisted Intervention - MICCAI 2007, Oct 2007, Brisbane, Australia. pp.102-109, ⟨10.1007/978-3-540-75757-3_13⟩
inria-00177016v1  Conference papers
Nicolas PadoyMartin HornHubertus FeussnerMarie-Odile BergerNassir Navab. Recovery of Surgical Workflow: a Model-based Approach
21st International Congress and Exhibition - Computer Assisted Radiology and Surgery - CARS 2007, Jun 2007, Berlin, Germany
hal-00184425v1  Journal articles
Slim OuniMichael CohenHope IshakDominic Massaro. Visual Contribution to Speech Perception: Measuring the Intelligibility of Animated Talking Heads
EURASIP Journal on Audio, Speech, and Music Processing, SpringerOpen, 2007, 2007, pp.ID 47891. ⟨10.1155/2007/47891⟩
hal-00174344v1  Conference papers
Slim OuniKais Ouni. Arabic Pharyngeals in Visual Speech
International Conference on Auditory-Visual Speech Processing 2007 (AVSP), Aug 2007, Hilvarenbeek, Netherlands. pp.212-215
hal-00174350v1  Conference papers
Slim OuniKais Ouni. Aspects of Visual Speech in Arabic
Interspeech 2007, Aug 2007, Antwerp, Belgium. pp.WeB.P1a-7
inria-00139704v1  Conference papers
Gérald OsterHala Skaf-MolliPascal MolliHala Naja-Jazzar. Supporting Collaborative Writing of XML Documents
9th International Conference on Enterprise Information Systems - ICEIS 2007, Jun 2007, Funchal, Madeira, Portugal. pp.335-341
inria-00164807v1  Conference papers
Nicolas NouryFrédéric SurMarie-Odile Berger. Fundamental matrix estimation without prior match
14th IEEE International Conference on Image Processing - ICIP 2007, Sep 2007, San Antonio, Texas, United States. pp.I - 513 - I - 516, ⟨10.1109/ICIP.2007.4379004⟩
inria-00192071v1  Conference papers
Shahram NourizadehYe Qiong SongJean-Pierre Thomesse. A Location-Unaware Distributed Clustering Algorithm for Mobile Wireless Networks Using Fuzzy Logic
7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems - FeT'2007, Nov 2007, Toulouse, France
inria-00175743v1  Conference papers
Sergio NogueiraYassine Ruichek. A new B-Spline based active contour approach
IAPR Conference on Machine Vision Applications - MVA 2007, May 2007, Tokyo, Japan