Skip to Main content Skip to Navigation

inria-00189423v1  Conference papers
Laszlo SzathmaryAmedeo NapoliSergei 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-00126474v2  Conference papers
Guillaume HanrotVincent LefèvreDamien StehléPaul Zimmermann. Worst Cases of a Periodic Function for Large Arguments
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
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⟩
inria-00187782v1  Conference papers
Antoine JouxDavid NaccacheEmmanuel Thomé. When e-th Roots Become Easier Than Factoring
Advances in Cryptology -- ASIACRYPT 2007, Dec 2007, Kuching, Malaysia. pp.13-28, ⟨10.1007/978-3-540-76900-2_2⟩
hal-01148523v1  Conference papers
Michel CosnardLuigi Liquori. Weaving Arigatoni with a graph topology
1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
inria-00149554v1  Conference papers
Mohamed NassarRadu StateOlivier Festor. Voip Honeypot Architecture
IM 2007 - Moving from Bits to Business Value, IFIP/IEEE, May 2007, Munich, Germany. pp.109-118
inria-00155791v1  Conference papers
Caroline LavecchiaKamel SmaïliDavid LangloisJean-Paul Haton. Using inter-lingual triggers for Machine translation
8th Annual Conference of the International Speech Communication Association - INTERSPEECH 2007, Aug 2007, Antwerp, Belgium. pp.2829-2832
inria-00172234v1  Conference papers
Armelle BrunAnne Boyer. Usage based indexing of web resources with natural language processing
3rd International Conference on Web Information Systems and Technologies - Webist 07, INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; Open University of Catalonia, Mar 2007, Barcelone, Spain
inria-00189036v1  Conference papers
Hazel EverettSylvain LazardGiuseppe LiottaSteve Wismath. Universal Sets of n Points for 1-bend Drawings of Planar Graphs with n Vertices
The 15th International Symposium on Graph Drawing - GD 2007, Sep 2007, Sydney, Australia. pp.345-351, ⟨10.1007/978-3-540-77537-9_34⟩
inria-00138195v3  Conference papers
Guillaume Burel. Unbounded Proof-Length Speed-up in Deduction Modulo
16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Jacques Duparc, Sep 2007, Lausanne, Switzerland. pp.496-511, ⟨10.1007/978-3-540-74915-8_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
hal-00650597v1  Book sections
Nancy IdeLaurent Romary. Towards International Standards for Language Resources
Laila Dybkjær and Holmer Hemsen and Wolfgang Minker. Evaluation of Text and Speech Systems, Kluwer Academic Publishers, pp.263-284, 2007
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-00164462v1  Conference papers
Thomas GirodLaurent BougrainFrédéric Alexandre. Toward a robust 2D spatio-temporal self-organization
15th European Symposium on Artificial Neural Networks - ESANN'2007, Apr 2007, Bruges, Belgium
tel-00195096v1  Theses
Eunyoung Kang. Tool supported real-time system verification with combination of abstraction/deduction and model checking
Software Engineering [cs.SE]. Université Henri Poincaré - Nancy I, 2007. English
inria-00142045v1  Conference papers
Emilie BallandPaul BraunerRadu KopetzPierre-Etienne MoreauAntoine Reilles. Tom: Piggybacking rewriting on java
Conference on Rewriting Techniques and Applications - RTA'07, Jun 2007, Paris/France, France. pp.36-47
inria-00177850v1  Conference papers
Howard ChengGuillaume HanrotEmmanuel ThoméEugene ZimaPaul Zimmermann. Time- and Space-Efficient Evaluation of Some Hypergeometric Constants
ISSAC '07: Proceedings of the 2007 international symposium on Symbolic and algebraic computation, Association for Computing Machinery, Jul 2007, Waterloo, Canada. pp.85-91, ⟨10.1145/1277548.1277561⟩
hal-00149163v1  Conference papers
Dominique CansellDominique MéryJoris Rehm. Time Constraint Patterns for Event B Development
7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩
inria-00186085v1  Conference papers
Hazel EverettDaniel LazardSylvain LazardMohab Safey El Din. The Voronoi Diagram of Three Lines
23rd Annual Symposium on Computational Geometry (SoCG'07), Hee-Kap Ahn, Otfried Cheong, and Kyung-Yong Chwa, Jun 2007, Gyeongju, South Korea. pp.255-264, ⟨10.1145/1247069.1247116⟩
inria-00168429v1  Conference papers
Pierrick GaudryEmmanuel Thomé. The mpFq library and implementing curve-based key exchanges
SPEED: Software Performance Enhancement for Encryption and Decryption, ECRYPT Network of Excellence in Cryptology, Jun 2007, Amsterdam, Netherlands. pp.49-64
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-00167681v1  Conference papers
Rokia BendaoudAmine Mohamed Rouane HaceneYannick ToussaintBertrand DelecroixAmedeo Napoli. Text-based ontology construction using relational concept analysis
International Workshop on Ontology Dynamics - IWOD 2007, Jun 2007, Innsbruck, Austria
inria-00129515v1  Conference papers
Emilie BallandPaul Brauner. Term-graph rewriting in Tom using relative positions
4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. pp.3-17
inria-00189899v1  Conference papers
Ning JiaYe-Qiong SongFrançoise Simonot-Lion. Task Handler Based on (m,k)-firm Constraint Model for Managing a Set of Real-Time Controllers
15th International Conference on Real-Time and Network Systems - RTNS 2007, Mar 2007, Nancy, France. pp.183-194
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-00141672v2  Conference papers
Paul BraunerClément HoutmannClaude Kirchner. Superdeduction at work
Colloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. pp.132-166, ⟨10.1007/978-3-540-73147-4⟩
inria-00201503v3  Reports
Jens Gustedt. Sublinear Communication for Integer Permutations
[Research Report] RR-6403, INRIA. 2007, 20 p
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
inria-00158906v1  Conference papers
Olfa MosbahiJacques Jaray. Specification and Proof of Liveness Properties in B Event Systems
2nd International Conference on Software and Data Technologies - ICSOFT 2007, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Jul 2007, Barcelone, Spain. pp.25-34
inria-00326931v1  Conference papers
Claire ChauvinSever Adrian HirstoagaPavla KabelikovaAntoine RousseauFrédéric Bernardin et al.  Solving the Uniform Density Constraint in a Stochastic Downscaling Model
CEMRACS 2007 - Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique, Aug 2007, Marseille, France. pp.97-110, ⟨10.1051/proc:2008032⟩
inria-00348693v1  Conference papers
Madalina DeaconuAntoine Lejay. Simulation of exit times and positions for Brownian motions and Diffusions
ICIAM 2007, 6th International Congress on Industrial and Applied Mathematics, International Council for Industrial and Applied Mathematics (ICIAM), Jul 2007, Zurich, Switzerland. pp.1081401-1081402, ⟨10.1002/pamm.200700564⟩
inria-00118983v1  Journal articles
Olivier BuffetAlain DutechFrançois Charpillet. Shaping Multi-Agent Systems with Gradient Reinforcement Learning
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2007, 15 (2), pp.197--220. ⟨10.1007/s10458-006-9010-5⟩
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-00179735v1  Conference papers
Tchimou N'TakpéFrédéric Suter. Self-Constrained Resource Allocation Procedures for Parallel Task Graph Scheduling on Shared Computing Grids
19th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS 2007, Nov 2007, Cambridge, Massachusetts, United States
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
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-00152312v2  Reports
Mathieu GrenierNicolas Navet. Scheduling Configuration on Posix 1003.1b Systems
[Research Report] RR-6209, INRIA. 2007, pp.26
inria-00185698v1  Conference papers
Pierre-Etienne MoreauAntoine Reilles. Rules and Strategies in Java
7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France. pp.71-82
inria-00200339v1  Conference papers
Antoine Lejay. Rough paths: an introduction using classical analysis
Numerical Nalaysus abd Applied Mathematics (ICNAAM), Sep 2007, Corfou, Greece. pp.339--342
inria-00184490v1  Conference papers
Bart LamiroyOlivier GaucherLaurent Fritz. Robust Circle Detection
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.526-530, ⟨10.1109/ICDAR.2007.4378765⟩
inria-00274919v1  Conference papers
Emilie BallandPierre-Etienne MoreauAntoine Reilles. Rewriting Strategies in Java
The Eighth International Workshop on Rule-Based Programming - RBP'07, Jun 2007, Paris, France
tel-01746531v3  Theses
Weiming Dong. Rendering Algorithms for Natural Scenes
Modeling and Simulation. Université Henri Poincaré - Nancy 1, 2007. English
inria-00169216v1  Conference papers
Marie-Odile Berger. Realistic Face Animation From Sparse Stereo Meshes
International Conference on Auditory-Visual Speech Processing 2007 - AVSP 2007, Antonie Bors, Emiel Krahmer, Marc Swerts, Jean Vroomen, Sep 2007, Hilvarenbeek, Netherlands. pp.62--67
inria-00188265v1  Conference papers
Yanjun LiChung Shue ChenYe-Qiong SongZhi Wang. Real-time QoS support in wireless sensor networks: a survey
7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems - FeT'2007, Nov 2007, Toulouse, France
inria-00186100v1  Conference papers
Martine CadotPascal CuxacAlain Lelu. Random simulations of a datatable for efficiently mining reliable and non-redundant itemsets
12th International Conference on Applied Stochastic Models and Data Analysis - ASMDA 2007, May 2007, Chania, Crête, Greece
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-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-00192234v1  Directions of work or proceedings
Liliana Cucu. Proceedings of Junior Researcher Workshop on Real-Time Computing
Liliana Cucu. Impressions et Reliures, Institut National Polytechnique de Lorraine, pp.65, 2007
inria-00191163v1  Conference papers
Nicolas NavetLiliana CucuRené Schott. Probabilistic Estimation of Response Times Through Large Deviations
Work-in Progress of the 28th IEEE Real-Time Systems Symposium (RTSS'2007 WiP), Dec 2007, Tucson, United States
inria-00133666v1  Conference papers
Nawal GuermoucheSalima BenbernouEmmanuel CoqueryMohand-Said Hacid. Privacy-Aware Web Service Protocol Replaceability
IEEE International Conference on Web Services - ICWS 2007, Jul 2007, Salt Lake City, Utah, United States. pp.1048 - 1055, ⟨10.1109/ICWS.2007.143⟩
inria-00133557v3  Conference papers
Paul BraunerClement HoutmannClaude Kirchner. Principles of Superdeduction
Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
inria-00138382v2  Conference papers
Laurent ThéryGuillaume Hanrot. Primality Proving with Elliptic Curves
TPHOL 2007, Sep 2007, Kaiserslautern, Germany. pp.319-333
inria-00186777v1  Conference papers
Karën FortBruno Guillaume. PrepLex: a Lexicon of French Prepositions for Parsing
4th ACL-SIGSEM Workshop on Prepositions, Jun 2007, Prague, Czech Republic. pp.0
inria-00112065v1  Journal articles
Eunyoung KangStephan Merz. Predicate Diagrams for the Verification of Real-Time Systems
Formal Aspects of Computing, Springer Verlag, 2007, 19 (3), pp.401-413. ⟨10.1007/s00165-007-0030-y⟩
inria-00171796v1  Conference papers
Sylvain CastagnosAnne Boyer. Personalized Communities in a Distributed Recommender System
29th European Conference on Information Retrieval - ECIR'07, Fondazione Ugo Bordoni; BCS-IRSG; ACM SIGIR, Apr 2007, Rome, Italy. pp.343-355, ⟨10.1007/978-3-540-71496-5_32⟩
inria-00187849v1  Conference papers
Bilel NefziYe-Qiong Song. Performance Analysis and improvement of ZigBee routing protocol
7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems - FeT'2007, Nov 2007, Toulouse, France
inria-00434090v1  Journal articles
Otfried CheongHazel EverettHyo-Sil KimSylvain LazardRené Schott. Parabola separation queries and their application to stone throwing
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.349-360. ⟨10.1142/S0218195907002379⟩
inria-00152370v1  Conference papers
Weiming DongNing ZhouJean-Claude Paul. Optimized Tile-Based Texture Synthesis
Proceedings of the Graphics Interface 2007, May 2007, Montreal, Canada. pp.249-256
inria-00170185v1  Conference papers
Amine BoumazaBruno Scherrer. Optimal control subsumes harmonic control
IEEE International Conference on Robotics and Automation - ICRA 07, Apr 2007, Rome, Italy. pp.2841-2846
inria-00174596v1  Conference papers
Noelia MontejoDominique Martinez. Opposite role of slow and fast GABAergic inhibition in synchronization and spike timing precision
Sixteenth Annual Computational Neuroscience Meeting: CNS*2007, Jul 2007, Toronto, Canada
inria-00186988v1  Conference papers
Adrien CouletMalika Smaïl-TabbonePascale BenlianAmedeo NapoliMarie-Dominique Morch. Ontology-guided Data Preparation for Discovering Genotype-Phenotype Relationships
Network Tools and Applications in Biology: A Semantic Web for Bioinformatics - NETTAB 2007, Jun 2007, Pisa, Italy
inria-00189782v1  Conference papers
Amélie CordierBéatrice FuchsJean LieberAlain Mille. On-Line Domain Knowledge Management for Case-Based Medical Recommendation
5th workshop on CBR in the Health Sciences, a workshop of the seventh International Conference on Case-Based Reasoning (ICCBR-07), D. C. Wilson and D. Khemani (volume editors), I. Bichindaritz and S. Montani, Aug 2007, Belfast, United Kingdom. pp.285--294
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-00447628v1  Conference papers
Mohamed Salah BouassidaMohamed Bouali. On the performance of group key management protocols in MANETs
Joint Conference on Security in Network Architectures and Information Systems (SAR-SSI‘07), Jun 2007, Annecy, France. pp.275-286
inria-00095110v1  Conference papers
Frédéric BlanquiThérèse HardinPierre Weis. On the implementation of construction functions for non-free concrete data types
16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.95-109, ⟨10.1007/978-3-540-71316-6_8⟩
inria-00103926v1  Journal articles
Hazel EverettSylvain LazardSylvain PetitjeanLinqiao Zhang. On the Expected Size of the 2D Visibility Complex
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.361-381. ⟨10.1142/S0218195907002380⟩
hal-00077096v1  Journal articles
Paavo SalminenPierre Vallois. On maximum increase and decrease of Brownian motion
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2007, 43 (6), pp.655-676. ⟨10.1016/j.anihpb.2006.09.007⟩
inria-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
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-00169995v3  Reports
Frédéric Beck. NetFlow, RMON and Cisco-NAM deployment
[Technical Report] RT-0343, INRIA. 2007, pp.27
inria-00188629v1  Conference papers
Christelle BraunLionel HavetNicolas Navet. NETCARBENCH: A benchmark for techniques and tools used in the design of automotive communication systems
7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems - FeT'2007, Nov 2007, Toulouse, France. pp.321-328
inria-00172231v1  Conference papers
Anne BoyerArmelle Brun. Natural language processing for usage based indexing of web resources
29th European Conference on Information Retrieval - ECIR'07, Fondazione Ugo Bordoni; BCS-IRSG; ACM SIGIR, Apr 2007, Rome, Italy. pp.517-524, ⟨10.1007/978-3-540-71496-5_46⟩
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