Filter
Conference contribution

Search results

  • 2024

    Explainable Deep Semantic Segmentation for Flood Inundation Mapping with Class Activation Mapping Techniques

    Sanderson, J., Mao, H., Tengtrairat, N., Al-Nima, R. R. O. & Woo, W. L., 26 Feb 2024, Proceedings of the 16th International Conference on Agents and Artificial Intelligence. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Scitepress, Vol. 3. p. 1028-1035 8 p. (ICAART).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    78 Downloads (Pure)
  • 2023

    Deep Multiview Clustering by Contrasting Cluster Assignments

    Chen, J., Mao, H., Woo, W. L. & Peng, X., 6 Oct 2023, Proceedings - 2023 IEEE/CVF International Conference on Computer Vision, ICCV 2023. Piscataway, NJ: Institute of Electrical and Electronics Engineers Inc., p. 16706-16715 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    20 Citations (Scopus)
    3 Downloads (Pure)
  • 2016

    Manifold dimension reduction based clustering for multi-objective evolutionary algorithm

    Sun, Y., Yen, G. G., Mao, H. & Yi, Z., 21 Nov 2016, 2016 IEEE Congress on Evolutionary Computation, CEC 2016. Institute of Electrical and Electronics Engineers Inc., p. 3785-3792 8 p. 7744269

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    4 Citations (Scopus)
    51 Downloads (Pure)
  • 2015

    Learning agents' relations in interactive multiagent dynamic influence diagrams

    Pan, Y., Zeng, Y. & Mao, H., 2015, Agents and Data Mining Interaction - 10th International Workshop, ADMI 2014, Revised Selected Papers. Symeonidis, A. L., Zeng, Y., Cao, L., Gorodetsky, V., An, B., Coenen, F., Yu, P. S. & Zeng, Y. (eds.). Springer, p. 1-11 11 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 9145).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2014

    Continuity properties of distances for Markov processes

    Jaeger, M., Mao, H., Guldstrand Larsen, K. & Mardare, R., 20 Aug 2014, Quantitative Evaluation of Systems. QEST 2014.. Norman, G. & Sanders, W. (eds.). Cham, Switzerland: Springer, p. 297-312 16 p. (Lecture Notes in Computer Science (LNCS); vol. 8657).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Citations (Scopus)
  • 2013

    An optimization approach to believable behavior in computer games

    Zeng, Y., Mao, H., Yang, F. & Luo, J., 2013, Agents and Data Mining Interaction - 8th International Workshop, ADMI 2012, Revised Selected Papers. p. 81-92 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7607 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • 2012

    Learning and model-checking networks of I/O automata

    Mao, H. & Jaeger, M., 2012, Proceedings of the Asian Conference on Machine Learning. Hoi, S. C. H. & Buntine, W. (eds.). Cambridge, US: MLResearchPress, Vol. 25. p. 285-300 16 p. (Proceedings of Machine Learning Research; vol. 25).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Citations (Scopus)
  • Learning communication in interactive dynamic influence diagrams

    Zeng, Y., Mao, H., Doshi, P., Pan, Y. & Luo, J., 2012, Proceedings - 2012 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2012. p. 243-250 8 p. 6511577. (Proceedings - 2012 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2012; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • Learning Markov models for stationary system behaviors

    Chen, Y., Mao, H., Jaeger, M., Nielsen, T. D., Guldstrand Larsen, K. & Nielsen, B., 27 Mar 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings. Goodloe, A. E. & Person, S. (eds.). Berlin, Germany: Springer, p. 216-230 15 p. (Lecture Notes in Computer Science; vol. 7226).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Citations (Scopus)
  • 2011

    Dynamic ordering-based search algorithm for Markov blanket discovery

    Zeng, Y., He, X., Xiang, Y. & Mao, H., 2011, Advances in Knowledge Discovery and Data Mining - 15th Pacific-Asia Conference, PAKDD 2011, Proceedings. PART 2 ed. Springer, p. 420-431 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6635 LNAI, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Citations (Scopus)
  • Learning probabilistic automata for model checking

    Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. p. 111-120 10 p. 6042035. (Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    43 Citations (Scopus)
  • Utilizing partial policies for identifying equivalence of behavioral models

    Zeng, Y., Doshi, P., Pan, Y., Mao, H., Chandrasekaran, M. & Luo, J., 2011, AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. p. 1083-1088 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    21 Citations (Scopus)