Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
Multiclass support vector machines and metric multidimensional scaling for facial expression recognition
Kotsia, I., Zafeiriou, S., Nikolaidis, N. and Pitas, I. 2007. Multiclass support vector machines and metric multidimensional scaling for facial expression recognition. IEEE Workshop on Machine Learning for Signal Processing (MLSP 2007). Thessaloniki, Greece 27 - 29 Aug 2007Conference paper
A semi-lattice model for multi-lateral security
Kammueller, F. 2013. A semi-lattice model for multi-lateral security. in: Data privacy management and autonomous spontaneous security Berlin, Germany Springer.Book chapter
Texture and shape information fusion for facial action unit recognition
Kotsia, I., Zafeiriou, S., Nikolaidis, N. and Pitas, I. 2008. Texture and shape information fusion for facial action unit recognition. The First International Conference on Advances in Computer-Human Interaction (ACHI 2008). Sainte Luce, Martinique 10 - 15 Feb 2008Conference paper
Discriminant Non-negative Matrix Factorization and projected gradients for frontal face verification
Kotsia, I., Zafeiriou, S. and Pitas, I. 2008. Discriminant Non-negative Matrix Factorization and projected gradients for frontal face verification. The First COST 2101 Workshop on Biometrics and Identity Management (BIOID 2008). Roskilde University, Denmark 07 - 09 May 2008Conference paper
Multi-modal emotion-related data collection within a virtual earthquake emulator
Ververidis, D., Kotsia, I., Kotropoulos, C. and Pitas, I. 2008. Multi-modal emotion-related data collection within a virtual earthquake emulator. 6th Language Resources and Evaluation Conference (LREC 2008). Marrakech, MoroccoConference paper
Frontal view recognition in multiview video sequences
Kotsia, I., Nikolaidis, N. and Pitas, I. 2009. Frontal view recognition in multiview video sequences. IEEE International Conference on Multimedia and Expo (ICME 2009). Cancun, Mexico 28 Jun - 03 Jul 2009Conference paper
Multiplicative update rules for Multilinear Support Tensor Machines
Kotsia, I. and Patras, I. 2010. Multiplicative update rules for Multilinear Support Tensor Machines. 20th International Conference on Pattern Recognition (ICPR 2010). Istanbul, Turkey 23 - 26 Aug 2010Conference paper
Relative Margin Support Tensor Machines for gait and action recognition
Kotsia, I. and Patras, I. 2010. Relative Margin Support Tensor Machines for gait and action recognition. ACM International Conference on Image and Video Retrieval (CIVR 10). Xidian, China 05 - 07 Jul 2010Conference paper
Simulating enterprise architecture models
Clark, T., Barn, B., Oussena, S. and Infosys 2012. Simulating enterprise architecture models. Infosys Journal of Research. 10 (3), pp. 3-20.Article
Higher order support tensor regression for head pose estimation
Guo, W., Kotsia, I. and Patras, I. 2011. Higher order support tensor regression for head pose estimation. 12th International Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS 2011). Delft, The Netherlands 13 - 15 Apr 2011Conference paper
Support tucker machines
Kotsia, I. and Patras, I. 2011. Support tucker machines. IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2011). Providence, RI 20 - 25 Jun 2011Conference paper
Action spotting exploiting the frequency domain
Kotsia, I. and Argyriou, V. 2011. Action spotting exploiting the frequency domain. IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW 2011). Colorado Springs, USA 20 - 25 Jun 2011Conference paper
Max-margin semi-NMF
Kumar, B., Kotsia, I. and Patras, I. 2011. Max-margin semi-NMF. The 22nd British Machine Vision Conference (BMVC 2011). University of Dundee 29 Aug - 02 Sep 2011Conference paper
bCMS in LEAP
Clark, T. and Barn, B. 2012. bCMS in LEAP. Comparing Modeling Approaches. Innsbruck, Austria 30 Sep 2012Conference paper
Business and ICT alignment in higher education: a case study in measuring maturity
Barn, B., Clark, T. and Hearne, G. 2012. Business and ICT alignment in higher education: a case study in measuring maturity. 21st International Conference on Information Systems Development (ISD2012). Prato, Italy 29 - 30 Aug 2012Conference paper
Synthesis of expressive facial animations: a multimodal caricatural mirror
Martin, O., Kotsia, I., Pitas, I., Savran, A., Adell, J., Huerta, A. and Sebbe, R. 2007. Synthesis of expressive facial animations: a multimodal caricatural mirror. Journal on Multimodal User Interfaces. 1 (1), pp. 21-30.Article
An analysis of facial expression recognition under partial facial image occlusion
Kotsia, I., Buciu, I. and Pitas, I. 2008. An analysis of facial expression recognition under partial facial image occlusion. Image and Vision Computing. 26 (7), pp. 1052-1067.Article
Addressing governance and ethics in European technology development projects through scenarios
Kurt, A. and Duquenoy, P. 2012. Addressing governance and ethics in European technology development projects through scenarios. in: Camenisch, J., Crispo, B., Fischer-Hübner, S., Leenes, R. and Rossello, G. (ed.) Privacy and identity management for life : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers. Heidelberg Springer.Book chapter
Using aggregated RSVP in nested HMIPv6
Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2012. Using aggregated RSVP in nested HMIPv6. Wireless Communications and Mobile Computing Conference (IWCMC), 2012 8th International. IEEE. pp. 716 -721 https://doi.org/10.1109/IWCMC.2012.6314292Conference paper
A security model for functional active objects
Kammueller, F. 2012. A security model for functional active objects. Francisco, C., Kim, V., Miguel, C. and Andreas, K. (ed.) First International Symposium Communicability, Computer Graphics and Innovative Design for Interactive Systems (CCGIDIS 2011). Berlin Springer. https://doi.org/10.1007/978-3-642-33760-4_4Conference paper
On knowledge and obligation
Baskent, C., Olde Loohuis, L. and Parikh, R. 2012. On knowledge and obligation. Episteme. 9 (2), pp. 171-188. https://doi.org/10.1017/epi.2012.7Article
Looking to score: the dissociation of goal influence on eye movement and meta-attentional allocation in a complex dynamic natural scene
Taya, S., Windridge, D. and Osman, M. 2012. Looking to score: the dissociation of goal influence on eye movement and meta-attentional allocation in a complex dynamic natural scene. PLoS ONE. 7 (6). https://doi.org/10.1371/journal.pone.0039060Article
Conversational spaces for learning and designing
Fields, B., Bardill, A. and Jones, S. 2010. Conversational spaces for learning and designing. CHI2010 Workshop on New Generation of HCI and Education. Atlanta, GA, USA 10 - 15 Apr 2010Conference paper
Exploiting location and contextual information to develop a comprehensive framework for proactive handover in heterogeneous environments
Mapp, G., Katsriku, F., Aiash, M., Chinnam, N., Lopes, R., Moreira, E., Vanni, R., Augusto, M., Middlesex University and University of Sao Paulo 2012. Exploiting location and contextual information to develop a comprehensive framework for proactive handover in heterogeneous environments. Journal of Computer Networks and Communications. https://doi.org/10.1155/2012/748163Article
Interactive visualization for low literacy users: from lessons learnt to design
Kodagoda, N., Wong, B., Rooney, C. and Khan, N. 2012. Interactive visualization for low literacy users: from lessons learnt to design. CHI '12 Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems. New York, NY, USA Association for Computing Machinery (ACM). pp. 1159-1168 https://doi.org/10.1145/2207676.2208565Conference paper
A security model for functional active objects with an implementation in Erlang
Fleck, A. and Kammueller, F. 2011. A security model for functional active objects with an implementation in Erlang. in: Ficarra, F., Kratky, A., Veltman, K., Ficarra, M., Nicol, E. and Brie, M. (ed.) Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion Bergamo, Italy Blue Herons.Book chapter
Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol.
Kammueller, F., Mapp, G., Patel, S. and Sani, A. 2012. Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. International Conference on Internet Monitoring and Protection (ICIMP 2012). Stuttgart, Germany 27 May - 01 Jun 2012 Xpert Publishing Service.Conference paper
A formally verified device authentication protocol using Casper/FDR
Aiash, M., Mapp, G., Phan, R., Lasebae, A. and Loo, J. 2012. A formally verified device authentication protocol using Casper/FDR. Min, G., Wu, Y., Liu, L., Jin, X., Jarvis, S. and Al-Dubai, A. (ed.) 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012). Liverpool, UK 25 - 27 Jun 2012 IEEE. pp. 1293-1298 https://doi.org/10.1109/TrustCom.2012.27Conference paper
Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011
Kammueller, F. 2012. Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011. Mathematical Reviews.Article
Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010.
Kammueller, F. 2012. Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. Mathematical Reviews.Article
A locally nameless theory of objects
Henrio, L., Kammueller, F., Lutz, B. and Sudhof, H. 2010. A locally nameless theory of objects. SAFA Annual Workshop on Formal Techniques (SAFA’2010). 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, FranceConference paper
Locally nameless sigma calculus
Henrio, L., Kammueller, F., Lutz, B. and Sudhof, H. 2010. Locally nameless sigma calculus. Archive of Formal Proof.Article
Formalizing statecharts using hierarchical automata
Helke, S. and Kammueller, F. 2010. Formalizing statecharts using hierarchical automata. Archive of Formal Proof.Article
Radius-SHA256 – verified remote authentication with secure hashing.
Kammueller, F. and Patel, S. 2011. Radius-SHA256 – verified remote authentication with secure hashing. First Global Conference on Communication, Science and Information Engineering, CCSIE’11. Middlesex University 25 - 27 Jul 2011Conference paper
ASPfun: a typed functional active object calculus
Henrio, L., Kammueller, F. and Lutz, B. 2012. ASPfun: a typed functional active object calculus. Science of Computer Programming. 77 (7-8), pp. 823-847. https://doi.org/10.1016/j.scico.2010.12.008Article
Application of verification techniques to security: model checking insider attacks
Kammueller, F., Probst, C. and Raimondi, F. 2012. Application of verification techniques to security: model checking insider attacks. 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability. Venice, Italy 28 - 29 Mar 2012 Blue Herons editions.Conference paper
A software based solution to facilitate end to end information supply chain visibility
Khan, N., Silva, S. and Kandl, T. 2012. A software based solution to facilitate end to end information supply chain visibility. Chen, J. and Su, Q. (ed.) 9th IEEE International Conference on Service System and Service Management (ICSSSM, 2012). Shanghai, China IEEE. pp. 850-855 https://doi.org/10.1109/ICSSSM.2012.6252359Conference paper
A survey of potential architectures for communication in heterogeneous networks
Aiash, M., Mapp, G., Lasebae, A., Loo, J., Sardis, F., Phan, R., Augusto, M., Moreira, E. and Vanni, R. 2012. A survey of potential architectures for communication in heterogeneous networks. IEEE Wireless Telecommunications Symposium (WTS 2012). London 18 - 20 Apr 2012 IEEE. pp. 1-6 https://doi.org/10.1109/WTS.2012.6266121Conference paper
Certification or conformance: making a successful commitment to WCAG 2.0
Keith, S., Floratos, N. and Whitney, G. 2012. Certification or conformance: making a successful commitment to WCAG 2.0. Vigo, M., Abascal, J., Lopes, R. and Salomoni, P. (ed.) 9th International Cross-Disciplinary Conference on Web Accessibility. Lyon, France 16 - 17 Apr 2012 New York Association for Computing Machinery (ACM). https://doi.org/10.1145/2207016.2207029Conference paper
Mediation role of boundary objects in articulating common information spaces.
Selvaraj, N. and Fields, B. 2010. Mediation role of boundary objects in articulating common information spaces. Workshop held in conjunction with the 9th International Conference on the Designing Cooperative Systems (COOP 2010). Aix-en-Provence, France 18 - 21 May 2010Conference paper
443173
total views89988
total downloads11177
views this month2845
downloads this month