.:. Consultation > Par équipe de recherche > MEO .:.

24 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

High-Level Modeling of Component-Based CSPs Chenouard R., Granvilliers L., Soto R. In Advances in Artificial Intelligence - SBIA 2010 - 20th Brazilian Symposium on Artificial Intelligence, Brazil (2010) [hal-00542405 - version 1]

Finding the Maximal Pose Error in Robotic Mechanical Systems Using Constraint Programming Berger N., Soto R., Goldsztejn A., Caro S., Cardou P. Dans IEA-AIE 2010 - The Twenty Third International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2010), Espagne (2010) [hal-00462935 - version 1]

Box consistency through Adaptive Shaving Goldsztejn A., Goualard F. In Proceedings of ACM SAC 2010 - 25th Symposium On Applied Computing, Switzerland (2010) [hal-00428678 - version 1]

Fast and Correct SIMD Algorithms for Interval Arithmetic Goualard F. Dans Proceedings of PARA '08 - PARA '08, Norvège (2008) [hal-00288456 - version 1]

Rewriting Constraint Models with Metamodels Chenouard R., Granvilliers L., Soto R. In SARA2009 Symposium proceedings - The eight symposium on abstraction, reformulation, and approximation, United States (2009) [hal-00456824 - version 1]

Some Interval Approximation Techniques for MINLP Berger N., Granvilliers L. Dans Proceedings, The Eighth Symposium on Abstraction, Reformulation and Approximation (SARA2009) - SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation, États-Unis (2009) [hal-00462786 - version 1]

Automatically Discovering Hidden Transformation Chaining Constraints Chenouard R., Jouault F. In Model Driven Engineering Languages and Systems - ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, United States (2009) [hal-00460761 - version 1]

Using ATL to define advanced and flexible constraint model transformations Chenouard R., Granvilliers L., Soto R. In Proceedings of 1st International Workshop on Model Transformation with ATL - MtATL2009, France (2009) [hal-00456940 - version 1]

Langages et transformation de modèles en programmation par contraintes Soto R. Université de Nantes (25/06/2009), Laurent Granvilliers (Dir.) [tel-00483262 - version 1]

Model-Driven Constraint Programming Chenouard R., Granvilliers L., Soto R. In PPDP '08 Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming - International Conference on Principles and Practice of Declarative Programming, Spain (2008) [hal-00456549 - version 1]