Items where Author is "Petridis, Miltos"

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)

Hawthorne, James, Anthony, Richard J. and Petridis, Miltos (2011) Improving the development process for teleo-reactive programming through advance composition. In: ICAS 2011: Seventh International Conference on Autonomic and Autonomous Systems. IARIA, pp. 75-80. ISBN 9781612081342

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, 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)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Ma, Chaoying, Caldera, Andrea, Petridis, Miltos, Bacon, Liz and Windall, Gill (2010) Integration of BPM systems. In: Process Management. Intech, Vukovar, Croatia, pp. 197-222. ISBN 978-953-307-085-8

Marr, Ana and Petridis, Miltos (2010) The importance of being owned: microfinance institutions in Tanzania. Project Report. University of Greenwich, London, UK.

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, 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

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, 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)

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)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. In: 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

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, 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, 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)

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)

Petridis, Miltos and Teodorescu, Elena I. (2008) An architecture of multiple heterogeneous case-based reasoning employing agent technologies. CIMA'08: Combinations of Intelligent Methods and Applications, 375. pp. 65-68. ISSN 1613-0073

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.

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, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2007) A design pattern for integration of business process management systems. In: IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, pp. 239-244. ISBN 9781424414994 (doi:10.1109/IRI.2007.4296627)

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2006) Towards the design of a portal framework for web services integration. In: 2006 Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. Institute of Electrical and Electronics Engineers, Inc., New York, USA, pp. 163-169. ISBN 0769525229 (doi:10.1109/AICT-ICIW.2006.199)

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

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Patel, Mayur (2005) CBE-conveyor: a case-based reasoning system to assist engineers in designing conveyor systems. In: Case-based reasoning research and development. Lecture Notes In Computer Science, 3620 . Springer-Verlag, Berlin, pp. 640-651. ISBN 9783540281740 (doi:10.1007/11536406_48)

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

Taylor, Stephen, Knight, Brian, Petridis, Miltos, Ewer, John and Galea, Edwin (2001) A case based reasoning system capturing fire modelling expertise. Computing and Informatics, 20 (3). pp. 269-288. ISSN 1335-9150

Zhao, Jun, Knight, Brian, Nissan, Ephraim, Petridis, Miltos and Soper, Alan (1998) The FUELGEN alternative: an evolutionary approach. The architecture. New Review of Applied Expert Systems, 4. pp. 177-183. ISSN 1361-0244

Nissan, Ephraim, Soper, Alan, Zhao, Jun, Knight, Brian and Petridis, Miltos (1998) Fuel reload pattern design within a family of hybrid architectures. In: 3rd International FLINS Workshop on Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry, 14-16 September, 1998, Antwerp, Belgium.