Skip to Main content Skip to Navigation

hal-00319471v1  Conference papers
Antoine SpicherNazim FatèsOlivier Simonin. From Reactive Multi-Agent models to Cellular Automata - Illustration on a Diffusion-Limited Aggregation model
1st International Conference on Agents and Artificial Intelligence, Jan 2009, Portugal.
inria-00331209v1  Conference papers
Brice Goglin. High Throughput Intra-Node MPI Communication with Open-MX
17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP2009), Feb 2009, Weimar, Germany. ⟨10.1109/PDP.2009.20⟩
inria-00331231v1  Conference papers
Manal El DickEsther PacittiBettina Kemme. Flower-CDN: A hybrid P2P overlay for Efficient Query Processing in CDN
12th International Conference on Extending Database Technology (EDBT), Mar 2009, Saint-Petersbourg, Russia
inria-00332399v1  Conference papers
Carlos ArecesSergio MeraSantiago Figueira. Completeness results for memory logics
Symposium on Logical Foundations of Computer Science - LFCS'09, Jan 2009, Deerfield Beach, Florida, USA, United States. pp.16--30
inria-00334355v1  Conference papers
Anne-Marie KermarrecAchour MostefaouiMichel RaynalGilles TrédanAline Carneiro Viana. Large-scale networked systems: from anarchy to geometric self-structuring
10th International Conference on Distributed Computing and Networking (ICDCN), Jan 2009, Hyderabad, India. pp.: 25-36
ensl-00334545v1  Conference papers
Sylvain ChevillardMioara JoldeşChristoph Lauter. Certified and fast computation of supremum norms of approximation errors
19th IEEE Symposium on Computer Arithmetic (ARITH 19), Jun 2009, Portland, United States. pp.169 -- 176
hal-00336143v1  Conference papers
Arnaud Pêcher. Circular-clique polytopes and circular-perfect graphs
2009 Workshop on Graph Theory, Jan 2009, Kaohsiung, Taiwan
inria-00336173v1  Conference papers
François KleinChristine BourjotVincent Chevrier. Application of reinforcement learning to control a multi-agent system
International Conference on Agents and Artificial Intelligence - ICAART 09, Jan 2009, Porto, Portugal
inria-00336713v1  Conference papers
Lélia BlinMaria Gradinariu Potop-ButucaruStephane Rovedakis. Self-stabilizing minimum-degree spanning tree within one from the optimal degree
23rd IEEE International Symposium on Parallel&Distributed Processing (IPDPS 2009), May 2009, Rome, Italy. pp.1-11, ⟨10.1109/IPDPS.2009.5161042⟩
inria-00337067v1  Conference papers
Martine CadotAlain Lelu. Massive Pruning for Building an Operational Set of Association Rules: Metarules for Eliminating Conflicting and Redundant Rules.
International Conference on Information, Process, and Knowledge Management - eKnow09, Feb 2009, Cancun, Mexico. pp.90-98
inria-00339231v1  Conference papers
Nicolas PepinOlivier SimoninFrançois Charpillet. Intelligent Tiles: Putting Situated Multi-Agents Models in Real World
International Conference on Agents and Artificial Intelligence - ICAART'09, Jan 2009, Porto, Portugal
inria-00339646v1  Conference papers
Ruslan Sadykov. On scheduling malleable jobs to minimise the total weighted completion time
13th IFAC Symposium on Information Control Problems in Manufacturing, Jun 2009, Moscow, Russia
hal-00341475v1  Conference papers
Nicolas HanusseSofian MaaboutRadu Tofan. A view selection algorithm with performance guarantee
International Conference on Extending Database Technology, 2009, St Petersburg, Russia. pp.électronique
inria-00341537v1  Conference papers
Geoffray BonninArmelle BrunAnne Boyer. A Low-Order Markov Model integrating Long-Distance Histories for Collaborative Recommender Systems
International Conference on Intelligent User Interfaces (IUI), Feb 2009, Sanibel Island, United States
inria-00342751v1  Conference papers
Alain LeluMartine Cadot. Graphes des liens et anti-liens statistiquement valides entre les mots d'un corpus textuel
Extraction et gestion de connaissance 2009 (EGC'09), Pierre Gançarski, Jan 2009, Strasbourg, France. pp.367-378
inria-00343211v1  Conference papers
Santosh K.C.Bart LamiroyJean-Philippe Ropers. Utilisation de Programmation Logique Inductive pour la reconnaissance de symboles
5ème Atelier ECOI : Extraction de COnnaissance et Images, GRCE, Jan 2009, Strasbourg, France
inria-00343512v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. Modeling a Swarm Phenomenon using Logistic Agents: Application to a Predators-Prey Pursuit
8th International Conference on Autonomous Agents and Multiagent Systems - AAMAS'09, May 2009, Budapest, Hungary
inria-00344179v1  Conference papers
Alejandro ArbelaezYoussef Hamadi. Exploiting Weak Dependencies in Tree-based Search
24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu, United States
inria-00346020v1  Conference papers
Maxime BarraultBruno LathuilièrePierre RametJean Roman. A Non Overlapping Parallel Domain Decomposition Method Applied to The Simplified Transport Equations
International Conference on Mathematics, Computational Methods & Reactor Physics, 2009, New-York, United States
inria-00346710v1  Conference papers
Julien MarzatYann DumortierAndré Ducrot. Real-time Dense and Accurate Parallel Optical Flow using CUDA
International Workshop on Computer Vision and Its Application to Image Media Processing, Jan 2009, Tokyo, Japan
inria-00346632v1  Conference papers
Mohamed El Yazid BoudarenAbdel Belaïd. Markov Models and Extensions for Land Cover Mapping in Aerial Imagery
International Conference of Signal and Image Engineering - ICSIE 2009, Jul 2009, London, United Kingdom
inria-00347217v1  Conference papers
Thomas MeilenderAbdel Belaïd. Segmentation of Continuous Document Flow by a modified Backward- Forward algorithm
SPIE - Electronic Imaging, 2009, Los Angeles, United States
lirmm-00347956v1  Conference papers
Anne-Elisabeth BaertVincent BoudetAlain Jean-Marie. Guaranteed Download Time in a Distributed Video on Demand System
CISIS: Complex, Intelligent and Software Intensive Systems, Mar 2009, Fukuoka, Japan. pp.421-426, ⟨10.1109/CISIS.2009.96⟩
inria-00348463v1  Conference papers
Olivier GauwinJoachim NiehrenS. Tison. Bounded Delay and Concurrency for Earliest Query Answering
3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.350-361, ⟨10.1007/978-3-642-00982-2⟩
hal-00267518v4  Conference papers
Samy AbbesAlbert Benveniste. Concurrency, sigma-algebras and probabilistic fairness
FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394
hal-00349878v1  Conference papers
Mehdi TalbiValérie Viet Triem TongAdel Bouhoula. Specification of Anonymity as a Secrecy Property in the ADM Logic – Homomorphic-based Voting Protocols
International Conference on Availability, Reliability and Security, Mar 2009, Fukuoka, Japan
hal-00350679v1  Conference papers
Aurélie BertauxFlorence Le BerAgnès Braud. Correspondances de Galois pour la manipulation de contextes flous multi-valués
Extraction et Gestion de Connaissances, Jan 2009, Strasbourg, France. pp.193-198
hal-00351144v1  Conference papers
Philippe PreuxSertan GirginManuel Loth. Feature Discovery in Approximate Dynamic Programming
Approximate Dynamic Programming and Reinforcement Learning, Mar 2009, Nashville, United States
inria-00349918v2  Conference papers
Laure GonnordJean-Philippe Babau. Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
inria-00352834v1  Conference papers
Michel FliessCédric Join. A mathematical proof of the existence of trends in financial time series
Systems Theory: Modelling, Analysis and Control, May 2009, Fes, Morocco. pp.43-62
lirmm-00354195v1  Conference papers
Julien ChampClément SaadAnne-Elisabeth Baert. Lifetime in Wireless Sensor Networks
CISIS: Complex, Intelligent and Software Intensive Systems, Mar 2009, Fukuoka, Japan. pp.293-298, ⟨10.1109/CISIS.2009.106⟩
inria-00354272v1  Conference papers
Jacques BibaiMarc SchoenauerPierre Savéant. Construction des séries d'états dans l'algorithme Divide-and-Evolve
ROADEF, LORIA (Laboratoire lorrain de recherche en informatique et ses applications) et l'INRIA Nancy - Grand Est, Feb 2009, NANCY, France
hal-00354354v1  Conference papers
Fabrice DecleMartin HachetPascal Guitton. ScrutiCam : Camera Manipulation Technique for 3D Objects Inspection
3DUI 2009, Mar 2009, Lafayette, LA,, United States. pp.00-00
lirmm-00354634v1  Conference papers
Gilles SimoninAnne-Elisabeth BaertAlain Jean-MarieRodolphe Giroudeau. Problème d'acquisition de données par une torpille
ROADEF'09 : Recherche Opérationnelle et d'Aide à la Décision, Feb 2009, Nancy, France. pp.179-180
inria-00355878v1  Conference papers
Yacine KhaledManabu TsukadaJosé Santa LozanoThierry Ernst. On the design of efficient Vehicular Applications
IEEE Vehicular Technology Conference, Apr 2009, Barcelona, Spain
inria-00356236v1  Conference papers
Brice Goglin. Decoupling Memory Pinning from the Application with Overlapped on-Demand Pinning and MMU Notifiers
Workshop on Communication Architecture for Clusters, held in conjunction with IPDPS 2009, May 2009, Rome, Italy. ⟨10.1109/IPDPS.2009.5160888⟩
ensl-00356421v1  Conference papers
Florent de DinechinBogdan Pasca. Large multipliers with less DSP blocks
Field Programmable Logic and Applications, Aug 2009, Czech Republic
hal-00356566v1  Conference papers
Nathalie BertrandBlaise GenestHugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals
LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp.0
inria-00356999v1  Conference papers
Benoît LibertDamien Vergnaud. Towards Black-Box Accountable Authority IBE with Short Ciphertexts and Private Keys
12th International Conference on Practice and Theory in Public-Key Cryptography - PKC 2009, 2009, Irvine, United States. pp.235-255
inria-00357071v1  Conference papers
Emmanuel PradosNitin JindalStefano Soatto. A Non-Local Approach to Shape From Ambient Shading
SSVM 2009 - 2nd International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2009, Voss, Norway. pp.696-708, ⟨10.1007/978-3-642-02256-2_58⟩
inria-00357139v1  Conference papers
Kuk-Jin YoonEmmanuel PradosPeter Sturm. Generic Scene Recovery using Multiple Images
SSVM 2009 - 2nd International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2009, Voss, Norway. pp.745-757, ⟨10.1007/978-3-642-02256-2_62⟩
inria-00333843v1  Conference papers
Sylvain RaybaudCaroline LavecchiaDavid LangloisKamel Smaïli. New Confidence Measures for Statistical Machine Translation
International Conference On Agents and Artificial Intelligence - ICAART 09, Jan 2009, Porto, Portugal
inria-00326355v2  Conference papers
Atif MashkoorJean-Pierre JacquotJeanine Souquières. B événementiel pour la modélisation du domaine: application au transport
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19
inria-00358172v1  Conference papers
Brice GoglinNathalie Furmento. Enabling High-Performance Memory Migration for Multithreaded Applications on Linux
MTAAP'09: Workshop on Multithreaded Architectures and Applications, held in conjunction with IPDPS 2009, May 2009, Rome, Italy. ⟨10.1109/IPDPS.2009.5161101⟩
inria-00359478v1  Conference papers
Wenjuan JiangAlexandre KruszewskiJean-Pierre RichardArmand Toguyeni. Output control with Internet-in-the-loop : An event-driven realization
STMAC'09, Int. Conf. on Systems Theory - Modelling, Analysis & Control, May 2009, Fes, Morocco
inria-00359699v1  Conference papers
Alain FinkelJean Goubault-Larrecq. Forward analysis for WSTS, Part I: Completions
26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.433-444