Computer Science: Recent submissions
Now showing items 1101-1120 of 2149
-
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 -
Correlated Estimation Problems and the Ensemble Kalman Filter
The Kalman flter is a recursive algorithm that estimates the state of a linear dynamical system from a sequence of noisy sensor measurements. Due to its relative simplicity, numerical efficiency and optimality, the Kalman ... -
Formalising Human Mental Workload as a Defeasible Computational Concept
(Trinity College Dublin, 2014)Human mental workload has gained importance, in the last few decades, as a fundamental design concept in human-computer interaction. It can be intuitively defined as the amount of mental work necessary for a person to ... -
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 ...
