Items where Author is "Ma, Jixin"

Article

Zheng, Aihua, Ma, Jixin, Tang, Jin and Luo, Bin (2012) Matching state-based sequences with rich temporal aspects. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. pp. 2463-2464.

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai and Zhao, Yongzhe (2011) Ergodic matrix and hybrid-key based image cryptosystem. International Journal of Image, Graphics and Signal Processing (IJIGSP), 3 (4). pp. 1-9. ISSN 2074-9074 (Print), 2074-9082 (Online) (doi:10.5815/ijigsp.2011.04.01)

Petridis, Miltos, Ma, Jixin and Knight, Brian (2011) Temporal model for business process. Intelligent Decision Technologies, 5 (4). pp. 321-331. ISSN 1872-4981 (Print), 1875-8843 (Online) (doi:10.3233/IDT-2011-0115)

Zheng, Aihua, Ma, Jixin, Zhou, Xiaoyi and Luo, Bin (2010) Efficient and effective state-based framework for news video retrieval. International Journal of Advancements in Computing Technology, 2 (4). pp. 151-161. ISSN 2005-8039 (Print), 2233-9337 (Online) (doi:10.4156/ijact.vol2.issue4.16)

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) Structure based feature extraction in basketball zone-defense strategies. International Journal of Computer Science and Applications, 7 (3). pp. 18-32. ISSN 0972-9038

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai and Chen, Mingrui (2010) An efficient algorithm to solve linear equations over finite field IFq. Natural Science Journal of Hainan University, 28 (4). pp. 45-49. ISSN 1004-1729

Ma, Jixin, Zheng, Aihua, Bie, Rongfang, Petridis, Miltos, Zhai, Sulan and Luo, Bin (2009) State-sequence based pattern recognition in basketball zone-defense strategies. International Journal of Electronics, 11 (1). pp. 35-44. ISSN 1229-425X

Ma, Jixin (2008) A framework for state-based time-series analysis and prediction. International Journal of Computer & Information Science, 9 (1). pp. 21-28. ISSN 1525-9293

Zhao, Guoxing, Petridis, Miltos, Sidorov, Grigori and Ma, Jixin (2008) A critical examination of node-similarity based graph matching algorithms. Research In Computing Science, 40. pp. 73-82. ISSN 1870-4069

Ma, Jixin (2007) Ontological considerations of time, meta-predicates and temporal propositions. Applied Ontology, 2 (1). pp. 37-66. ISSN 1570-5838

Jin, Xin, Xu, Anbang, Zhao, Guoxing, Ma, Jixin and Bie, Rongfang (2006) Event models for tumor classification with SAGE gene expression data. Lecture Notes in Computer Science, 3992. pp. 775-782. ISSN 0302-9743 (doi:10.1007/11758525_104)

Ma, Jixin and Hayes, Pat (2006) Primitive intervals versus point-based intervals: rivals or allies? The Computer Journal, 49 (1). pp. 32-41. ISSN 0010-4620 (doi:10.1093/comjnl/bxh151)

Jin, Xin, Liu, Zhaodong, Bie, Rongfang, Zhao, Guoxing and Ma, Jixin (2006) Support vector machines for regression and applications to software quality prediction. Lecture Notes in Computer Science, 3994. pp. 781-788. ISSN 0302-9743 (Print) 1611-3349 (Online) (doi:10.1007/11758549_105)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2006) A versatile characterization of causal relationships. Research In Computing Science, 26. pp. 15-24. ISSN 1870-4069

Nissan, Ephraim and Ma, Jixin (2003) Identification and doing without it, V: A formal mathematical analysis for a case of mix-up of individuals, and of recovery from failure to attain identification. Cybernetics and Systems: An International Journal, 34 (6-7). pp. 531-549. ISSN 0196-9722 (Print), 1087-6553 (Online) (doi:10.1080/01969720302858)

Ma, Jixin, Knight, Brian and Nissan, Ephraim (1999) Temporal representation of state transitions. AI EDAM, 13 (2). pp. 67-78. ISSN 0890-0604 (Print), 1469-1760 (Online) (doi:10.1017/S0890060499132025)

Book Section

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) A robust approach to subsequence matching. In: Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 ISSN 1860-949X (Print) 1860-9503 (Online) (doi:10.1007/978-3-642-05441-9_4)

Ma, Jixin, Bie, Rongfang and Zhao, Guoxing (2008) An ontological characterization of time-series and state-sequences for data mining. In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 325-329. ISBN 978-0-7695-3305-6 (doi:10.1109/FSKD.2008.2)

Zhao, Guoxing, Luo, Bin and Ma, Jixin (2006) Matching case history patterns in case-based reasoning. In: Intelligent computing in signal processing and pattern recognition: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Lecture notes in control and information sciences, 345 (345). Springer Verlag, Berlin, pp. 312-321. ISBN 9783540372578 ISSN 0170-8643 (doi:10.1007/978-3-540-37258-5_32)

Ma, Jixin and Knight, Brian (2006) Using set operations to deal with the frame problem. In: Proceedings of the Fifth IEEE International Conference on Cognitive Informatics. IEEE Computer Society, Los Alamitos, CA, USA, pp. 447-452. ISBN 1424404754 (doi:10.1109/COGINF.2006.365530)

Conference Proceedings

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Chen, Mingrui and Zhao, Youngzhe (2010) Cryptanalysis of the bisectional MQ equations system. In: Proceedings - 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010. IEEE Computer Society, Piscataway, USA, pp. 1038-1043. ISBN 9781424475476 (doi:10.1109/CIT.2010.190)

Zheng, Aihua, Zhou, Xiaoyi, Ma, Jixin and Petridis, Miltos (2010) The optimal temporal common subsequence. In: 2nd International Conference on Software Engineering and Data Mining, SEDM 2010. IEEE Computer Society, Piscataway, USA, pp. 316-321. ISBN 9781424473243 (print), 9788988678220 (online)

Kapetanakis, Stelios, Petridis, Miltos, Knight, Brian, Ma, Jixin and Bacon, Liz (2010) A case based reasoning approach for the monitoring of business workflows. In: Case-Based Reasoning. Research and Development: 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings. Lecture Notes in Computer Science, 6176 . Springer, Berlin, Germany, pp. 390-405. ISBN 9783642142734 (doi:10.1007/978-3-642-14274-1_29)

Hawthorne, James and Anthony, Richard (2010) A methodology for the use of the teleo-reactive programming technique in autonomic computing. In: Proceedings: 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2010). IEEE Computer Society, Los Alamitos, CA, USA, pp. 245-250. ISBN 978-0-7695-4088-7 (doi:10.1109/SNPD.2010.44)

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

Zheng, Aihua, Ma, Jixin, Petridis, M. and Xiao, Bai (2010) Order, duration and gap - take them all. In: Proceedings 2010 3rd IEEE International Conference on Computer Science and Information Technology, ICCSIT 2010. Institute of Electrical and Electronics Engineers, Inc., Piscataway, USA, pp. 647-651. ISBN 9781424455386 (doi:10.1109/ICCSIT.2010.5564860)

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

Zheng, Aihua, Ma, Jixin, Luo, Bin, Petridis, M. and Tang, Jin (2009) Character-angle based video annotation. In: Computer Science and Information Technology. Institute of Electrical and Electronic Engineers, Inc, Piscataway, NJ, USA, pp. 19-24. ISBN 978-83-60810-22-4 ISSN 1896-7094 (doi:10.1109/IMCSIT.2009.5352786)

Zheng, Aihua, Ma, Jixin, Luo, Bin, Petridis, Miltos, Zhai, Sulan and Tang, Jin (2009) Temporal pattern recognition in video clips detection. In: Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009). Computer Society Press, Los Alamitos, CA, USA, pp. 416-421. ISBN 9780769536415 (doi:10.1109/ICIS.2009.144)

Ma, Jixin, Zheng, Aihua, Knight, Brian, Petridis, Miltos and Luo, Bin (2009) Reasoning about uncertain and incomplete temporal knowledge. In: International Conference on Artificial Intelligence and Pattern Recognition 2009 (AIPR- 2009). Curran Associates, Inc., Red Hook, NY, USA, pp. 49-55. ISBN 9781615676576

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt 2008), July 21-22, 2008. CEUR Workshop Proceedings (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073

Zhao, Guoxing, Ma, Jixin, Shen, Fuxing and Petridis, Miltos (2008) A sound and complete reified temporal logic. In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. IEEE Conference Publications . Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 111-116. ISBN 978-0-7695-3263-9 (doi:10.1109/SNPD.2008.16)

Conference or Workshop Item

Kapetanakis, Stelios, Petridis, Miltos, Ma, Jixin, Knight, Brian and Bacon, Liz (2011) Enhancing similarity measures and context provision for the intelligent monitoring of business processes in CBR-WIMS. In: 19th International Conference on Case Based Reasoning: Workshop 1 - Process-oriented Case-Based Reasoning (PO-CBR), 12-15 September 2011, Greenwich, London. (Submitted)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Characterizing the most general temporal constraints. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)

Zhao, Guoxing, Ma, Jixin and Petridis, Miltos (2008) The completeness and soundness of temporal theories. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece.

Thesis

Ma, Jixin (1994) Towards a general temporal theory. PhD thesis, University of Greenwich.