Skip to Main content Skip to Navigation

tel-00665897v1  Habilitation à diriger des recherches
Sid Touati. Méthodes d'optimisations de programmes bas niveau
Langage de programmation [cs.PL]. Université de Versailles-Saint Quentin en Yvelines, 2010
inria-00517885v1  Conference papers
Guillaume Batog. From invariants to predicates: example of line transversals to lines
26th European Workshop on Computational Geometry - EuroCG 2010, Mar 2010, Dortmund, Germany
inria-00517899v1  Conference papers
Guillaume BatogXavier GoaocJean Ponce. Admissible Linear Map Models of Linear Cameras
23rd IEEE Conference on Computer Vision and Pattern Recognition - CVPR 2010, Jun 2010, San Francisco, United States. pp.1578 - 1585, ⟨10.1109/CVPR.2010.5539784⟩
hal-01664033v1  Conference papers
Christophe AliasAlain DarteAlexandru Plesco. Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Jul 2010, Rennes, France
inria-00465681v1  Directions of work or proceedings
Amos Abayomi David. Intelligence Économique
Les Cahiers du Numérique. 5, Hermes - Lavoisier, pp.192, 2010, Information, Evaluation, Stratégies, 978-2-7462-2916-7
tel-00012133v1  Theses
Hélène Renard. Equilibrage de charge et redistribution de données sur plates-formes hétérogènes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français
hal-01261710v1  Journal articles
Bernard Fotsing TallaGeorges-Edouard Kouamou. Une approche formelle de description et de manipulation des objets structurés mathématiques
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2005, 3, pp.71-86
inria-00515617v1  Conference papers
Ikhlef BecharSabine MoisanMonique ThonnatFrancois Bremond. On-line video recognition and counting of harmful insects
19th International Conference on Pattern Recognition (ICPR'2010), Aug 2010, Istanbul, Turkey. pp.4068-4071, ⟨10.1109/ICPR.2010.989⟩
inria-00515624v1  Conference papers
Ikhlef BecharSabine Moisan. On-line counting of pests in a greenhouse using computer vision
VAIB 2010 - Visual Observation and Analysis of Animal and Insect Behavior, Bob Fisher, Aug 2010, Istanbul, Turkey
ensl-00000010v1  Conference papers
Jean-Michel MullerNicolas Brisebarre. Correctly rounded multiplication by arbitrary precision constants
ARITH'17, 17th IEEE Symposium on Computer Arithmetic, EEE Computer Society Technical Committee on VLSI, Jun 2005, Cape Cod, United States. ⟨10.1109/ARITH.2005.13⟩
tel-00561299v1  Theses
Olivier Comas. Real-time Soft Tissue Modelling on GPU for Medical Simulation
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2010. English
inria-00493063v2  Conference papers
Mayleen LacoutureHervé GrallThomas Ledoux. CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France
inria-00459461v3  Conference papers
Christophe GiraudVincent Verneuil. Atomicity Improvement for Elliptic Curve Scalar Multiplication
CARDIS 2010, Apr 2010, Passau, Germany. pp.80-101
inria-00561164v1  Conference papers
Ajay KattepurSagar SenBenoit BaudryAlbert BenvenisteClaude Jard. Variability Modeling and QoS Analysis of Web Services Orchestrations
International Conference on Web Services, 2010, Miami, FL, USA, United States
inria-00561086v1  Conference papers
Vincent ClaveauEwa Kijak. Analyse morphologique en terminologie biomédicale par alignement et apprentissage non-supervisé
Conférence Traitement automatique des langues naturelles, TALN'10, ATALA, Jul 2010, Montréal, Québec, Canada
hal-00168147v1  Conference papers
Noëlle Carbonell. Ambient Multimodality: an Asset for Developing Universal Access to the Information Society
3rd International Conference on Universal Access in Human-Computer Interaction, Las Vegas, HCI International, July 22-27, 2005, Jul 2005, Las Vegas, United States. 10 pp
inria-00517052v1  Documents associated with scientific events
Laurent Romary. Curating academic publications — a perspective for research libraries
ALPSP International Conference 2010, Sep 2010, Wyboston, United Kingdom
hal-00516998v1  Conference papers
Alexandre Denis. Reference reversibility with Reference Domain Theory
Proceedings of the 11th annual SIGdial Meeting on Discourse and Dialogue - SIGDIAL 2010, Sep 2010, Tokyo, Japan
hal-00168245v1  Book sections
Noëlle CarbonellSuzanne Kieffer. Do oral messages help visual search?
J. van Kuppevelt, L. Dybkjaer, N.O. Bernsen. Advances in Natural Multimodal Dialogue Systems, Dordrecht (NL) Springer, pp. 131-157, 2005, Vol. 30, 'Text, Speech and Language Technology' Series, ⟨10.1007/1-4020-3933-6_7⟩
inria-00516726v1  Conference papers
Santosh K.C.Cholwich NatteeBart Lamiroy. Spatial Similarity based Stroke Number and Order Free Clustering
International Conference on Frontiers in Handwriting Recognition, Nov 2010, Kolkata, India