Gilles Chabert
54
Documents
Publications
- 4
- 4
- 3
- 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
- 1
- 1
- 1
- 1
- 16
- 13
- 12
- 9
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 18
- 17
- 8
- 5
- 4
- 4
- 4
- 3
- 2
- 1
- 1
- 2
- 1
- 1
|
Towards a Generic Interval Solver for Differential-Algebraic CSPCP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
Conference papers
hal-02956402v1
|
|
A parametric Kantorovich theorem with application to tolerance synthesisThe 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan
Conference papers
hal-01863731v1
|
|
Solving under-constrained numerical constraint satisfaction problems with IBEXThe 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan
Conference papers
hal-02008026v1
|
|
Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equationThe 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan. ⟨10.1016/j.automatica.2018.03.036⟩
Conference papers
hal-02008057v1
|
Overview of the IBEX libraryJournée SMAI-MODE, Mar 2016, toulouse, France
Conference papers
hal-04600450v1
|
|
|
Packing Curved ObjectsTwenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.396
Conference papers
hal-01148155v1
|
|
A New Methodology for Tolerance Synthesis of Parallel ManipulatorsIFToMM 2015, 2015, Taipei, Taiwan. ⟨10.6567/IFToMM.14TH.WC.OS12.017⟩
Conference papers
hal-01238717v1
|
|
The Non-overlapping Constraint between Objects Described by Non-linear InequalitiesThe 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.672 - 687, ⟨10.1007/978-3-319-10428-7_49⟩
Conference papers
hal-01084612v2
|
|
Global Optimization based on Contractor ProgrammingXII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80
Conference papers
hal-01194742v1
|
Computing capture tubesSCAN 2014, Université de Wurzburg, Sep 2014, Wurzburg, Germany
Conference papers
hal-01122023v1
|
|
|
Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation28th AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636, ⟨10.1609/aaai.v28i1.9117⟩
Conference papers
hal-01084606v1
|
|
Contrainte de non-chevauchement entre objets décrits par des inégalités non-linéairesJournées Francophones de Programmation par Contraintes (JFPC), Jun 2014, Angers, France
Conference papers
hal-01079579v1
|
|
Combining finite and continuous solvers Towards a simpler solver maintenanceThe 19th International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. TRICS'13 Workshop: Techniques foR Implementing Constraint programming Systems
Conference papers
hal-00904069v1
|
|
Extraction de régions intérieures pour améliorer le majorant en optimisation globale sous contraintesJFPC 2013 - 9es Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France
Conference papers
hal-00879489v1
|
|
Upper Bounding in Inner Regions for Global Optimization under Inequality ConstraintsGOW'12, Jun 2012, Natal, Brazil. pp.25-29
Conference papers
hal-00733860v1
|
|
The Conjunction of Interval AMONG ConstraintsCPAIOR, 2012, Nantes, France
Conference papers
hal-00760044v1
|
|
IbexOpt : un module d'optimisation globale sous contraintes fiable13e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2012, Angers, France. 2p
Conference papers
hal-00733916v1
|
|
Inner Regions and Interval Linearizations for Global OptimizationAAAI 2011, Aug 2011, San Francisco, United States. ⟨10.1609/aaai.v25i1.7817⟩
Conference papers
hal-00648085v1
|
|
Régions intérieures et linéarisations par intervalles en optimisation globaleJPFC 2011 - 7es Journees Francophones de Programmation par Contraintes, Jun 2011, Lyon, France. pp.299-306
Conference papers
hal-00654307v1
|
|
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
|
Sweeping with Continuous Domains.Principles and Practice of Constraint Programming - CP 2010, Oct 2010, St. Andrews, United Kingdom. pp.137-151, ⟨10.1007/978-3-642-15396-9_14⟩
Conference papers
hal-00915701v1
|
|
|
Robust TDOA passive location using interval analysis and contractor programmingRadar Conference - Surveillance for a Safer World, 2009. RADAR. International, Oct 2009, France. pp.1 - 6
Conference papers
hal-00911254v1
|
|
Hull Consistency Under MonotonicityCP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195
Conference papers
hal-00428970v1
|
Robust TDOA Passive Location Using Interval Analysis and Contractor ProgrammingRadar, Oct 2009, Bordeaux, France. pp.Non renseigne
Conference papers
hal-00518537v1
|
|
|
A Constraint on the Number of Distinct Vectors with Application to LocalizationCP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210
Conference papers
hal-00428967v1
|
QUIMPER : un langage de programmation pour le calcul ensembliste ; Application à l`automatiqueCIFA, Feb 2008, Lille, France. pp.Non renseigne
Conference papers
hal-00518591v1
|
|
|
Constructive Interval DisjunctionCP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. pp.635-650, ⟨10.1007/978-3-540-74970-7_45⟩
Conference papers
hal-00486726v1
|
|
Generalized Interval Projection: A New Technique for Consistent Domain ExtensionIJCAI'07 - Twentieth International Joint Conference on Artificial Intelligence, 2007, Delhi (India), India. pp.94-99
Conference papers
hal-00486722v1
|
|
CID : Disjonction Constructive sur IntervallesTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers
inria-00151189v1
|
|
When Interval Analysis Helps Inter-Block BacktrackingCP 2006, 12th International Conference on Principles and Practice of Constraint Programming, 2006, Nantes, France. pp.390-405, ⟨10.1007/11889205_29⟩
Conference papers
hal-00486724v1
|
On the approximation of linear AE-solution sets12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2006, Germany. pp.18-18, ⟨10.1109/SCAN.2006.33⟩
Conference papers
hal-00481284v1
|
|
A Generalized Interval LU Decomposition for the Solution of Interval Linear SystemsSixth International Conference on Numerical Methods and Applications, Aug 2006, Bulgaria. pp.312-319, ⟨10.1007/978-3-540-70942-8_37⟩
Conference papers
hal-00481290v1
|
|
|
IGC : Une nouvelle consistance partielle pour les CSPs continusPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.199-210
Conference papers
inria-00000065v1
|
Computing capture tubesScientific Computing, Computer Arithmetic, and Validated Numerics, 9553, Springer, pp.209-224, 2016, 978-3-319-31768-7. ⟨10.1007/978-3-319-31769-4_17⟩
Book sections
hal-01326533v1
|
|
|
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
|
IBEX2007, http://www.ibex-lib.org/
Other publications
hal-00485439v1
|
|
From Implicit to Explicit Pavings[Research Report] RR-8028, INRIA. 2012
Reports
hal-00720739v1
|
|
Multi-Agent Electro-Location and the Among Constraint[Research Report] RR-7640, INRIA. 2011, pp.20
Reports
inria-00598712v1
|
|
Controlling Contractors with Monads for Hybrid Dynamical Systems[Research Report] RR-7451, INRIA. 2010, pp.20
Reports
inria-00536614v1
|
|
New Light on Arc Consistency over Continuous DomainsRR-5365, INRIA. 2004, pp.26
Reports
inria-00070638v1
|
|
Techniques d'intervalles pour la résolution de systèmes d'équationsAutre [cs.OH]. Université Nice Sophia Antipolis, 2007. Français. ⟨NNT : ⟩
Theses
tel-00260907v1
|