RSS 1.0Computer Science (Scholarly Publications)
Browse by
Recent Submissions
-
Taboo Semantics
(IEEE, 2014) -
Restructuring multimodal interaction data for browsing and search
(CRC Press, 2014) -
A review of Virtualisation and Cloud Computing in Higher Education
(Information Science Reference (an imprint of IGI Global), 2014) -
Bisimulations for Communicating Transactions (Extended Abstract)
(Springer Berlin Heidelberg, 2014)We develop a theory of bisimulations for a simple language containing communicating transactions, obtained by dropping the isolation requirement of standard transactions. Such constructs have emerged as a useful programming ... -
Following the Trail of Source Languages in Literary Translations
(Springer, 2014)We build on past research in distinguishing English translations from originally English text, and in guessing the source language where the text is deemed to be a translation. We replicate an extant method in relation to ... -
Denoting Offence
(2014) -
Style-based distance features for author profiling - Notebook for PAN at CLEF 2013
(2013)In this paper we present the approach we took in our participation to the PAN 2013 Author Profiling task. It is an adaptation of our system submitted for author identification, assuming that a profile category (authors ... -
Style-based distance features for author verification - Notebook for PAN at CLEF 2013.
(2013)In this paper we present the approach we took in our participation to the PAN 2013 Author Identification task. It relies on a complex process to se- lect the features which represent the author’s writing, using potentially ... -
Limitations of MT Quality Estimation Supervised Systems: The Tails Prediction Problem
(Association for Computational Linguistics, 2014)In this paper we address the question of the reliability of the predictions made by MT Quality Estimation (QE) systems. In particular, we show that standard supervised QE systems, usually trained to minimize MAE, make ... -
Emoticons Signal Expertise in Technical Web Forums
(Springer, 2013)Past research has demonstrated intercultural differences in emoticon use with effects of the topic of discourse (e.g. science vs. politics) interacting with the culture of online postings (e.g. UK, Italy, Sweden, Germany). ... -
Consumer Managed Federated Homes
(2014)There are emerging opportunities for distributed, composite services, based on the combination of smart homes, networked consumer devices, third-party services, and social, geographical or commercial collaborations. However, ... -
MILLA A Multimodal Interactive Language Agent
(2014)We describe the motivation behind, design, and implementation of MILLA, a prototype speech - to -speech English language tutoring system -
A Formalised, Taxonomy-Driven Approach to Cross-Layer Application Adaptation
(2012)Advances in pervasive technology have made it possible to consider large-scale application types that potentially span heterogeneous organisations, technologies and device types. This class of application will have a ... -
Self-Organising Algorithms for Residential Demand Response
(IEEE, 2014)Residential Demand Response has shown promising results in smart grid applications. It can be achieved manually or autonomously. The variety of algorithms applied to achieve autonomous Demand Response have lacked a ... -
Separation Kernel Verification: The XtratuM Case Study
(Springer, 2014) -
UTP2: Higher-Order Equational Reasoning by Pointing
(2014)We describe a prototype theorem prover, U.(TP)2, developed to match the style of hand-written proof work in the Unifying Theories of Programming semantical framework. This is based on alphabetised predicates in a 2nd-order ... -
Time for laughter
(2014)Social signals are integral to conversational interaction and constitute a large part of the social dynamics of multiparty communication. Moreover, social signals may also have a function in discourse structure. We focus ... -
Personalised E-Learning: The assessment of students' prior knowledge in Higher Education
(IGI Global, 2014)Society’s use of mobile applications that instantaneously dynamically adapt to input has had the effect of users expecting immediate feedback from all applications based on their specific needs. The traditional concept ... -
ICT 4 the MDGs? A Perspective on ICT's Role in Addressing Urban Poverty in the Context of the Millennium Development Goals.
(2013)Since the year 2000, the Millennium Development Goals (MDGs) have anchored efforts to combat global poverty. As we near 2015, this article assesses ICTs’ role in reaching the goals, with an emphasis on urban poverty. Over ...