Biblio

Export 526 results:
[ Author(Asc)] 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 
Z
S. Zoupanos, Efficient peer-to-peer data management, Université Paris-Sud 11, 2009.
Z. Zhu, Li, C. Min, Manyi, F., and Simon, L., Optimizing with Minimum Satisfiability, Artificial Intelligence, vol. 190, pp. 32-44, 2012.
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.
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., 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.
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, 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 and Bourda, Y., Expressing Adaptation Strategies Using Adaptation Patterns. 2011.
N. Zemirline, Bourda, Y., and Reynaud, C., A typology of adaptation patterns for expressing adaptive navigation in Adaptive Hypermedia. 2011.
S. Zampetakis, Scalable algorithms for cloud-based Semantic Web data management, {Université Paris Sud - Paris XI}, 2015.
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.
Y
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, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., How to be Sure a Faulty System Does not Always Appear Healthy?, in VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France, 2018.
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, 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, Optimized diagnosability of distributed discrete event systems through abstraction, Université Paris Sud, 2011.
L. Ye and Dague, P., Diagnosability of patterns in distributed discrete event systems, in Proc. of IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS), 2009.
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.

Pages