Computer Science (Scholarly Publications): Recent submissions
Now showing items 721-740 of 1420
-
Multimodal Conformity of Expression between Blog Names and Content
(IEEE, 2013)Using a sentiment lexicon for German translated into English, Italian, Spanish and Swedish, Tumblr URL names for blog archives are inspected with regard to the category of the content. Across the five languages, where the ... -
Internationalization Tag Set (ITS) Version 2.0
(2013)The technology described in this document ?Internationalization Tag Set (ITS) 2.0? enhances the foundation to integrate automated processing of human language into core Web technologies. ITS 2.0 bears many commonalities ... -
First-Order Reasoning for Higher-Order Concurrency.
(2012)We present a practical first-order theory of a higher-order pi-calculus which is both sound and complete with respect to a standard semantic equivalence. The theory is a product of combining and simplifying two of the most ... -
Towards Efficient Abstractions for Concurrent Consensus
(Springer Berlin Heidelberg, 2013)Consensus is an often occurring problem in concurrent and distributed programming. We present a programming language with simple semantics and build-in support for consensus in the form of communicating transactions. We ... -
Reverse Hoare Logic
(Springer Berlin Heidelberg, 2011)We present a novel Hoare-style logic, called Reverse Hoare Logic, which can be used to reason about state reachability of imperative programs. This enables us to give natural specifications to randomized (deterministic or ... -
A Testing Theory for a Higher-Order Cryptographic Language
(Springer Berlin Heidelberg, 2011)We study a higher-order concurrent language with cryptographic primitives, for which we develop a sound and complete, first-order testing theory for the preservation of safety properties. Our theory is based on co-inductive ... -
From Applicative to Environmental Bisimulation
(Elsevier, 2011) -
Personalisation, Empowering the Playful, The Social Media Cloud
(2013)Abstract. Beyond the Cloud? It is easy to forget that the majority of humanity is not Cloud-included; indeed most are already beyond the Cloud. To be precise they have never, and will never be part of this thing we call ... -
The Naïve Ontologist and "Intelligent" Story Telling
(University of Sofia, 2013)Semantic Search has become, that is to say been re-discovered to be, the key theme for Intelligent Systems in 2012. No humans need apply. Semantic search, as Tim Berners-Lee predicted in his seminal little book on the World ... -
Digital Spaces in "Popular" Culture Ontologized
(2012)Electronic publication seems to have the biased connotation of a one-way delivery system from the source to the masses. It originates within the ?Push culture.? Specifically, it triggers the notion of (a small number of) ... -
Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract)
(2013)We study the behavioural theory of a higher-order distributed calculus with private names and locations that can be passivated. For this language, we present a novel Labelled Transition System where higher-order inputs are ... -
Stratus: Load Balancing the Cloud for Carbon Emissions Control.
(2013)Large public cloud infrastructure can utilise power which is generated by a multiplicity of power plants. The cost of electricity will vary among the power plants and each will emit different amounts of carbon for a given ... -
Evaluating the Effect of Emotion on Gender Recognition in Virtual Humans
(2013)In this paper, we investigate the ability of humans to determine the gender of conversing characters, based on facial and body cues for emotion. We used a corpus of simultaneously captured facial and body motions from four ... -
Emotion Capture: Emotionally Expressive Characters for Games
(2013)It has been shown that humans are sensitive to the portrayal of emotions for virtual characters. However, previous work in this area has often examined this sensitivity using extreme examples of facial or body animation. ... -
Automatic Identification of Experts and Performance Prediction in the Multimodal Math Data Corpus through Analysis of Speech Interaction
(ACM Press, 2013)An analysis of multiparty interaction in the problem solving sessions of the Multimodal Math Data Corpus is presented. The analysis focuses on non-verbal cues extracted from the audio tracks. Algorithms for expert ... -
Disease surveillance and patient care in remote regions: an exploratory study of collaboration among healthcare professionals in Amazonia
(2013)The development and deployment of information technology, particularly mobile tools, to support collaboration between different groups of healthcare professionals has been viewed as a promising way to improve disease ... -
Temporal Dependence in Legal Documents
(Springer, 2013)Tasks and difficulties inherent in the largely open problem of temporal information extraction from legal text are outlined. We demonstrate the efficacy of tools and concepts available ?off-the-shelf? and suggest refinements ... -
Found in translation: Computational discovery of translation effects
(2013)We describe translation effects that have been studied in the the automated text classification literature. We expand on a point within this research space, quality effects, with our own work in this area. We present an ... -
Challenges encountered in creating personalised learning activities to suit students learning preferences
(Information Science Reference (an imprint of IGI Global), 2013)This book chapter reviews some of the challenges encountered by educators in creating personalised e-learning activities to suit students learning preferences. Technology-enhanced learning (TEL) alternatively known as ...
