Filter your results
- 15
- 8
- 8
- 7
- 6
- 2
- 7
- 22
- 9
- 1
- 1
- 1
- 3
- 7
- 4
- 2
- 3
- 1
- 1
- 18
- 5
- 23
- 2
- 1
- 17
- 6
- 5
- 4
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Language de Requête Configurable pour la Composition de Services Web SemantiquesDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers
inria-00085798v1
|
||
|
Comprendre des Descriptions Simples à l'aide d'un ConfigurateurPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.325-334
Conference papers
inria-00000057v1
|
||
|
Génération rapide et filtrage de configurations canoniquesTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France
Conference papers
inria-00151237v1
|
||
Handling Configuration Isomorphisms - Extended research report, pp 1―37[Rapport de recherche] LSIS.RR.2008.005, LSIS InCA. 2008
Reports
hal-01488815v1
|
|||
Modeling Object Oriented Constraint Programs in ZRACSAM. Real Academia de Ciencias. Serie A, Matemáticas - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A, Matemáticas, 2004, special issue on Symbolic Computation in Logic and Artificial Intelligence (98 (1--2)), pp.127--152
Journal articles
hal-01479589v1
|
|||
|
Traduction automatique de grammaires à base de traits en un problème de configuration syntaxiqueDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers
inria-00085813v1
|
||
A constrained request language for SWS Composition[Rapport de recherche] LSIS.RR.2007.013, LSIS InCA. 2007
Reports
hal-01488821v1
|
|||
Predicting and Detecting Symmetries in FOL Finite Model SearchJournal of Automated Reasoning, 2006, 36 (3), pp.177-212
Journal articles
hal-00448785v1
|
|||
Predecting and detecting symmetry in Finite Model Search[Rapport de recherche] LSIS.RR.2004.003, LSIS. 2004
Reports
hal-01488871v1
|
|||
A Hybrid Method for finite Model Search in Equational theoriesFundamenta Informaticae, 1999, 39, pp.21-38
Journal articles
hal-01479604v1
|
|||
Handling Configuration Isomorphisms[Rapport de recherche] LSIS.RR.2007.014, LSIS InCA. 2007
Reports
hal-01488825v1
|
|||
Procédé de vérification de l'intégrité d'un bloc de données numériquesRégion indéterminée, N° de brevet: WO2014114861. 2014
Patents
hal-01488745v1
|
|||
Formally Defining Constrained Object Models[Rapport de recherche] LSIS.RR.2007.011, LSIS InCA. 2007
Reports
hal-01488819v1
|
|||
Un test de canonicité pour éliminer des configurations redondantesJournal Electronique d'Intelligence Artificielle (JEDAI), 2004, 2 (2)
Journal articles
hal-01479587v1
|
|||
|
Les grammaires de configuration : un cadre grammatical moderneTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers
inria-00151128v1
|
||
Base de fichiers relationnelle et interface graphique de gestion d'une telle baseRégion indéterminée, N° de brevet: WO 2015173500. 2015
Patents
hal-01488741v1
|
|||
A Formal Specification of UML Core Basic and Applications[Rapport de recherche] LSIS.RR.2007.010, LSIS InCA. 2007
Reports
hal-01488824v1
|
|||
|
Composition de Workflows à l'aide de la ConfigurationPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.345-354
Conference papers
inria-00000079v1
|
||
|
3-Level Behavioural Models for Semantic Web ServicesInternational Transactions on Systems Science and Applications, 2008, pp.340-355
Journal articles
hal-00784364v1
|
||
Sur la génération des groupes finis non isomorphesActes des sixièmes Journées Nationales des problèmes NP complets (JNPC 00), 2000, Marseille, France. pp.57-66
Conference papers
hal-03299521v1
|
|||
Predicting and detecting Symmetry in FOL Finite Model searchJournal of Automated Reasoning, 2006
Journal articles
hal-01479575v1
|
|||
Using the Z specification language to describe logics and constraint systems[Rapport de recherche] LSIS.RR.2007.012, LSIS InCA. 2007
Reports
hal-01488818v1
|
|||
|
Optimisation par colonie de fourmis pour la configurationJFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.49-58
Conference papers
inria-00290770v1
|