Consistency restoration and explanations in dynamic CSPs -application to configuration, Artificial Intelligence, vol.135, pp.199-234, 2002. ,
Principles of Constraint Programming, 2003. ,
DOI : 10.1017/CBO9780511615320
Aide à la décision pour la définition d'un système éolien : adéquation au site et à un réseau faible, Thèse de doctorat, 2006. ,
Mixed quantitative/qualitative method for evaluating compromise solutions to conflicts in collaborative design, Artificial Intelligence for Engineering Design Analysis and Manufacturing (AIEDAM), vol.9, issue.4, pp.325-336, 1995. ,
CLP(Intervals) Revisited, International Symposium on Logic Programming, pp.124-138, 1994. ,
Interval constraint logic programming, Constraint Programming : Basics and Trends, pp.1-21 ,
Applying Interval Arithmetic to Real", Integer and Boolean Constraints, Journal of Logic Programming, vol.32, issue.1, pp.1-24, 1997. ,
Revising Hull and Box Consistency, Proceedings of International Conference on Logic Programming, pp.230-244, 1999. ,
An Algorithm to Compute Inner approximations of Relations for Interval Constraints, proceedings of the third Int. Ershov memorial Conference on Perspectives of system informatics (PSI'99), 1999. ,
Dealing with Uncertainty in Design and Configuration Problems, Configuration 14th European Conference on Artificial Intelligence, 2000. ,
A comparison between CSP and SAT techniques, CONSTRAINT Journal, vol.9, issue.2, pp.123-138, 2004. ,
Continuous and Interval Constraints ,
Handbook of constraint programming, chapitre 16, 2006. ,
Cost management for today's advanced manufacturing : The CAM-I conceptual design, 1988. ,
Using Graph Decomposition for Solving Continuous CSPs, CP'98, 1998. ,
Metaheuristics in combinatorial optimization : Overview and conceptual comparison, ACM Computing Surveys, vol.35, issue.3, pp.268-308, 2003. ,
Constraint-based software for concurrent engineering, IEEE Computer, vol.26, issue.1, pp.66-68, 1993. ,
Méthodes de management de programme, 1995. ,
Towards a decision-support framework for the embodiment phase of mechanical design, Artificial Intelligence in Engineering, p.7, 1992. ,
Interval arithmetic specifications, 1997. ,
Automated design for concurrent engineering, IEEE Expert Intelligent Systems & their Applications, vol.9, issue.5, pp.35-42, 1994. ,
Domain Filtering Consistencies, Journal of Artificial Intelligence Research, vol.14, pp.205-230, 2001. ,
Solving Large Combinatorial Problems in Logic Programming, J. Log. Program, vol.8, issue.1, pp.75-93, 1990. ,
Mixed Constraint Satisfaction : A Framework for Decision Problems under Incomplete Knowledge, AAAI-96, pp.175-180, 1996. ,
Configuration à base de contraintes Laboratoire des Sciences de l'Information et des SystèmesCompiling CSPs into tree-driven automata for interactive Solving, UMR CNRS 6168), pp.263-287, 2002. ,
Stratégie de conduite du calcul pour l'aide à la décision en conception mécanique intégrée; application aux appareils à pression, Thèse de doctorat, ENSAM, 2000. ,
Decision support in integrated mechanical design through qualitative constraintsConstraint based Approach Combined Résolution par satisfaction de contraintes pour l'aide à la décision en conception architecturale with Metamodeling Techniques to Support Embodiment Design, SCI'04. [Fre78] FREUDER E.C., "Synthesizing Constraint Expressions, pp.35-42958, 1978. ,
Interactive configuration using constraint satisfaction techniques, Artificial Intelligence and Manufacturing Research Planning Workshop, AAAI Technical Report FS-96-03, pp.37-44, 1996. ,
Solving Mixed and Conditional Constraint Satisfaction Problems, Constraints, vol.8, pp.107-141, 2003. ,
Inner and outer approximations of existentially quantified equality constraints, Poceedings of CP2006, pp.198-212, 2006. ,
A Reinforcement Learning Approach to Interval Constraint Propagation". Accepté pour publication dans CONSTRAINTS, 2007. ,
Box Consistency through Weak Box Consistency, Proceedings of the eleventh IEEE International Conference on Tools with Artificial Intelligence, pp.373-380, 1999. ,
Algorithm 852: Realpaver: An interval solver using constraint satisfaction techniques, ACM TOMS, vol.32, issue.1, pp.138-156, 2006. ,
Contribution à la conception de produits à forte diversité et de leur chaîne logistique : une approche par contraintes, Thèse de doctorat, 2002. ,
Multi-criteria optimal design of parallel manipulators based on interval analysis, Mechanism and Machine Theory, pp.151-171, 2005. ,
A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts, Research in Engineering Design, issue.2, pp.1365-82, 2001. ,
Aide à la décision pour la conception préliminaire de procédés d'évaporation flash ,
Multilayer feedforward network are universal approximates, Neural Networks, vol.2, pp.359-366, 1989. ,
Degree of Approximation Results for Références bibliographiques Feedforward Networks Approximating Unknow Mappings and Their Derivates, Neural Computation, vol.6, 1994. ,
CADRE : Casebased geometric design, AI in Engineering, pp.171-183, 1996. ,
Global Optimization of a Dryer by using Neural Networks and Genetic Algorithms, AIChE Journal, vol.45, issue.6, pp.1227-1265, 1999. ,
Memento des pertes de charge, 1969. ,
Compact Heat Exchangers". Mc Graw-hill book company, 1984. ,
A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global OptimizationOn Existence and Uniqueness Verification for Non-Smooth FunctionsExistence Verification for Higher Degree Singular Zeros of Complex Nonlinear Systems, ACM Trans. Math. Soft.. Reliable Computing. SIAM J. Numer. Anal, vol.21, issue.846, pp.63-78, 1995. ,
Progressive Negotiation for Resolving Conflicts Among Distributed Heterogeneous Cooperating Agents, National Conference on Artificial Intelligence, 1994. ,
A theoretical evaluation of selected backtracking algorithms, Artificial Intelligence, vol.89, pp.365-387, 1997. ,
Consistency Techniques for Numeric CSPs, Proceedings of IJCAI?93, pp.232-238, 1993. ,
Constraint solving and preference activation for interactive design, Artificial Intelligence for Engineering Design Analysis and Manufacturing (AI- EDAM), vol.12, issue.1, pp.13-27, 1998. ,
Constraint-based support for collaboration in design and construction, Consistency in Networks of Relations, pp.23-3599, 1999. ,
Applications of interval analysis in robotics, Interval methods and their applications, pp.25-27, 2005. ,
The Electromagnetical Actuators Design Problem: a General and Rational Approach, IEEE Transactions on Magnetics, vol.12, issue.42, pp.3847-3853, 2006. ,
Solving constraints over floating point numbers, proceedings of the 7th International Conference on Principles and Practice of Constraint Programing 2001 (CP'2001), pp.524-538, 2001. ,
Dynamic Constraint Satisfaction Problems, Proceedings of National Conference on Artificial Intelligence, pp.25-32, 1990. ,
Chaotic Iteration for Distributed Constraint Propagation ,
Interval Analysis, 1966. ,
When Interval Analysis Helps Interblock Backtracking, CP'06, 2006. ,
Constraint-Aided Conceptual Design, 2001. ,
Modelling Imprecision in Product Design, Proceedings of the Third IEEE International Conference on Fuzzy Systems FUZZ-IEEE '94, pp.346-351, 1994. ,
COINS: a constraint-based interactive solving system, ICLP'02 12th Workshop on Logic Programming Environments, pp.31-46, 2002. ,
Engineering Design: A Systematic Approach, 1996. ,
Optimization of a commercial aircraft environmental control system, Applied Thermal Engineering, vol.22, pp.1885-1904, 2002. ,
Combining constraint propagation and backtracking for distributed engineering, Constraints & Agents Workshop at AAAI'97, pp.76-82, 1997. ,
Model-driven decision support systems: Concepts and research directions, Decision Support Systems, 2005. ,
Constraint Management Methodology for Conceptual Design Tradeoff Studies". Design Theory and Methodology Conference, 1996. ,
Handbook of heat transfer fundamentals, 1985. ,
Handbook of Constraint Programming, 2006. ,
Robustness and Product Design Families Design Management: A Handbook of Issues and Methods, pp.279-292, 1990. ,
Algorithms for verified inclusions?theory and practice, Reliability in Computing, pp.109-126, 1988. ,
Configuration as Composite Constraint Satisfaction, AAAI-96 Fall Symposium on Configuration, pp.28-36, 1996. ,
Consistency Techniques for Continuous Constraints, Constraints, vol.1, pp.85-118, 1996. ,
Formalisation préalable d'un problème de conception pour l'aide à la décision en conception préliminaire, Thèse de doctorat, 2004. ,
Aided Decision-Making for an Embodiment Design Problem". International IDMME, 2004. ,
Structuring of embodiment design Résolution par satisfaction de contraintes pour l'aide à la décision en conception architecturale problem based on the product lifecycle, International Journal of Product Development, vol.2, issue.12, pp.47-70, 2005. ,
Problème de satisfaction de contraintes valué". Revue d'Intelligence Artificielle, pp.339-373, 1997. ,
The Embodiment Design Constraint Satisfaction Problem of the BOOTSTRAP facing interval analysis and Genetic Algorithm based decision support tools, IJIDEM, vol.1, issue.2, pp.99-106, 2007. ,
Intelligent Domain Splitting for CSPs with Ordered Domains, Proc. of CP'99. LNCS 1713, pp.488-489, 1999. ,
Creating design objects from cases for interactive spatial composition, AI in Design, pp.97-116 ,
An overview of knowledge-based configuration, pp.111-125, 1997. ,
The Representation of Function in Computer-based Design, Proceedings of the 1999 ASME Design Engineering Technical Conferences (11th International Conference on Design Theory and Methodology). DETC99/DTM-8742, 1999. ,
A support tool for constraint processes in embodiment design, ASME Design Theory and Methodology Conference, 1994. ,
A Mathematical Framework for the Key Characteristic Process, Research in Engineering Design, vol.11, issue.3, pp.145-157, 1999. ,
Constructive Interval Disjunction, Proc. of CP, constraint programming, pp.635-650, 2007. ,
A generic arc-consistency algorithm and its specialisation, Artificial Intelligence, vol.57, pp.292-321, 1992. ,
Solving Polynomial Systems Using Branch and Prune Approach, SIAM Journal on Numerical Analysis, vol.34, issue.2, pp.797-827, 1997. ,
Numerica -A Modelling Language for Global Optimization, 1997. ,
Newton: Constraint Programming over Nonlinear Constraint, Science of Computer Programming, vol.30, pp.83-118, 1998. ,
Constraint-based local search, 2005. ,
Maintien de solution dans les problèmes de dynamiques de satisfaction de contraintes : bilan de quelques approches". Revue d'Intelligence Artificielle, pp.269-309, 1995. ,
Approximation Techniques for Nonlinear Problems with Continuum of Solutions, SARA'02, 2002. ,
Generating semantic descriptions from drawings of scenes with shadows The Psychology of Computer Vision, pp. 19?91, 1975. ,
Péconception de produits, Mémoire d'Habilitation à Diriger des Recherches, INPG, 2001. ,
Towards a conceptual design explorer using metamodeling approaches and constraint programming, Proceedings of DETC'03 : ASME International 2003 Design Engineering Technical Conferences and Computers and Information in Engineering Conferences, 2003. ,
On estimating the feasible solution space of design, Computer-Aided Design, vol.29, issue.9, pp.649-655, 1997. ,
Global Aircraft Predesign based on Constraint Propagation and Interval Analysis, CEAS-MADO'01, 2001. ,
Constraint Explorer: a Modelling and Sizing Tool for Engineering Design", invited session on Metamodelling and Constraint Based Problem Solving for Embodiment Design Support Systems in SCI, 2004. ,
Porosité côté froid (-) Surface d'échange des plaques ,