Skip to Main content Skip to Navigation


...
hal-00680230v1  Journal articles
Laurent Romary. Etienne Brunet, Ce qui compte - Ecrits choisis, tome II
Literary and Linguistic Computing, Oxford University Press (OUP), 2012
hal-00769658v1  Journal articles
Hassan FahsMohamad Safa. High-order explicit time-integrators for discontinuous Galerkin discretizations of the Maxwell equations
International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing, 2012, 4 (1), pp.Article ID : 1250029. ⟨10.1142/S1793962312500298⟩
hal-00778498v1  Journal articles
Geoffray BonninArmelle BrunAnne Boyer. Exploitation du skipping pour la modélisation prédictive des usages du web. Vers une meilleure prise en compte du bruit
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2012, 26 (6), pp.609-642. ⟨10.3166/ria.26.609-642⟩
hal-00695619v1  Conference papers
Alireza Esna AshariLaurent Mevel. Input-Output Subspace-Based Fault Detection
8th IFAC Symposium on fault detection, diagnosis and safety of technical processes, IFAC, Aug 2012, Mexico City, Mexico
hal-00696018v1  Conference papers
Joseph MorlierLaurent Mevel. Modeshapes Recognition Using Fourier Descriptors: A Simple SHM Example
30th International Modal Analysis Conference, SEM, Jan 2012, JacksonVille, United States
hal-00752221v1  Conference papers
Ahmed JhinaouiLaurent MevelJoseph MorlierWensong Zhou. Generalized subspace identification for rotating systems: application to a wind turbine
Leuven Conference on Noise and Vibration Engineering, Sep 2012, Leuven, Belgium
...
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
hal-00953273v1  Conference papers
Taha TrikiYves LedruLydie Du BousquetFrédéric DadeauJulien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
...
hal-00772721v1  Journal articles
Nicolas PouillardFrançois Pottier. A unified treatment of syntax with binders
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (4--5), pp.614--704. ⟨10.1017/S0956796812000251⟩
hal-00767334v1  Journal articles
Walid Gomaa. A Survey of Recursive Analysis and Moore's Notion of Real Computation
Natural Computing, Springer Verlag, 2012, 11 (1), pp.37-49. ⟨10.1007/s11047-011-9278-5⟩
...
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
hal-01262275v1  Journal articles
Yacine BoufkhadThomas Hugel. Estimating satisfiability
Discrete Applied Mathematics, Elsevier, 2012, 160 (1-2), pp.19. ⟨10.1016/j.dam.2011.10.005⟩
...
hal-00694584v1  Journal articles
Thomas CorpettiEtienne Mémin. Stochastic uncertainty models for the luminance consistency assumption
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2012, 21 (2), pp.481-493. ⟨10.1109/TIP.2011.2162742⟩
...
hal-00737067v1  Journal articles
James TiltonYuliya TarabalkaPaul MontesanoEmanuel Gofman. Best Merge Region-Growing Segmentation with Intergrated Nonadjacent Region Object Aggregation
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2012, 50 (11), pp.4454-4467. ⟨10.1109/TGRS.2012.2190079⟩
...
hal-00710290v3  Journal articles
Alexander ZehSergey Bezzateev. A New Bound on the Minimum Distance of Cyclic Codes Using Small-Minimum-Distance Cyclic Codes
Designs, Codes and Cryptography, Springer Verlag, 2012, pp.229-246
...
hal-00705373v1  Conference papers
Michel FliessCédric Join. Preliminary remarks on option pricing and dynamic hedging
1st International Conference on Systems and Computer Science, Aug 2012, Villeneuve d'Ascq, France. pp.CDROM
...
hal-00772610v1  Conference papers
Mohammad GhavamzadehAlessandro Lazaric. Conservative and Greedy Approaches to Classification-based Policy Iteration
AAAI - 26th Conference on Artificial Intelligence, Jul 2012, Toronto, Canada
...
hal-00758003v1  Conference papers
Christophe SalperwyckVincent Lemaire. Incremental Decision Tree based on order statistics
Workshop on Active and Incremental Learning (without proceedings), Vincent Lemaire, Pascal Cuxac and Jean-Charles Lamirel, 2012, Montpellier, France
...
hal-00772609v1  Conference papers
Amir SaniAlessandro LazaricRémi Munos. Risk-Aversion in Multi-armed Bandits
NIPS - Twenty-Sixth Annual Conference on Neural Information Processing Systems, Dec 2012, Lake Tahoe, United States
...
hal-00747921v2  Conference papers
Michal ValkoMohammad GhavamzadehAlessandro Lazaric. Semi-Supervised Apprenticeship Learning
The 10th European Workshop on Reinforcement Learning (EWRL 2012), Jun 2012, Edinburgh, United Kingdom. pp.131-141
...
hal-00772615v1  Conference papers
Victor GabillonMohammad GhavamzadehAlessandro Lazaric. Best Arm Identification: A Unified Approach to Fixed Budget and Fixed Confidence
NIPS - Twenty-Sixth Annual Conference on Neural Information Processing Systems, Dec 2012, Lake Tahoe, United States
...
hal-00772626v1  Book sections
Alessandro Lazaric. Transfer in Reinforcement Learning: a Framework and a Survey
Marco Wiering, Martijn van Otterlo. Reinforcement Learning - State of the art, 12, Springer, pp.143-173, 2012, ⟨10.1007/978-3-642-27645-3_5⟩
...
hal-00711847v1  Conference papers
Hassane AbouaïssaMichel FliessViolina IordanovaCédric Join. Freeway ramp metering control made easy and efficient
13th IFAC Symposium on Control in Transportation Systems, CTS 2012, Sep 2012, Sofia, Bulgaria
hal-00650811v1  Journal articles
Abdouramane Moussa AliCédric JoinFrédéric Hamelin. Fault diagnosis without a priori model
Systems and Control Letters, Elsevier, 2012, 61 (2), pp.316-321. ⟨10.1016/j.sysconle.2011.11.006⟩
...
tel-00844361v1  Theses
Alexandra Carpentier. On optimal Sampling in low and high dimension
Statistics [math.ST]. Université des Sciences et Technologie de Lille - Lille I, 2012. English
...
tel-00845898v1  Theses
Jean-Francois Hren. Planification Optimiste pour Systèmes Déterministes
Apprentissage [cs.LG]. Université des Sciences et Technologie de Lille - Lille I, 2012. Français
...
hal-00756736v1  Conference papers
Lucian BusoniuRemi Munos. Optimistic Planning for Markov Decision Processes
15th International Conference on Artificial Intelligence and Statistics, AISTATS-12, Apr 2012, La Palma, Canary Islands, Spain. pp.182-189
...
hal-00840479v1  Book sections
Nikos VlassisMohammad GhavamzadehShie MannorPascal Poupart. Bayesian Reinforcement Learning
Marco Wiering and Martijn van Otterlo. Reinforcement Learning: State of the Art, Springer Verlag, 2012
hal-00639477v1  Journal articles
Daniil Ryabko. Testing composite hypotheses about discrete ergodic processes
Test, Spanish Society of Statistics and Operations Research/Springer, 2012, 21 (2), pp.317-329. ⟨10.1007/s11749-011-0245-3⟩
...
hal-00741547v1  Journal articles
Michel FliessHassane AbouaïssaViolina IordanovaCédric Join. La commande << sans modèle >> du trafic autoroutier
Flash X - La revue scientifique de l'Ecole polytechnique, Ecole polytechnique, 2012, pp.25-28
hal-00765436v1  Conference papers
Azadeh KhaleghiDaniil Ryabko. Locating Changes in Highly Dependent Data with Unknown Number of Change Points
NIPS 2012, 2012, Lake Tahoe, United States. pp.3095--3103
hal-00765441v1  Conference papers
Ronald OrtnerDaniil Ryabko. Online Regret Bounds for Undiscounted Continuous Reinforcement Learning
NIPS 2012, 2012, Lake Tahoe, United States. pp.1772--1780
hal-00765450v1  Conference papers
Ronald OrtnerDaniil RyabkoPeter AuerRémi Munos. Regret Bounds for Restless Markov Bandits
ALT 2012, 2012, Lyon, France. pp.214--228
...
hal-00771495v1  Conference papers
Joan FruitetAlexandra CarpentierRémi MunosMaureen Clerc. Bandit Algorithms boost Brain Computer Interfaces for motor-task selection of a brain-controlled button
Advances in Neural Information Processing Systems, 2012, Lake Tahoe, Nevada, United States. pp.458--466
...
hal-00772060v1  Journal articles
Alessandro LazaricMohammad GhavamzadehRémi Munos. Finite-Sample Analysis of Least-Squares Policy Iteration
Journal of Machine Learning Research, Microtome Publishing, 2012, 13, pp.3041-3074
...
hal-00840331v1  Conference papers
Mohammad Gheshlaghi AzarRémi MunosHilbert Kappen. On the Sample Complexity of Reinforcement Learning with a Generative Model
International Conference on Machine Learning, 2012, United Kingdom
...
hal-00749035v1  Conference papers
Pierre Chainais. Towards dictionary learning from images with non Gaussian noise
IEEE Int. Workshop on Machine Learning for Signal Processing, Sep 2012, Santander, Spain
...
hal-00771128v1  Conference papers
Daniil Ryabko. ASYMPTOTIC STATISTICAL ANALYSIS OF STATIONARY ERGODIC TIME SERIES
WITMSE 2012, Aug 2012, Amsterdam, Netherlands
hal-00934047v1  Conference papers
Samuel BernardXavier DéfagoSébastien Tixeuil. A Fast and Robust Optimistic Total Order Broadcast for Online Video Games
International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩
...
hal-00712942v1  Journal articles
Laurence DuchienYves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (3), pp.397-413
...
hal-00718134v1  Journal articles
Raimundas MatuleviciusHaralambos MouratidisMayer NicolasDubois EricPatrick Heymans. Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2012, 18 (6), pp.816-844
...
hal-00919871v1  Master thesis
Ali Assaf. Traduction de HOL en Dedukti
Logique en informatique [cs.LO]. 2012
...
inria-00525023v1  Book sections
Jean-Luc DekeyserAbdoulaye GamatiéSamy MeftaliImran Rafiq Quadri. Models for Co-Design of Heterogeneous Dynamically Reconfigurable SoCs
Nicolescu, Gabriela; O'Connor, Ian; Piguet, Christian. Heterogeneous Embedded Systems - Design Theory and Practice, Springer, 26 p., 2012
...
pastel-00780446v1  Theses
Cyril Cohen. Formalized algebraic numbers: construction and first-order theory.
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English
...
hal-00761461v1  Conference papers
Luis PatinoFrancois BremondMonique Thonnat. On-line learning of activities from video
AVSS - IEEE Ninth International Conference on Advanced Video and Signal-Based Surveillance 2012, Sep 2012, Beijing, China. pp.234-239, ⟨10.1109/AVSS.2012.50⟩
...
hal-00762280v1  Conference papers
Michael KremerDavid BommesLeif Kobbelt. OpenVolumeMesh - A Versatile Index-Based Data Structure for 3D Polytopal Complexes
21st International Meshing Roundtable, Oct 2012, San Jose, United States. pp.531-548, ⟨10.1007/978-3-642-33573-0_31⟩
hal-00760631v1  Conference papers
Arnaud Pêcher. How unique is Lovasz's theta function?,
2012 International Conference on Graph Theory, Combinatorics and Applications, Oct 2012, Jinhua, China
hal-00754043v1  Conference papers
Arnaud LetortNicolas BeldiceanuMats Carlsson. A Scalable Sweep Algorithm for the cumulative Constraint
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.439-454, ⟨10.1007/978-3-642-33558-7_33⟩
hal-00754044v1  Conference papers
Nicolas BeldiceanuHelmut Simonis. A Model Seeker: Extracting Global Constraint Models from Positive Examples
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.141-157, ⟨10.1007/978-3-642-33558-7_13⟩
...
hal-00755216v1  Conference papers
Manuel LopesPierre-Yves Oudeyer. The Strategic Student Approach for Life-Long Exploration and Learning
IEEE Conference on Development and Learning / EpiRob 2012, Nov 2012, San Diego, United States
...
hal-00755265v1  Conference papers
Carlos SarrauteOlivier BuffetJoerg Hoffmann. POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), Jul 2012, Toronto, Canada
hal-00761303v1  Conference papers
Michal KowalczykBertrand KerautretBenoît NaegelJonathan Weber. Revisiting Component Tree Based Segmentation Using Meaningful Photometric Informations
International Conference on Computer Vision and Graphics (ICCVG, Sep 2012, Varsovie, Poland. pp.475-482, ⟨10.1007/978-3-642-33564-8_57⟩
...
hal-00761322v1  Conference papers
Julien BadieSlawomir BakSilviu-Tudor SerbanFrancois Bremond. Recovering people tracking errors using enhanced covariance-based signatures
Fourteenth IEEE International Workshop on Performance Evaluation of Tracking and Surveillance - 2012, Jul 2012, Beijing, China. pp.487-493, ⟨10.1109/AVSS.2012.90⟩
...
hal-00762252v1  Conference papers
Philippe BeaucampsIsabelle GnaedigJean-Yves Marion. Abstraction-based Malware Analysis Using Rewriting and Model Checking
ESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩
hal-00760398v1  Conference papers
Arnaud FietzkeEvgeny KruglovChristoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA)
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211
...
hal-00760570v1  Conference papers
Stephan MerzHernán Vanzetto. Automatic Verification Of TLA+ Proof Obligations With SMT Solvers
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Mar 2012, Mérida, Venezuela. pp.289-303, ⟨10.1007/978-3-642-28717-6_23⟩
...
hal-00760579v1  Conference papers
Stephan MerzHernán Vanzetto. Harnessing SMT Solvers for TLA+ Proofs
12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany
...
hal-00760963v1  Conference papers
Piotr BilinskiFrancois Bremond. Statistics of Pairwise Co-occurring Local Spatio-Temporal Features for Human Action Recognition
4th International Workshop on Video Event Categorization, Tagging and Retrieval (VECTaR), in conjunction with 12th European Conference on Computer Vision (ECCV), Oct 2012, Florence, Italy. pp.311-320, ⟨10.1007/978-3-642-33863-2_31⟩
hal-00761291v1  Conference papers
Jonathan WeberFrançois PetitjeanPierre Gançarski. Towards efficient satellite time series analysis: combination of Dynamic Time Warping and Quasi-Flat Zones
IEEE International Geoscience and Remote Sensing Symposium (IGARSS), Jul 2012, Munich, Germany. pp.4387-4390, ⟨10.1109/IGARSS.2012.6350401⟩
...
hal-00761045v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. Authenticating Operation-based History in Collaborative Systems
ACM 2012 International Conference on Support Group Work, Oct 2012, Sanibel Island, FL, United States. pp.131-140, ⟨10.1145/2389176.2389197⟩
...
hal-00761058v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. Securing Logs in Operation-based Collaborative Editing
CSCW'12 - The Twelfth International Workshop on Collaborative Editing Systems 2012, Feb 2012, Seattle, United States
...
hal-00769733v1  Conference papers
Anne-Laure NegriBrigitte TrousseBernard Senach. Ideation of IoT services with citizen: coupling GenIoT and AloHa! methods
ServDes 2012 - Service Design and Innovation Conference, Feb 2012, Helsinki, Finland