Export 526 results:
Author Title Type [ Year(Desc)]
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.
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.
S. Pérès, Jolicœur, M., Moulin, C., Dague, P., and Schuster, S., How important is thermodynamics for computing elementary flux modes?, {PLoS ONE}, vol. D, 2017.
S. Maniu, Cheng, R., and Senellart, P., An Indexing Framework for Queries on Probabilistic Graphs, {ACM Trans. Datab. Syst}, 2017.
F. Saïs, Pruski, C., and Da Silveira, M., Inferring the evolution of ontology axioms from RDF data dynamics, in {Proceedings of the Knowledge Capture Conference, {K-CAP} 2017, Austin, TX, USA, December 4-6, 2017}, Austin, TX, United States, 2017.
N. Bidoit and Doucet, A., La diversité des données., in {Les Big Data à découvert}, M. Bouzeghoub and Mosseri, R. {CNRS EDITIONS}, 2017, pp. 24-25.
P. Lagrée, Cappé, O., Cautis, B., and Maniu, S., Online Model-Free Influence Maximization with Persistence. 2017.
L. Ye and Dague, P., An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, {IEEE Transactions on Automatic Control}, vol. 15, 2017.
S. Jabbour, Ma, Y., Badran, R., and Sais, L., Quantifying Conflicts in Propositional Logic Through Prime Implicates, {International Journal of Approximate Reasoning.}, 2017.
S. Domingos Cardoso, Reynaud, C., Da Silveira, M., Ying-Chi, L., Anika, G., Erhard, R., and Pruski, C., Towards a Multi-level Approach for the Maintenance of Semantic Annotations, in {10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017)}, Porto, Portugal, 2017, vol. 5, pp. 401-406.
D. Symeonidou, Galàrraga, L., Pernelle, N., Saïs, F., and Suchanek, F., VICKEY: Mining Conditional Keys on Knowledge Bases, in {International Semantic Web Conference (ISWC)}, Vienne, Austria, 2017, vol. 10587, pp. 661-677.
J. Chen, Ludwig, M., Ma, Y., and Walther, D., Zooming in on Ontologies: Minimal Modules and Best Excerpts. , in {In Proceedings of the 16th International Semantic Web Conference (ISWC'17)}, Vienna, Austria, 2017.
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. Domingos Cardoso, Da Silveira, M., Ying-Chi, L., Christen, V., Erhard, R., Reynaud-Delaître, C., and Pruski, C., Combining Semantic and Lexical Measures to Evaluate Medical Terms Similarity, in DILS 2018, LNBI 11371, Hannover, Germany, 2018.
J. Raad, Beek, W., Van Harmelen, F., Pernelle, N., and Saïs, F., Detecting Erroneous Identity Links on the Web using Network Metrics, in The Semantic Web – ISWC 2018. ISWC 2018. Lecture Notes in Computer Science, vol 11136. Springer, Cham, 2018.
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Evaluating Queries and Updates on Big XML Documents, Information Systems Frontiers, 2018.
S. Domingos Cardoso, Reynaud-Delaître, C., Da Silveira, M., Lin, Y. - C., Gross, A., Rahm, E., and Pruski, C., Evolving semantic annotations through multiple versions of controlled medical terminologies, Health and Technology, vol. 8, pp. 361–376, 2018.
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. Palacios, Gaelle, L., Ma, Y., and Reynaud-Delaître, C., Knowledge Discovery for Avionics Maintenance Support, in Digital Avionics Systems Conference, London, United Kingdom, 2018.
V. Christen, Ying-Chi, L., Anika, G., Cardoso, S. Domingos, Pruski, C., Da Silveira, M., and Erhard, R., A learning-based approach to combine medical annotation results, in DILS 2018 LNBI 11371, Hannover, Germany, 2018.
W. Beek, Raad, J., Wielemaker, J., and Van Harmelen, F., The Closure of 500M owl:sameAs Statements, in The Semantic Web. 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings, 2018.
L. He, Ye, L., and Dague, P., SMT-based Diagnosability Analysis of Real-Time Systems, in SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Varsovie, Poland, 2018.
S. Domingos Cardoso, Pruski, C., and Da Silveira, M., Supporting biomedical ontology evolution by identifying outdated concepts and the required type of change, Journal of Biomedical Informatics, vol. 87, pp. 1 - 11, 2018.
S. Pérès, Schuster, S., and Dague, P., Thermodynamic constraints for identifying elementary flux modes, Biochemical Society Transactions, 2018.