• Restructuring multimodal interaction data for browsing and search 

  LUZ, SATURNINO (CRC Press, 2014)
• A review of Virtualisation and Cloud Computing in Higher Education 

  O'DONNELL, EILEEN (Information Science Reference (an imprint of IGI Global), 2014)
• Bisimulations for Communicating Transactions (Extended Abstract) 

  HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS; Spaccasassi, Carlo (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 

  Klaussner, Carmen; Lynch, Gerard; Vogel, Carl (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 

  VOGEL, CARL (2014)
• Style-based distance features for author profiling - Notebook for PAN at CLEF 2013 

  VOGEL, CARL (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. 

  VOGEL, CARL (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 ...
• Author Verification: Exploring a Large set of Parameters using a Genetic Algorithm - Notebook for PAN at CLEF 2014 

  VOGEL, CARL (2014)
• Limitations of MT Quality Estimation Supervised Systems: The Tails Prediction Problem 

  Moreau, Erwan; Vogel, Carl (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 

  MAMANI SANCHEZ, LILIANA; VOGEL, CARL (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 

  FEENEY, KEVIN CHEKOV; O'SULLIVAN, DECLAN; BRENNAN, ROB (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 

  CAMPBELL, NICK; KENNY, EAMONN (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 

  Curn, Jan

  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 

  LONGO, LUCA (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 

  CLARKE, SIOBHAN (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 

  CLARKE, SIOBHAN (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 

  BUTTERFIELD, ANDREW (Springer, 2014)
• UTP2: Higher-Order Equational Reasoning by Pointing 

  BUTTERFIELD, ANDREW (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 

  BONIN, FRANCESCA; VOGEL, CARL (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 

  SHARP, MARY; WADE, VINCENT PATRICK; O'DONNELL, EILEEN (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 ...

View more