Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

2 897 Results
Deposit type : Notice

El proyecto Pl@ntNet : Una sistema de información colaborativa y de identificación de plantas

Pierre Bonnet , Jean-François Molino , Daniel Barthélémy , Nozha Boujemaa , Daniel Mathieu , et al.
Workshop International "Origine de la biodiversité et utilisations innovantes de la diversité moléculaire et génétique", Nov 2010, Iquitos, Perú
Conference papers hal-02821455v1

Application of a temperature-dependent von Bertalanffy growth model to bullhead (Cottus gobio)

J. Kielbassa , M.L. Delignette-Müller , Didier Pont , S. Charles
Ecological Modelling, 2010, 221 (20), pp.2475-2481. ⟨10.1016/j.ecolmodel.2010.07.001⟩
Journal articles istex hal-02594632v1

IRIM at TRECVID 2010: High Level Feature Extraction and Instance Search

David Gorisse , Frédéric Precioso , Philippe Gosselin , Lionel Granjon , Denis Pellerin , et al.
TREC Video Retrieval Evaluation workshop, 2010, Gaithersburg, MD, United States
Conference papers hal-00953839v1

Angio IRM des membres inférieurs sans injection Etude de faisabilité à 3T chez des volontaires sains de la séquence NATIVE SPACE

Laurent Valérie , Elise Bannier , Heautot Jean-François , Corouge Isabelle , Pelletier Delphine , et al.
Journées Françaises de Radiologie 2010, Oct 2010, France
Conference papers inserm-00606935v1

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS

Claus Brabrand , Pierre-Etienne Moreau
Claus Braband and Pierre-Etienne Moreau. ACM, 2010, 978-1-4503-0063-6
Books inria-00607189v1

Bounds on real eigenvalues and singular values of interval matrices

Milan Hladïk , David Daney , Elias Tsigaridas
SIAM Journal on Matrix Analysis and Applications, 2010, 31 (4), pp.2116-2129. ⟨10.1137/090753991⟩
Journal articles hal-00907726v1

Multimodal inference of articulated spine models from higher order energy functions of discrete MRFS

Samuel Kadoury , Nikos Paragios
2010 IEEE 7th International Symposium on Biomedical Imaging - ISBI 2010, Apr 2010, Rotterdam, Netherlands. pp.1393-1396, ⟨10.1109/ISBI.2010.5490258⟩
Conference papers hal-00856052v1

Image transport regression using mixture of experts and discrete Markov random fields

Fabrice Michel , Nikos Paragios
2010 IEEE 7th International Symposium on Biomedical Imaging - ISBI 2010, Apr 2010, Rotterdam, Netherlands. pp.1229-1232, ⟨10.1109/ISBI.2010.5490217⟩
Conference papers hal-00856054v1

Needle tracking through higher-order MRF optimization

Tim Hauke Heibel , Ben Glocker , Nikos Paragios , Nassir Navab
2010 IEEE 7th International Symposium on Biomedical Imaging - ISBI 2010, Apr 2010, Rotterdam, Netherlands. pp.624-627, ⟨10.1109/ISBI.2010.5490099⟩
Conference papers hal-00856058v1

Primal Heuristics for Branch-and-Price

Cedric Joncour , Sophie Michel , Ruslan Sadykov , François Vanderbeck
European Conference on Operational Research (EURO'10), 2010, Lisbon, Portugal
Conference papers inria-00550137v1

Sky Computing on FutureGrid and Grid'5000

Pierre Riteau , Mauricio Tsugawa , Andrea Matsunaga , Jose Fortes , Tim Freeman , et al.
TeraGrid'10 (Poster session), Aug 2010, Pittsburgh, PA, United States
Conference papers inria-00551206v1

Bringing fast floating-point arithmetic into embedded integer processors

Christian Bertin , Claude-Pierre Jeannerod , Christophe Monat
HiPEAC Info, 2010, 22, pp.11-12
Journal articles ensl-00551245v1

OpenViBE Tutorial: A Novel Open-­‐Source Software to Design, Test and Use Brain-­‐Computer Interfaces

Yann Renard , Laurent Bonnet , Baptiste Payan , Laurent Bougrain , Anatole Lécuyer
BCI Meeting 2010, May 2010, Asilomar, United States
Conference papers inria-00551379v1

Fuzzy multi-attribute decision making for e-sourcing

Ritesh Kumar Singh , Lyes Benyoucef
7th International Symposium on Intelligent and Manufacturing Systems - IMS 2010, Sep 2010, Sarajevo, Bosnia and Herzegovina
Conference papers inria-00601285v1

ESS versus cooperative behaviour in a consumer-resource model

Anderi R. Akhmetzhanov , Frédéric Grognard , Ludovic Mailleret , Pierre Bernhard
Conference on Computational and Mathematical Population Dynamics, 2010, Bordeaux, France
Conference papers hal-00850412v1

Computing gap-free Pareto front approximations with stochastic search algorithms

Oliver Schütze , Marco Laumanns , Emilia Tantar , Carlos A. Coello Coello , El-Ghazali Talbi
Evolutionary Computation, 2010, 18 (1), pp.65-96. ⟨10.1162/evco.2010.18.1.18103⟩
Journal articles hal-00750950v1

Fences in Weak Memory Models

Jade Alglave , Luc Maranget , Susmit Sarkar , Peter Sewell
CAV'10, Computer Aided Verification - 22nd International Conference, Jul 2010, Edinburgh, United Kingdom. ⟨10.1007/978-3-642-14295-6_25⟩
Conference papers hal-01100859v1

Flow simulations in 3D Discrete Fracture Networks.

Jean-Raynald de Dreuzy , Jocelyne Erhel , Géraldine Pichot , Baptiste Poirriez
International congress in Mathematical Fluid Dynamics and its Applications, Jun 2010, Rennes, France
Conference papers hal-00853263v1

Sleep disorders and accidental risk in a large group of regular registered highway drivers.

Pierre Philip , Patricia Sagaspe , Emmanuel Lagarde , Damien Leger , Maurice M Ohayon , et al.
Sleep Medicine, 2010, 11 (10), pp.973-9
Journal articles hal-01155590v1

A survey of superadditive functions and dual-feasible functions

François Clautiaux , Claudio Alves , José Valério de Carvalho
Annals of Operations Research, 2010, 179 (1), pp.281-288
Journal articles inria-00522674v1

A global camera network calibration method with Linear Programming

Jérôme Courchay , Arnak S. Dalalyan , Renaud Keriven , Peter Sturm
3DPVT 2010 - International Symposium on 3D Data Processing, Visualization and Transmission, May 2010, Paris, France
Conference papers inria-00523984v1

Image-Based Satellite Attitude Estimation

Régis Perrier , Élise Arnaud , Peter Sturm , Mathias Ortner
IGARSS - IEEE International Geoscience and Remote Sensing Symposium, Jul 2010, Honolulu, United States. pp.3394-3397, ⟨10.1109/IGARSS.2010.5650425⟩
Conference papers inria-00523990v1

One-shot scanning method using an uncalibrated projector and camera system

Hiroshi Kawasaki , Ryusuke Sagawa , Yasushi Yagi , Ryo Furukawa , Naoki Asada , et al.
PROCAMS 2010 - IEEE International Workshop on Projector-Camera Systems, Jun 2010, San Francisco, United States. pp.104-111, ⟨10.1109/CVPRW.2010.5544604⟩
Conference papers inria-00523992v1

Formal Proof of SCHUR Conjugate Function

Franck Butelle , Florent Hivert , Micaela Mayero , Frédéric Toumazet
CALCULEMUS 2010, Jul 2010, Paris, France. pp.158-171, ⟨10.1007/978-3-642-14128-7⟩
Conference papers hal-00477574v1

Génolevures : Policy for automated annotation of genome sequences

Tiphaine Martin , Pascal Durrens
Levures, Modèles et Outils IX, Aug 2010, Strasbourg, France
Conference papers inria-00524385v1

On Array Theory of Bounded Elements

Min Zhou , Fei He , Bow-Yaw Wang , Ming Gu
CAV 2010 - 22nd International Conference on Computer Aided Verification, Jul 2010, Edinburgh, United Kingdom
Conference papers inria-00517943v1

Proof and Refutation in MALL as a game

Olivier Delande , Dale Miller , Alexis Saurin
Annals of Pure and Applied Logic, 2010, 161 (5), pp.654-672. ⟨10.1016/j.apal.2009.07.017⟩
Journal articles hal-00527922v1

Standardization and Böhm Trees for $\Lambda\mu$-Calculus

Alexis Saurin
Tenth International Symposium on Functional and Logic Programming - FLOPS 2010, Apr 2010, Sendai, Japan. pp.134-149, ⟨10.1007/978-3-642-12251-4_11⟩
Conference papers hal-00527926v1

A high-order time and space formulation of the unsplit perfectly matched layer for the seismic wave equation using Auxiliary Differential Equations (ADE-PML)

Roland Martin , Dimitri Komatitsch , Stephen D. Gedney , Emilien Bruthiaux
Computer Modeling in Engineering and Sciences, 2010, 56 (1), pp.17-42. ⟨10.3970/cmes.2010.056.017⟩
Journal articles inria-00528456v1

Nouvelle technique d'analyse de la forme des signaux de pression artérielle basée sur une approche semi-classique

Taous-Meriem Laleg-Kirati , Claire Médigue , Bernard Helffer , Emmanuelle Crépeau , Michel Sorine
Une demi-journée sur le coeur-Séminaire université de Versailles, Mar 2010, Versailles, France
Conference papers inria-00527760v1