Skip to Main content Skip to Navigation

inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
inria-00102948v1  Book sections
Olivier BournezManuel L. Campagnolo. A Survey on Continuous Time Computation
Barry Cooper, Benedikt Löwe and Andrea Sorbi. New Computational Paradigms: Changing Conceptions of What is Computable, Springer, pp.383-424, 2007, 978-0387360331
inria-00103490v1  Journal articles
S. ChenAmine BermakW. YanDominique Martinez. Adaptive-Quantization Digital Image Sensor for Low-Power, Real-Time, Image Compression
IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications, Institute of Electrical and Electronics Engineers (IEEE), 2007, 54 (1), pp.13-25
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-00103655v1  Journal articles
Laurent FousseGuillaume HanrotVincent LefèvrePatrick PélissierPaul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
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-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-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-00110872v1  Journal articles
Paolo BaldanClara BertolissiHoratiu CirsteaClaude Kirchner. A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
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-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-00118122v1  Conference papers
Zouhour Neji Ben SalemLaurent BougrainFrédéric Alexandre. Spatio-Temporal and Complex-Valued Models based on SOM map applied to Speech Recognition
Twentieth International Joint Conference on Artificial Intelligence - IJCAI'2007, Jan 2007, Hyderabad, India
inria-00118309v1  Conference papers
Sabine BarratAntoine Tabbone. A progressive learning method for symbols recognition
22nd Annual ACM Symposium on Applied Computing - SAC 2007, Mar 2007, Seoul, South Korea. pp.627-631
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-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-00119491v1  Conference papers
Bernard GirauAmine Boumaza. Embedded harmonic control for dynamic trajectory planning on FPGA
The IASTED International Conference on Artificial Intelligence and Apllications - AIA 2006, Feb 2007, Innsbruck, Australia
inria-00119254v2  Conference papers
Nicolas BrisebarreGuillaume Hanrot. Floating-Point $L^2$-Approximations
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩
inria-00120352v2  Journal articles
Richard BrentColin PercivalPaul Zimmermann. Error Bounds on Complex Floating-Point Multiplication
Mathematics of Computation, American Mathematical Society, 2007, 76, pp.1469-1481
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-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-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-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-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-00129419v1  Conference papers
Claude KirchnerRadu KopetzPierre-Etienne Moreau. Anti-Pattern Matching
16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩
inria-00129513v1  Conference papers
Emilie BallandPierre-Etienne MoreauAntoine Reilles. Bytecode rewriting in Tom
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation - BYTECODE 07, Mar 2007, Braga, Portugal. pp.19-33
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-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
inria-00115556v3  Conference papers
Guillaume BurelClaude Kirchner. Cut Elimination in Deduction Modulo by Abstract Completion
Symposium on Logical Foundations of Computer Science LFCS'07, Sergei Artemov, Jun 2007, New York, United States. pp.115-131, ⟨10.1007/978-3-540-72734-7_9⟩
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-00134882v1  Conference papers
Arne-Jørgen BerreGiovanna Di Marzo SerugendoDjamel KhadraouiFrançois CharoyGeorge Athanasopoulos et al.  SAMBA - An agent architecture for ambient intelligence elements interoperability
3rd International Conference Interoperability for Enterprise Software and Applications - I-ESA 2007, Mar 2007, Funchal, Portugal. pp.741-752
hal-00136202v1  Conference papers
Wahid NasriLuiz Angelo SteffenelDenis Trystram. Adaptive Performance Modeling on Hierarchical Grid Computing Environments
International Symposium on Cluster Computing and the Grid - CCGrid 2007, May 2007, France. pp.00
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
hal-00136941v1  Journal articles
Jean-Paul Cerri. Euclidean minima of totally real number fields, algorithmic determination
Mathematics of Computation, American Mathematical Society, 2007, pp.29
inria-00127347v1  Conference papers
Mathieu D’aquinFadi BadraSandrine LafrogneJean LieberAmedeo Napoli et al.  Case Base Mining for Adaptation Knowledge Acquisition
Twentieth International Joint Conference on Artificial Intelligence - IJCAI'07, Jan 2007, Hyderabad, India. pp.750-755
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-00139708v1  Conference papers
Claudia-Lavinia IgnatGérald Oster. Flexible Reconciliation of XML Documents in Asynchronous Editing
9th International Conference on Enterprise Information Systems - ICEIS 2007, Jun 2007, Funchal, Madeira, Portugal. pp.359-368
inria-00138382v2  Conference papers
Laurent ThéryGuillaume Hanrot. Primality Proving with Elliptic Curves
TPHOL 2007, Sep 2007, Kaiserslautern, Germany. pp.319-333