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-00338679v1  Conference papers
Marie-Dominique MorchMalika Smaïl-Tabbone. Workshop PC Chairs' Message. Web Data Integration for Mining in the Life Sciences (WebDIM4LS)
International Workshops on Web Information Systems Engineering – WISE 2007 Workshops, Dec 2007, Nancy, France. pp.3-4, ⟨10.1007/978-3-540-77010-7_1⟩
inria-00216024v1  Conference papers
Karim BaïnaF.-Z. AzayiteN. BelakbirH. SrirKhalid Benali. Workflow Engines Comparison Model
First IEEE International Conference on Research Challenges in Information Science - RCIS 2007, EMSI (Ecole Marocaine des Sciences de l'Ingénieur) / IFI (Institut du Futur de l'Informatique), Apr 2007, Ouarzazate, Morocco
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-00175756v1  Conference papers
Sergio NogueiraJean-Michel ContetYassine RuichekFranck Gechter. Wifi based remote control system with video feedback for intelligent vehicles
Biennial on DSP for In-Vehicle and Mobile Systems, Jun 2007, Istanbul, Turkey
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⟩
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
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
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-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-00174013v1  Book sections
Michael LeuschelDominique CansellMichael Butler. Validating and Animating Higher-Order Recursive Functions in B
Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
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-00110628v1  Journal articles
Michael AronGilles SimonMarie-Odile Berger. Use of Inertial Sensors to Support Video Tracking
Computer Animation and Virtual Worlds, Wiley, 2007, 18, pp.57-68. ⟨10.1002/cav.161⟩
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-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-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-00178271v1  Journal articles
Jacques Lonchamp. Towards a Web Platform for Collaborative Learning Practice, Evaluation and Dissemination
Journal of Computers (JCP), Academy Publisher, 2007, 2 (5), pp.1-8
inria-00119476v1  Conference papers
Anne BoyerArmelle Brun. Towards a statistical grammar of usage for document retrieval in digital libraries
9th International Symposium on Signal Processing and its Applications - ISSPA'07, Feb 2007, Shirjah, United Arab Emirates. pp.1-4, ⟨10.1109/ISSPA.2007.4555494⟩
inria-00186141v1  Conference papers
Paolo BaldanClara BertolissiHoratiu CirsteaClaude Kirchner. Towards a sharing strategy for the graph rewriting calculus
7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
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
inria-00184530v1  Conference papers
Guillaume HenryAnne BonneauVincent Colotte. Tools devoted to the acquisition of the prosody of a foreign language
International Congress of Phonetic Sciences - ICPhS 2007, Aug 2007, Saarbrücken, Germany. pp.1593-1596
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-00121792v1  Conference papers
Clara BertolissiClaude Kirchner. The Rewriting Calculus as a Combinatory Reduction System
Tenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. pp.78-92, ⟨10.1007/978-3-540-71389-0_7⟩
inria-00170992v1  Journal articles
David HewsonJacques DucheneFrançois CharpilletJamal SabouneValérie Michel-Pellegrino et al.  The PARAChute Project: Remote Monitoring of Posture and Gait for Fall Prevention
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2007, Special Issue : Signal Processing Technologies for Ambient Intelligence in Home-Care Applications, 2007 (ID : 27421), 15 p. ⟨10.1155/2007/27421⟩
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
hal-00162171v1  Journal articles
Amedeo NapoliFlorence Le Ber. The Galois lattice as a hierarchical structure for topological relations
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, pp.1-20. ⟨10.1007/s10472-007-9054-5⟩
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-00169738v1  Conference papers
Alicia DiazGérôme Canals. The collaborative knowledge sharing framework
International IADIS International Conference e-Society - IADIS 2007, Jul 2007, Lisbon, Portugal