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., 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, Optimized diagnosability of distributed discrete event systems through abstraction, Université Paris Sud, 2011.
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 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., 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 and Dague, P., An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, {IEEE Transactions on Automatic Control}, vol. 15, 2017.
L. Ye, Dague, P., and Nouioua, F., A Predictability Algorithm for Distributed Discrete Event Systems, in The 17th International Conference on Formal Engineering Methods, Paris, France, 2015.
L. Ye and Dague, P., An Optimized Algorithm for Diagnosability of Component-based Systems, in Proc. of International Conference on Discrete Event Systems (WODES), Berlin Germany, 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.
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., 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., 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., 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.
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., 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, 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 and Bourda, Y., Expressing Adaptation Strategies Using Adaptation Patterns. 2011.
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.
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.
Z. Zhu, Li, C. Min, Manyi, F., and Simon, L., Optimizing with Minimum Satisfiability, Artificial Intelligence, vol. 190, pp. 32-44, 2012.

Pages