Biblio

Export 526 results:
[ Author(Desc)] Title 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 
Y
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., Fault Manifestability Verification for Discrete Event Systems, in {22nd European Conference on Artificial Intelligence ECAI-16}, La Haye, Netherlands, 2016.
L. Ye, Dague, P., and Yan, Y., An incremental approach for pattern diagnosability in distributed discrete event systems, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
L. Ye and Dague, P., An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, {IEEE Transactions on Automatic Control}, vol. 15, 2017.
L. Ye, Optimized diagnosability of distributed discrete event systems through abstraction, Université Paris Sud, 2011.
L. Ye and Dague, P., Diagnosability analysis for self-observed distributed discrete event systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), Lisbonne, Portugal, 2012.
L. Ye, Dague, P., and Yan, Y., A distributed approach for pattern diagnosability, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
L. Ye and Dague, P., Diagnosability Analysis of Discrete Event Systems with Autonomous Components, in Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
L. Ye and Dague, P., New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
L. Ye and Dague, P., A general algorithm for pattern diagnosability of distributed discrete event systems, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), Athènes, Greece, 2012.
Z
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Abstractions refinement for hybrid systems diagnosability analysis, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Automating Abstraction Computations of Hybrid Systems, in CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.
S. Zampetakis, Scalable algorithms for cloud-based Semantic Web data management, {Université Paris Sud - Paris XI}, 2015.
N. Zemirline, Bourda, Y., and Reynaud, C., Réutilisation de patrons d'adaptation - Application aux systèmes hypermédia adaptatifs, in Actes des Journées Francophones d'Ingénierie des Connaissances (IC), Nimes France, 2010, pp. 107-118.
N. Zemirline, Bourda, Y., and Reynaud, C., A typology of adaptation patterns for expressing adaptive navigation in Adaptive Hypermedia. 2011.
N. Zemirline, Reynaud, C., Bourda, Y., and Popineau, F., A Pattern and Rule-based Approach for reusing Hypermedia Creator's Models, in Proc. of International Conference on Knowledge Engineering and Knowledge management - Knowledge pattern (EKAW), Acitrezza, Catania, Italy, 2008.
N. Zemirline, Bourda, Y., and Reynaud, C., A Pattern-based Framework for expressing Adaptation Strategies in Adaptative Systems, in Proc. of International Conference on Intelligent Systems Design and Applications (ISDA), Caire Egypt, 2010, pp. 330-335.
N. Zemirline, Bourda, Y., and Reynaud, C., Expressing Adaptation Strategies using Adaptation Patterns, IEEE Transactions on Learning Technologies, vol. 5, pp. 38-51, 2012.
N. Zemirline, Bourda, Y., and Reynaud, C., A set of adaptation patterns for expressing adaptive navigation in Adaptive Hypermedia, in Proceedings of the International Workshop on Dynamic and Adaptive Hypertext - Generic Frameworks, Approaches and Techniques (DAH'11), 22nd ACM Conference on Hypertext and Hypermedia, Eindhoven, Netherlands, 2011, p. 12 pages.
N. Zemirline, Assisting in the reuse of existing materials to build adaptive hypermedia, Université Paris Sud, 2011.
N. Zemirline and Bourda, Y., Expressing Adaptation Strategies Using Adaptation Patterns. 2011.
N. Zemirline, Bourda, Y., Reynaud, C., and Popineau, F., Assisting in Reuse of Adaptive Hypermedia Creator's models, in Proc. of International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems (AH), 2008.
N. Zemirline, Bourda, Y., Reynaud, C., and Popineau, F., MESAM: A Protégé Plug-in for the Specialization of Models, in Proc. of International Protege Conference, Amsterdam Pays-Bas, 2009.
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.
Z. Zhu, Li, C. Min, Manyi, F., and Simon, L., Optimizing with Minimum Satisfiability, Artificial Intelligence, vol. 190, pp. 32-44, 2012.

Pages