Skip to Main content Skip to Navigation

cel-01003007v1  Lectures
Stéphane Canu. Understanding SVM (and associated kernel machines) through the development of a Matlab toolbox
Engineering school. Introduction to Support Vector Machines (SVM), Sao Paulo, 2014, pp.33
hal-01503199v1  Conference papers
Pedro MirandaMichel GrabischPedro Gil. On some results of the set of dominating $k$-additive belief functions
IPMU 2004 - 10th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Jul 2004, Perugia, Italy. pp.625-632
hal-01503204v1  Conference papers
Viet Hung Nguyen. A complete linear description for the k-path polyhdron
5th International Conference in Computer Science, Jul 2004, Metz, France. pp.249-255
hal-01503219v1  Conference papers
Eric PlatonNicolas SabouretShinichi Honiden. T-compound: An Agent-Specific Design Pattern and its Environment
Agent-Oriented Methodologies Workshop@OOPSLA, Oct 2004, Vancouver, Canada
hal-02003273v1  Conference papers
Sylvain Grellet. A unique Index to serve all INSPIRE data associated to a Borehole
INSPIRE conference 2017, Sep 2017, Strasbourg, France
hal-01503221v1  Conference papers
Eric PlatonNicolas SabouretShinichi Honiden. T-compound Interaction and Overhearing Agents
ESAW 2004 - 5th International Workshop on Engineering Societies in the Agent World, Oct 2004, Toulouse, France. pp.90-105, ⟨10.1007/11423355_7⟩
hal-01503234v1  Conference papers
Nicolas SabouretJérôme Pierson. Un modèle de programmation de services pour le web sémantique
RFIA 2004 - 14ème conférence Reconnaissance des Formes et Intelligence Artificielle, Jan 2004, Toulouse, France
hal-02003288v1  Conference papers
Mickaël BeaufilsSylvain Grellet. Implementing INSPIRE: the BRGM road trip
INSPIRE conference 2017, Sep 2017, Strasbourg, France
hal-01003077v1  Journal articles
Marco MasoEjder BaştuğLeonardo Sampaio CardosoMérouane DebbahÖzgür Özdemir. Reconfigurable cognitive transceiver for opportunistic networks
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2014, 2014 (69), pp.1-18. ⟨10.1186/1687-6180-2014-69⟩
hal-01503424v1  Conference papers
Olivier AubertYannick Prié. Des hypervidéos pour créer et échanger des analyses de documents audiovisuels
H2PTM'05: Hypermedia, Hypertexts, products, tools and methods, Nov 2005, Paris, France. pp.111-122
hal-01503530v1  Conference papers
Jean-Charles FaugèreMagali BardetBruno Salvy. On the complexity of Grbner basis computation of semi-regular overdetermined algebraic equations
International Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.71-75
hal-01503542v1  Conference papers
Fabrice Rouillier. Real roots of parametric systems of polynomial equalities and inequalities
Workshop on Real Computation and Complexity, 2004, Rennes, France
hal-02004701v1  Conference papers
J AkroucheMohamed SallakE. ChateletF. AbdallahH Hajj Chehade. New method for availability computing of complex systems using imprecise Markov models
10th IMA International Conference on Modelling in Industrial Maintenance and Reliability (MIMAR 2018), 2018, Liverpool, United Kingdom. ⟨10.19124/ima.2018.001.02⟩
hal-01505017v1  Conference papers
Etienne PapegniesVincent LabatutRichard DufourGeorges Linarès. Detection of abusive messages in an on-line community
14ème Conférence en Recherche d'Information et Applications (CORIA), Mar 2017, Marseille, France. pp.153-168, ⟨10.24348/coria.2017.16⟩
tel-01950884v2  Theses
Nadim Kobeissi. Formal Verification for Real-World Cryptographic Protocols and Implementations
Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English
hal-01505289v1  Conference papers
Nicolas ThomeAntoine Vacavant. A Combined Statistical-Structural Strategy for Alphanumeric Recognition
3rd International Symposium on Visual Computing (ISCV 2007), Nov 2007, Lake Tahoe, United States. pp.529-538, ⟨10.1007/978-3-540-76856-2_52⟩
hal-01505328v1  Journal articles
Tarak ChaariFrederique LaforestAugusto Celentano. Adaptation in Context-Aware Pervasive Information Systems : The SECAS Project
International Journal of Pervasive Computing and Communications, Emerald, 2007, 4, 3, pp.400-425. ⟨10.1108/17427370710863130⟩
hal-01505500v1  Journal articles
Edouard BonnetFlorian Sikora. A note on Edge Isoperimetric Numbers and Regular Graphs
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (6), ⟨10.1142/S0129054116500283⟩
hal-01505534v1  Poster communications
Vlad BoldeaDavid SarrutGregory C. SharpSteve B. JiangNoah C. Choi. Study of motion in a 4D CT using deformable registration
47th American Society for Therapeutic Radiology And Oncology (ASTRO) Annual Meeting, Oct 2005, Denver, United States. 2005
hal-01505715v1  Conference papers
Simon RitDavid SarrutC Ginestet. Respiratory signal extraction for 4D CT imaging of the thorax from cone-beam CT projections
American Society for Therapeutic Radiology and Oncology (ASTRO), Oct 2005, Denver, United States. pp.S534, ⟨10.1016/j.ijrobp.2005.07.901⟩