Computer Science (Scholarly Publications): Recent submissions
Now showing items 681-700 of 1420
-
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 ... -
Run-time Validation of Behavioral Adaptations
(ACM, 2014) -
A Localization Method based on the Helmholtz Reciprocity Theorem
(2014)A localization method for a non-cooperative transmitter based on the Helmholtz Reciprocity Theorem is presented here. The localization method necessitates a propagation model capable of predicting large-scale fading ... -
A Parallel Implementation of the Electric Field Integral Equation for an Arbitrary Terrain Profile
(2014)In this paper a parallel implementation of the Electric Field Integral Equation is introduced. By this means, the otherwise slow computation time of signal coverage over terrain can be cut to an arbitrarily small figure ... -
Implementing the Draft W3C Semantic Sensor Network Ontology
(multicon verlag and IEEE Xplore, 2010)This paper examines the feasibility of using ontologies to model generic sensor networks, based on the capabilities of the current generation of ontology tools. The creation of such an ontology, the current tool’s ... -
Anonymous FreeSpeech
(2014)In public and private discourse, some may be heard to express disquiet about the supposed dangers of anonymity. Anonymous suggestion boxes may be classed with anonymous accusation of crime with the accusation forming the ... -
PPPJ Special Issue - Foreword
(2009) -
A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages
(2015)The number of programming languages is large [1] and steadily increasing [2]. However, little structured information and empirical evidence is available to help software engineers assess the suitability of a language for ...
