Biblio

Export 526 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verification with Petri net unfoldings, Rapport de recherche LRI, vol. 1516, 2009.
M. - O. Cordier, Dague, P., Pencolé, Y., and Travé-Massuyès, L., Diagnosis and supervision: model-based approaches, in {A guided tour of artificial intelligence research}, P. Marquis, Papini, O., and Prade, H. {Springer}, 2017.
Y. Li, Diagnosis of Large Software Systems Based on Colored Petri Nets, Université Paris Sud, 2010.
V. Armant, Dague, P., and Simon, L., Diagnostic Distribué à base de modèles sans calcul préalable des conflits, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), 2008, pp. 41–48.
V. Armant, {Diagnostic distribué de systèmes respectant la confidentialité, Université Paris Sud, 2012.
F. Nouioua and Dague, P., Diagnosticabilité des systèmes à événements discrets, Rapport de recherche LRI, vol. 1517, 2009.
M. Batteux, Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une cha\^ıne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés., Université Paris Sud, 2011.
A. Penta, Quercini, G., Reynaud, C., and Shadbolt, N., Discovering Cross-Language Links in Wikipedia through Semantic Relatedness, in Proc. of European Conference on Artificial Intelligence (ECAI), Montpellier, France, 2012, pp. 642-647.
D. Symeonidou, Pernelle, N., Sais, F., Koutraki, M., and Ghosh, T., Discovering Keys in RDF/OWL Datasets with KD2R, in Proc. of International Workshop on Linked Data, (WOD), Paris, France, 2013, pp. 1-2.
X. Zhang, Wang, K., Wang, Z., Ma, Y., Qi, G., and zhiyong, feng, A Distance-based Framework for Inconsistency-Tolerant Reasoning and Inconsistency Measurement in DL-Lite, {International Journal of Approximate Reasoning(IJAR)}, 2016.
X. Zhang, Wang, K., Wang, Z., Ma, Y., and Qi, G., A Distance-Based Paraconsistent Semantics for DL-Lite, in Knowledge Science, Engineering and Management - 8th International Conference (KSEM'15), Chongqing, China, 2015.
L. Ye, Dague, P., and Yan, Y., A distributed approach for pattern diagnosability, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis without Conflicts, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
A. Galland, Distributed data management with access control : social Networks and Data of the Web, Université Paris Sud, 2011.
S. Abiteboul, Bienvenu, M., Galland, A., and Rousset, M. - C., Distributed Datalog Revisited, in Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, 2011, vol. 6702, pp. 252-261.
S. Abiteboul, Marinoiu, B., and Bourhis, P., Distributed Monitoring of Peer to Peer Systems (demonstration), in Proc. of International Conference on Data Engineering (ICDE), 2008.
V. Armant, Dague, P., and Simon, L., Distributed Tree Decomposition by Local Elections with One Token, in Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), Toulouse, France, 2012.
V. Armant, Simon, L., and Dague, P., Distributed tree decomposition with privacy, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec, Canada, 2012, pp. 102-117.
N. Abdallah, Goasdoué, F., and Rousset, M. - C., DL-LITER in the Light of Propositional Logic for Decentralized Data Management, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), 2009, pp. 2010-2015.
D. Colazzo, Guerrini, G., Mesiti, M., Oliboni, B., and Waller, E., Document and Schema XML Updates, in Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies, C. Li and Ling, T. Wang IGI Global, 2010.
G. Audemard, Lagniez, J. - M., and Simon, L., Du Glucose en goutte à goutte pour les coeurs inconsistants, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Aix en Provence, France, 2013.
J. C. Dos Reis, Pruski, C., Da Silveira, M., and Reynaud, C., DyKOSMap: A Framework for Mapping Adaptation between Biomedical Knowledge Organization Systems, Journal of Biomedical Informatics, pp. 153-173, 2015.
E
V. Benzaken, Fekete, J. - D., Khemiri, W., and Manolescu, I., EdiFlow: data-intensive interactive workflows for visual analytics, in Journées Bases de Données Avancées, Toulouse France, 2010.
L. Leitao, vel Calado, P., and Herschel, M., Efficient and Effective Duplicate Detection in Hierarchical Data, IEEE Transactions on Knowledge and Data Engineering, vol. 25, pp. 1028 - 1041, 2013.

Pages