Skip to Main content Skip to Navigation

hal-00764761v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. Multi-facet Document Representation and Retrieval
CLEF 2011 - Conference on Multilingual and Multimodal Information Access Evaluation, Sep 2011, Amsterdam, Netherlands. 9p
hal-00764320v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. Solving Concept mismatch through Bayesian Framework by Extending UMLS Meta-Thesaurus
CORIA 2011 - COnférence en Recherche d'Information et Applications, Mar 2011, Avignon, France. pp.311-326
hal-00764330v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. Exploiting and Extending a Semantic Resource for Conceptual Indexing
RISE 2011 - Atelier Recherche d'Information SEmantique (associé à la 8e édition de CORIA), Mar 2011, Avignon, France. pp.22-28
hal-00767056v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. The Effective Relevance Link between a Document and a Query
DEXA 2012 - International Conference on Database and Expert Systems Applications, Sep 2011, Vienna, Austria. pp.206-218, ⟨10.1007/978-3-642-32600-4_16⟩
hal-00690769v1  Conference papers
Sami AchourMeher AmmarBoubaker KhmiliWahid Nasri. MPI-PERF-SIM: Towards an automatic performance prediction tool of MPI programs on hierarchical clusters
PDP 2011 : 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2011, Ayia Napa, Cyprus. pp.207-211, ⟨10.1109/PDP.2011.49⟩
hal-00762531v1  Conference papers
Rami AlbatalPhilippe MulhemYves Chiaramella. Modélisation de l'extraction des descripteurs visuels - Intégration de relations topologiques
CORIA 2011 - COnférence en Recherche d'Information et Applications, Mar 2011, Avignon, France. pp.215-230
hal-00762711v1  Conference papers
Rami AlbatalBahjat SafadiGeorges QuénotPhilippe Mulhem. LIG-MRIM at Image Photo Annotation Task in ImageCLEF 2011
CLEF 2011 - Conference on Multilingual and Multimodal Information Access Evaluation, Sep 2011, Amsterdam, Netherlands. 8p
inria-00589200v1  Book sections
Jérémie AllardHadrien CourtecuisseFrançois Faure. Implicit FEM Solver on GPU for Interactive Deformation Simulation
Wen-mei W. Hwu. GPU Computing Gems Jade Edition, Elsevier, pp.281-294, 2011, Applications of GPU Computing Series, 9780123859631. ⟨10.1016/B978-0-12-385963-1.00021-6⟩
hal-00903734v1  Conference papers
Xin AnAbdoulaye GamatiéEric Rutten. Safe Design of Dynamically Reconfigurable Embedded Systems
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00
hal-00788800v1  Conference papers
Jonatha AnselmiBruno Gaujal. On the efficiency of perfect simulation in monotone queueing networks
IFIP Performance: 29th International Symposium on Computer Performance, Modeling, Measurements and Evaluation, 2011, Amsterdam, Netherlands. pp.56-58, ⟨10.1145/2034832.2034847⟩
hal-00788771v1  Journal articles
Jonatha AnselmiBruno Gaujal. The Price of Forgetting in Parallel and Non-Observable Queues
Performance Evaluation, Elsevier, 2011, 68 (12), pp.1291-1311. ⟨10.1016/j.peva.2011.07.023⟩
hal-00788764v1  Journal articles
F. AraujoJ. FarinhaPatricio DominguesG. C. SilaghiDerrick Kondo. A Maximum Independent Set Approach for Collusion Detection in Voting Pools
Journal of Parallel and Distributed Computing, Elsevier, 2011, 71 (10), pp.1356-1366. ⟨10.1016/j.jpdc.2011.06.004⟩
inria-00599596v1  Conference papers
Soraya AriasJuan Lahera-PerezAmaury NègreNicolas Turro. Evolution of the robotic control frameworks at INRIA Rhône-Alpes
CAR 2011 - 6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 8 p
hal-00944522v1  Journal articles
Pablo ArrighiVincent NesmeReinhard F. Werner. One-Dimensional Quantum Cellular Automata
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (4), pp.223-244
hal-00944517v1  Journal articles
Pablo ArrighiVincent NesmeReinhard F. Werner. Unitarity plus causality implies localizability
Journal of Computer and System Sciences, Elsevier, 2011, 77 (2), pp.372-378
hal-00944504v1  Conference papers
Pablo ArrighiVincent Nesme. A simple block representation of reversible cellular automata with time-symmetry
17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Local proceedings
hal-00944544v1  Conference papers
Pablo ArrighiGilles Dowek. The physical Church-Turing thesis and the principles of quantum theory
QIPC, 2011, Zurich, Switzerland. Local proceedings
hal-00944532v1  Conference papers
Pablo ArrighiRenan FargettonVincent NesmeEric Thierry. Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
Models of Computation in Context - 7th Conference on Computability in Europe, 2011, Sofia, Bulgaria. pp.1-10
hal-00924926v1  Conference papers
Pablo ArrighiAlejandro Díaz-CaroBenoît Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
hal-00742991v1  Book sections
Sujeevan AseervathamÉric GaussierAnestis AntoniadisMichel BurletYves Denneulin. Régression logistique et catégorisation de textes
Eric Gaussier, François Yvon. Modèles statistiques pour l'accès à l'information textuelle, HERMÈS / LAVOISIER, pp.97-122, 2011, Recherche d'information et web, ISBN 10 : 2746224976; ISBN 13 : 9782746224971
hal-00748665v1  Conference papers
Pierre-Alain AvouacLaurence NigayPhilippe Lalanda. Towards Autonomic Multimodal Interaction
MAASC'11 - Workshop on Middleware and Architectures for Autonomic and Sustainable Computing, May 2011, Paris, France. pp.25-29, ⟨10.1145/2034649.2034653⟩
inria-00625976v1  Documents associated with scientific events
Olivier AycardQadeer BaigSilviu BotaFawzi NashashibiSergiu Nedevschi et al.  Intersection Safety using Lidar and Stereo Vision sensors
IV'2011 - IEEE Intelligent Vehicles Symposium, Jun 2011, Baden-Baden, Germany. pp.863-869
inria-00625492v1  Conference papers
Olivier AycardTrung-Dung VuQadeer BaigThierry Fraichard. A generic architecture for dynamic outdoor environment
ICTAI - IEEE 23rd International Conference on Tools with Artificial Intelligence, Nov 2011, Boca Raton, Florida, United States. pp.585-590, ⟨10.1109/ICTAI.2011.93⟩
inria-00609556v1  Conference papers
Everardo Barcenas-PatinoPierre GenevèsNabil LayaïdaAlan Schmitt. Query Reasoning on Trees with Types, Interleaving, and Counting
22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain
hal-00771578v1  Conference papers
Remi BarraquandPatrick ReignierNadine Mandran. The Sorceress of Oz
PerInt' 2011- Workshop on Intelligibility and Control in Pervasive Computing at Pervasive 2011, Jun 2011, San Francisco, CA, United States. pp.x-x
hal-00788785v1  Conference papers
Marcio Bastos CastroKiril GeorgievVania Marangozova-MartinJean-François MéhautLuiz Gustavo Fernandes et al.  Analysis and Tracing of Applications Based on Software Transactional Memory on Multicore Architectures
Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), 2011, Ayia Napa, Cyprus. pp.199-206, ⟨10.1109/PDP.2011.27⟩
hal-00788791v1  Conference papers
Marcio Bastos CastroLuıs Fabricio Wanderley GóesChristiane Pousa RibeiroMurray ColeMarcelo Cintra et al.  A Machine Learning-Based Approach for Thread Mapping on Transactional Memory Applications
18th Annual and International Conference on High Performance Computing (HiPC), 2011, Bangalore, India. pp.1-10, ⟨10.1109/HiPC.2011.6152736⟩
hal-00784991v1  Journal articles
Amine Belhaj SebouiNejib Ben Hadj-AlouaneGwenaël DelavalEric RuttenMoez Yeddes. An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems, Inderscience, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. ⟨10.1504/IJCCBS.2011.042328⟩
hal-00647869v1  Conference papers
Leila Ben SaadCedric ChauvenetBernard Tourancheau. Simulation of the RPL Routing Protocol for IPv6 Sensor Networks: two cases studies
International Conference on Sensor Technologies and Applications SENSORCOMM 2011, Sep 2011, Nice, France
hal-00647870v1  Conference papers
Leila Ben SaadBernard Tourancheau. Exploiting Addresses Correlation to Maximize Lifetime of IPv6 Cluster-based WSNs
WiMob, the International conference on wireless and mobile computing, networking and communications, STWiMob workshop, Oct 2011, Sanghai, China
hal-00996863v1  Conference papers
Malek Ben YoussefAhmed Lbath. Towards a method of design of real-time GeoProcessing Applications
International Conference on Information Technology and e-Services, 2011, Sanya, China
inria-00574555v1  Journal articles
Anne BenoitHinde Lilia BouzianeYves Robert. Optimizing the reliability of streaming applications under throughput constraints
International Journal of Parallel Programming, Springer Verlag, 2011, 39 (5), pp.584-614. ⟨10.1007/s10766-011-0165-6⟩
hal-00796870v1  Book sections
Anne BenoitVangelis PaschosMichel RaynalYves RobertDenis Trystram. Ressources informatiques : encore une histoire de temps !
unknown editor. Les Ressources, Institut Universitaire de France, pp.225-243, 2011, Les colloques de l'IUF