Skip to Main content Skip to Navigation


inria-00439530v1  Journal articles
Gabriel CoronaFrançois Charpillet. Distribution sur les croyances pour la planification de Dec-POMDP
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2010, 24 (4), pp.525-544
...
inria-00516724v1  Book sections
Santosh K.C.Laurent WendlingBart Lamiroy. Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
Jean-Marc Ogier, Wenyin Liu and Josep Lladós. Graphics Recognition. Achievements, Challenges, and Evolution, 6020, Springer Berlin / Heidelberg, pp.163-174, 2010, Lecture Notes in Computer Science, 978-3-642-13728-0. ⟨10.1007/978-3-642-13728-0_15⟩
...
inria-00516712v1  Book sections
Bart LamiroyYassine Guebbas. Robust and Precise Circular Arc Detection
Jean-Marc Ogier, Wenyin Liu, Josep Lladós. Graphics Recognition. Achievements, Challenges, and Evolution, 6020, Springer-Verlag, pp.49-60, 2010, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-13728-0_5⟩
inria-00600234v1  Journal articles
Zainab AssaghirMehdi KaytoueHenri PradeAmedeo Napoli. Fusion de données imparfaites en utilisant l'analyse formelle de concepts
Revue des Nouvelles Technologies de l'Information, Hermann, 2010, Fouille de données complexes - Complexité liée aux données multiples
inria-00543032v1  Conference papers
Miquel Tarzan-LorenteAgustin Gutierrez-GalvezDominique MartinezSantiago Marco. A Biologically Inspired Associative Memory for Artificial Olfaction
International Joint Conference on Neural Networks - IJCNN 2010, 2010, Barcelone, Spain
inria-00543038v1  Conference papers
A. ZavadaC.L. BuckleyDominique MartinezJean-Pierre RosparsT. Nowotny. Minimal model of blend recognition in the moth pheromone system
Dynamical olfaction workshop, 2010, Brighton, United Kingdom
inria-00528201v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Efficient Decision Tree for Protocol Analysis in Intrusion Detection
International Journal of Security and Networks, Inderscience, 2010, 5 (4), pp.220-235. ⟨10.1504/IJSN.2010.037661⟩
inria-00426527v1  Journal articles
Liu JingLaurent Vigneron. Design and Verification of a Non-repudiation Protocol Based on Receiver-Side Smart Card
IET Information Security, Institution of Engineering and Technology, 2010, 4 (1), pp.15-29
hal-00520154v1  Book sections
Marc SaugetRemy LaurentJulien HenrietMichel SalomonRegine Gschwind et al.  Efficient Domain Decomposition for a Neural Network Learning Algorithm, used for the Dose Evaluation in External Radiotherapy
Konstantinos Diamantaras and Wlodek Duch and Lazaros Iliadis. Artificial Neural Networks - ICANN 2010 20th International Conference Proceedings, Springer-Heidelberg, pp.261-266, 2010, Lecture Notes in Computer Science, Volume 6352, ⟨10.1007/978-3-642-15819-3_34⟩
inria-00527633v1  Journal articles
Yannick ChevalierMichaël Rusinowitch. Compiling and securing cryptographic protocols
Information Processing Letters, Elsevier, 2010, 110 (3), pp.116-122
inria-00525775v1  Journal articles
Hubert Comon-LundhVéronique CortierEugen Zalinescu. Deciding security properties for cryptographic protocols. Application to key cycles.
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (2), pp.Article 9. ⟨10.1145/1656242.1656244⟩
inria-00525781v1  Conference papers
Stefan CiobacaVéronique Cortier. Protocol composition for arbitrary primitives.
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom. pp.322-336
inria-00525779v1  Conference papers
Mathilde ArnaudVéronique CortierStéphanie Delaune. Modeling and Verifying Ad Hoc Routing Protocols.
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom
inria-00533277v1  Journal articles
Frédéric FondementP-A. MullerBrice WittmannFabrice AmbertFabrice Bouquet et al.  VETESS : IDM, Test et SysML
Génie logiciel, C & S, 2010, pp.43--48
...
hal-00563308v1  Conference papers
Omar ChebaroNikolai KosmatovAlain GiorgettiJacques Julliand. Combining Static Analysis and Test Generation for {C} Program Debugging
TAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100
...
hal-00563313v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. {SAT} Solvers for Queries over Tree Automata with Constraints
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France
...
hal-00561274v1  Journal articles
Pierre-Cyrille HeamCyril NicaudSylvain Schmitz. Parametric Random Generation of Deterministic Tree Automata
Theoretical Computer Science, Elsevier, 2010, 411 (1), pp.3469--3480
...
hal-00560496v1  Journal articles
Fahima CheikhPierre-Cyrille HeamOlga Kouchnarenko. Composition of Services with Constraints
Electronic Notes in Theoretical Computer Science, Elsevier, 2010, 236 (Special Issue, selected papers of FACS'09), pp.31--46. ⟨10.1016/j.entcs.2010.05.003⟩
inria-00565753v1  Directions of work or proceedings
Sylvain PogodallaPascal Amsili. Actes des Journés Sémantiques et Modélisation 2010
Sylvain Pogodalla and Pascal Amsili. France. INRIA Nancy Grand Est, pp.74, 2010
inria-00439126v1  Book sections
Sylvie ThiébauxOlivier Buffet. Operations Planning
Olivier Sigaud and Olivier Buffet. Markov Decision Processes in Artificial Intelligence, ISTE Ltd and John Wiley & Sons Inc, 2010, 1848211678
inria-00439123v1  Book sections
Alain DutechBruno Scherrer. Partially Observable Markov Decision Processes
Olivier Sigaud and Olivier Buffet. Markov Decision Processes in Artificial Intelligence, ISTE Ltd and John Wiley & Sons Inc, 2010, inria-00439123
inria-00439130v1  Book sections
Simon Le GloannecAbdel-Illah Mouaddib. Resource Consumption Control for an Autonomous Robot
Olivier Sigaud and Olivier Buffet. Markov Decision Processes in Artificial Intelligence, ISTE Ltd and John Wiley & Sons Inc, 2010, 1848211678
inria-00439128v1  Book sections
Olivier Buffet. Policy-Gradient Algorithms
Olivier Sigaud and Olivier Buffet. Markov Decision Processes in Artificial Intelligence, ISTE Ltd and John Wiley & Sons Inc, 2010, 1848211678
inria-00602809v1  Directions of work or proceedings
Hiromasa SuzukiBruno LévyDinesh ManochaHong Qin. ACM Symposium on Solid and Physical Modeling and Applications 2008
Hiromasa Suzuki and Bruno Lévy and Dinesh Manocha and Hong Qin. 42, Elsevier, pp.100, 2010, Computer-Aided Design, ⟨10.1016/j.cad.2009.07.007⟩
...
inria-00549645v1  Directions of work or proceedings
Nazim FatèsJarkko KariThomas Worsch. Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systems
Nazim Fatès and Jarkko Kari and Thomas Worsch. INRIA Nancy Grand Est, pp.356, 2010, 978-2-905267-74-0
hal-00485963v1  Book sections
Thomas JostSylvain Contassot-VivierStéphane Vialle. An efficient multi-algorithms sparse linear solver for GPUs
B. Chapman, F. Desprez, G.R. Joubert, A. Lichnewsky, F. Peters and T. Priol. Parallel Computing: From Multicores and GPU's to Petascale (Volume 19), 19, IOS Press, pp.546-553, 2010, Advances in Parallel Computing, ⟨10.3233/978-1-60750-530-3-546⟩
inria-00600226v1  Conference papers
Mehdi KaytoueZainab AssaghirNizar MessaiAmedeo Napoli. Classification de données numériques par treillis de concepts basée sur une similarité symbolique/numérique
Société Francophone de Classification - SFC 2010, 2010, Saint-Denis de la Réunion, France. pp.99-102