Skip to Main content Skip to Navigation


hal-00184425v1  Journal articles
Slim OuniMichael CohenHope IshakDominic Massaro. Visual Contribution to Speech Perception: Measuring the Intelligibility of Animated Talking Heads
EURASIP Journal on Audio, Speech, and Music Processing, SpringerOpen, 2007, 2007, pp.ID 47891. ⟨10.1155/2007/47891⟩
inria-00181761v1  Journal articles
Yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9
hal-00203093v1  Journal articles
Yann Guermeur. VC theory of large margin multi-category classifiers
Journal of Machine Learning Research, Microtome Publishing, 2007, 8, pp.2551-2594
inria-00188597v1  Journal articles
Irina G. TikhonovaEsther MarcoElodie Lahlou-ArcherIngrid LangerMagali Foucaud et al.  Validated ligand binding sites in CCK receptors. Next step: computer-aided design of novel CCK ligands
Current Topics in Medicinal Chemistry, Bentham Science Publishers, 2007, 7 (12), pp.1243-1247
inria-00110628v1  Journal articles
Michael AronGilles SimonMarie-Odile Berger. Use of Inertial Sensors to Support Video Tracking
Computer Animation and Virtual Worlds, Wiley, 2007, 18, pp.57-68. ⟨10.1002/cav.161⟩
inria-00178271v1  Journal articles
Jacques Lonchamp. Towards a Web Platform for Collaborative Learning Practice, Evaluation and Dissemination
Journal of Computers (JCP), Academy Publisher, 2007, 2 (5), pp.1-8
hal-00185477v1  Journal articles
Gerd FinkeAmmar Oulamara. Total completion time in a two-machine flowshop with deteriorating tasks
Journal of Mathematical Modelling and Algorithms, Springer Verlag, 2007, 6 (4), pp.563-576. ⟨10.1007/s10852-007-9057-6⟩
...
hal-00579823v2  Journal articles
Olivier BodiniDamien Jamet. Tiling a Pyramidal Polycube with Dominoes
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2007, 9 (2), pp.241-254
inria-00170992v1  Journal articles
David HewsonJacques DucheneFrançois CharpilletJamal SabouneValérie Michel-Pellegrino et al.  The PARAChute Project: Remote Monitoring of Posture and Gait for Fall Prevention
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2007, Special Issue : Signal Processing Technologies for Ambient Intelligence in Home-Care Applications, 2007 (ID : 27421), 15 p. ⟨10.1155/2007/27421⟩
hal-00162171v1  Journal articles
Amedeo NapoliFlorence Le Ber. The Galois lattice as a hierarchical structure for topological relations
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, pp.1-20. ⟨10.1007/s10472-007-9054-5⟩
inria-00111240v1  Journal articles
Denis Roegel. Sphères, grands cercles et parallèles
Cahiers Gutenberg, Association GUTenberg, 2007, Avril 2007 (48), pp.7-22
inria-00147824v1  Journal articles
Dominique MéryStephan Merz. Specification and Refinement of Access Control
Journal of Universal Computer Science, Springer, 2007, 13 (8), pp.1073-1093
inria-00188601v1  Journal articles
Vincent LerouxBernard Maigret. Should structure-based virtual screening techniques be used more extensively in modern drug discovery ?
Computers and Applied Chemistry, Peking Publishing House of Electronics Industry, 2007, 27, pp.1-10
...
inria-00118983v1  Journal articles
Olivier BuffetAlain DutechFrançois Charpillet. Shaping Multi-Agent Systems with Gradient Reinforcement Learning
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2007, 15 (2), pp.197--220. ⟨10.1007/s10458-006-9010-5⟩
...
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
inria-00111243v1  Journal articles
Denis Roegel. Review of ``Mathematical Illustrations: A Manual of Geometry and PostScript
Notices of the American Mathematical Society, American Mathematical Society, 2007, 54 (1), pp.38-42
inria-00119482v1  Journal articles
Daniel SzerFrançois CharpilletShlomo Zilberstein. Résolution optimale de DEC-POMDPs par recherche heuristique
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2007, Prise de décision séquentielle, 21 (1), pp. 107-128
lirmm-00183376v1  Journal articles
Marianne HuchardAmine Mohamed Rouane HaceneCyril RoumePetko Valtchev. Relational Concept Discovery in Structured Datasets
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, 49 (1/4), pp.39-76. ⟨10.1007/s10472-007-9056-3⟩
inria-00178352v1  Journal articles
Véronique CortierMichaël RusinowitchEugen Zalinescu. Relating two standard notions of secrecy
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 3 (3, paper 2), pp.1-29. ⟨10.2168/LMCS-3(3:2)2007⟩
inria-00509337v1  Journal articles
Olivier Buffet. Reachability Analysis for Uncertain SSPs
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2007, 16 (4), pp.725-749. ⟨10.1142/S0218213007003527⟩
halshs-00373421v1  Journal articles
Michael BakerJerry AndriessenKristine LundMarije van AmelsvoortMatthieu Quignard. Rainbow: a framework for analyzing computer-mediated pedagogical debates.
International Journal of Computer-Supported Collaborative Learning, Springer Verlag, 2007, 2 (2-3), pp.315-357. ⟨10.1007/s11412-007-9022-4⟩
...
inria-00176620v1  Journal articles
Stéphane GoriaBabajide Afolabi. Proposition d'une démarche de questionnements pour modéliser un Système d'Intelligence Economique
International Journal of Information Sciences for Decision Making, University of South Toulon - Var, 2007, 31 (535), pp.1-12
...
inria-00112065v1  Journal articles
Eunyoung KangStephan Merz. Predicate Diagrams for the Verification of Real-Time Systems
Formal Aspects of Computing, Springer Verlag, 2007, 19 (3), pp.401-413. ⟨10.1007/s00165-007-0030-y⟩