Filtrer vos résultats
- 615
- 112
- 623
- 59
- 36
- 4
- 2
- 1
- 1
- 1
- 3
- 659
- 47
- 15
- 10
- 7
- 626
- 603
- 595
- 560
- 499
- 450
- 176
- 173
- 121
- 119
- 113
- 104
- 100
- 90
- 89
- 87
- 87
- 86
- 80
- 78
- 74
- 73
- 70
- 69
- 68
- 68
- 67
- 66
- 63
- 62
- 60
- 60
- 60
- 56
- 55
- 53
- 52
- 52
- 50
- 50
- 50
- 48
- 47
- 47
- 47
- 45
- 45
- 44
- 43
- 42
- 42
- 42
- 41
- 40
- 40
- 39
- 38
- 37
- 37
- 36
- 36
- 35
- 35
- 33
- 33
- 33
- 33
- 32
- 32
- 32
- 32
- 32
- 31
- 30
- 30
- 30
- 30
- 29
- 28
- 27
- 27
- 27
- 27
- 26
- 25
- 25
- 25
- 25
- 25
- 25
- 24
- 24
- 24
- 24
- 23
- 23
- 23
- 23
- 22
- 22
- 62
- 73
- 59
- 72
- 93
- 117
- 143
- 47
- 5
- 4
- 9
- 2
- 4
- 4
- 5
- 6
- 1
- 9
- 3
- 1
- 4
- 3
- 1
- 720
- 7
- 657
- 657
- 657
- 474
- 392
- 266
- 197
- 32
- 20
- 16
- 10
- 10
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
- 655
727 résultats
|
Resolution of nonlinear interval problems using symbolic interval arithmeticEngineering Applications of Artificial Intelligence, 2010, 23 (6), pp.1035-1049. ⟨10.1016/j.engappai.2009.06.002⟩
Article dans une revue
hal-00531534v1
|
||
|
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
Communication dans un congrès
inria-00000065v1
|
||
QUIMPER : un langage de programmation pour le calcul ensembliste ; Application à l`automatiqueCIFA, Feb 2008, Lille, France. pp.Non renseigne
Communication dans un congrès
hal-00518591v1
|
|||
|
New Light on Arc Consistency over Continuous DomainsRR-5365, INRIA. 2004, pp.26
Rapport
inria-00070638v1
|
||
|
CID : Disjonction Constructive sur IntervallesTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Communication dans un congrès
inria-00151189v1
|
||
|
Computing the Pessimism of Inclusion FunctionsReliable Computing, 2007, 13 (6), pp.489-504
Article dans une revue
hal-00481319v1
|
||
IBEX2007, http://www.ibex-lib.org/
Autre publication scientifique
hal-00485439v1
|
|||
|
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⟩
Communication dans un congrès
hal-00486726v1
|
||
Robust TDOA Passive Location Using Interval Analysis and Contractor ProgrammingRadar, Oct 2009, Bordeaux, France. pp.Non renseigne
Communication dans un congrès
hal-00518537v1
|
|||
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00481290v1
|
||
|
Hull Consistency Under MonotonicityCP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195
Communication dans un congrès
hal-00428970v1
|
||
Extension of Hansen-Bliek's Method to Right-Quantified Linear SystemsReliable Computing, 2007, 13 (4), pp.325-349
Article dans une revue
hal-00431161v1
|
|||
|
Contractor ProgrammingArtificial Intelligence, 2009, 173, pp.1079-1100. ⟨10.1016/j.artint.2009.03.002⟩
Article dans une revue
hal-00428957v1
|
||
|
Packing Curved ObjectsTwenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.396
Communication dans un congrès
hal-01148155v1
|
||
|
A Priori Error Analysis and Spring ArithmeticSIAM Journal on Scientific Computing, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩
Article dans une revue
hal-00428952v1
|
||
Interval Method for Calibration of Parallel Robots: A Vision-based ExperimentationMechanism and Machine Theory, 2006, 41 (8), pp.929-944
Article dans une revue
hal-00096050v1
|
|||
|
Techniques d'intervalles pour la résolution de systèmes d'équationsAutre [cs.OH]. Université Nice Sophia Antipolis, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00260907v1
|
||
|
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
Communication dans un congrès
hal-00428967v1
|
||
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⟩
Communication dans un congrès
istex
hal-00915701v1
|
|||
|
The Conjunction of Interval AMONG ConstraintsCPAIOR, 2012, Nantes, France
Communication dans un congrès
hal-00760044v1
|
||
|
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⟩
Communication dans un congrès
hal-00486724v1
|
||
Interval method for calibration of parallel robots: Vision-based experimentsMechanism and Machine Theory, 2006, 41 (8), pp.929 - 944. ⟨10.1016/j.mechmachtheory.2006.03.014⟩
Article dans une revue
istex
hal-00907729v1
|
|||
|
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⟩
Chapitre d'ouvrage
hal-00907499v1
|
||
|
Global Optimization based on Contractor ProgrammingXII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80
Communication dans un congrès
hal-01194742v1
|
||
|
A Three-step Methodology for Dimensional Tolerance Synthesis of Parallel ManipulatorsMechanism and Machine Theory, 2016, 105, pp.213-234. ⟨10.1016/j.mechmachtheory.2016.06.013⟩
Article dans une revue
hal-01721237v1
|
||
|
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⟩
Communication dans un congrès
hal-01084612v2
|
||
|
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
Communication dans un congrès
hal-01079579v1
|
||
|
Generalized Interval Projection: A New Technique for Consistent Domain ExtensionIJCAI'07 - Twentieth International Joint Conference on Artificial Intelligence, 2007, India. pp.94-99
Communication dans un congrès
hal-00486722v1
|
||
|
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
Communication dans un congrès
hal-00904069v1
|