Filter your results
- 26
- 9
- 25
- 3
- 3
- 2
- 1
- 1
- 34
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 1
- 2
- 3
- 2
- 5
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 26
- 9
- 35
- 17
- 17
- 15
- 10
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 7
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Modèle logique avancé - version V1[Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013
Reports
hal-01126329v1
|
|||
|
Inner Regions and Interval Linearizations for Global OptimizationAAAI 2011, Aug 2011, San Francisco, United States
Conference papers
hal-00648085v1
|
||
|
Entropy: a Consolidation Manager for ClustersVEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
Conference papers
hal-01102354v1
|
||
BtrPlace: Flexible VM Management in Data CentersPGMO-COPI'14 Conference on Optimization & Practices in Industry, Oct 2014, Paris, France
Conference papers
hal-01095958v1
|
|||
|
Assistive technologies to address capabilities of people with dementia: from research to practiceDementia, 2017, ⟨10.1177/1471301217714093⟩
Journal articles
hal-01850005v1
|
||
|
Upper Bounding in Inner Regions for Global Optimization under Inequality ConstraintsGOW'12, Jun 2012, Natal, Brazil. pp.25-29
Conference papers
hal-00733860v1
|
||
|
Apprentissage de Contraintes Globales ImplicitesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258
Conference papers
inria-00000069v1
|
||
|
Seabed prediction from airborne topo-bathymetric lidar point cloud using machine learning approachesOCEANS 2021: San Diego – Porto, Sep 2021, San Diego, United States. pp.1-9, ⟨10.23919/OCEANS44145.2021.9706113⟩
Conference papers
hal-03583749v1
|
||
|
A model driven approach for bridging ILOG Rule Language and RIFRuleML, Aug 2012, Montpellier, France
Conference papers
hal-00755012v1
|
||
|
A Box-Consistency Contractor Based on Extremal FunctionsCP: Principles and Practice of Constraint Programming, Sep 2010, St Andrews, United Kingdom. pp.491-498, ⟨10.1007/978-3-642-15396-9_39⟩
Conference papers
hal-01146875v1
|
||
|
Towards Certified Meta-Programming with Typed Template-CoqITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩
Conference papers
hal-01809681v1
|
||
Adding Virtualization Capabilities to the Grid'5000 TestbedIvanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
Book sections
hal-00946971v1
|
|||
|
Optimisation du coût de déploiement de services réseau virtualisés dans le cloudCORES 2020 – 5ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2020, Lyon, France
Conference papers
hal-02874121v1
|
||
|
Adding Virtualization Capabilities to Grid'5000[Research Report] RR-8026, INRIA. 2012, pp.18
Reports
hal-00720910v2
|
||
|
VESPA, ou l'art de coordonner une flotte de drone sans leaderALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
Conference papers
hal-02796530v1
|
||
|
Régions intérieures et linéarisations par intervalles en optimisation globaleJPFC 2011, Jun 2011, Lyon, France. pp.299-306
Conference papers
hal-00654307v1
|
||
|
Geometrical Patterns for Measurement Pose Selection in Calibration of Serial ManipulatorsLenarčič, Jadran and Khatib, Oussama. Advances in Robot Kinematics, Springer International Publishing, 2014, 978-3-319-06697-4. ⟨10.1007/978-3-319-06698-1_28⟩
Book sections
hal-01004166v1
|
||
Liver Segmentation in Contrast Enhanced Helical CT-ScansProceedings of World Congress on Medical Physics and Biomedical Engineering, 1997, Nice, France, France
Conference papers
inria-00615792v1
|
|||
Automatic Segmentation of Portal Vein in CT-Scans of the LiverProceedings of World Congress on Medical Physics and Biomedical Engineering, 1997, Nice, France, France. pp.788
Conference papers
inria-00615793v1
|
|||
|
A Backpropagation Approach for Distributed Resource Allocation2021
Preprints, Working Papers, ...
hal-03295994v1
|
||
|
Self-organized UAV-based Supervision and Connectivity: Challenges and OpportunitiesNCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-5, ⟨10.1109/NCA.2019.8935060⟩
Conference papers
hal-02267396v1
|
||
|
Algorithmes de placement de VNFs dans des contextes mono-et multi-propriétaireALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers
hal-02873944v1
|
||
|
Self-organized Disaster Management System by Distributed Deployment of Connected UAVsICT-DM 2019 - 6th International Conference on Information and Communication Technologies for Disaster Management, Dec 2019, Paris, France. pp.1-8, ⟨10.1109/ICT-DM47966.2019.9032964⟩
Conference papers
hal-02349396v1
|
||
Partial Behavioral Reflection: Spatial and Temporal Selection of ReificationThe 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2003), 2003, Anaheim, California, USA, United States. pp.27-46
Conference papers
hal-00457204v1
|
|||
Learning Implied Global ConstraintsIJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55
Conference papers
lirmm-00195896v1
|
|||
|
Trajectory Optimization for Fast Sensor Energy Replenishment using UAVs as RF sourcesGLOBECOM 2022 - IEEE Global Communications Conference, Dec 2022, Rio de Janeiro / Hybrid, Brazil. pp.1-6
Conference papers
hal-03767913v1
|
||
|
Development and validation of multitemporal image analysis methodologies for multirisk monitoring of critical structures and infrastructuresIEEE IGARSS - International Geoscience and Remote Sensing Symposium, Jul 2012, Munich, Germany
Conference papers
hal-00729089v1
|
||
|
Certified Calibration of a Cable-Driven Robot Using Interval Contractor ProgrammingFederico Thomas; Alba Perez Gracia. Computational Kinematics, 15, Springer Netherlands, pp.209-217, 2014, Mechanisms and Machine Science, 978-94-007-7213-7. ⟨10.1007/978-94-007-7214-4_24⟩
Book sections
hal-00907499v1
|
||
|
Optimization of Network Services Embedding Costs over Public and Private CloudsICOIN 2020 - 34th International Conference on Information Networking, Jan 2020, Barcelone, Spain. ⟨10.1109/ICOIN48656.2020.9016607⟩
Conference papers
hal-02440297v1
|
||
Consolidation dynamique d'applications Web haute-disponibilitéCFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France
Conference papers
hal-00750067v1
|
- 1
- 2