Computer Science: Recent submissions
Now showing items 1141-1160 of 2149
-
An XG-PON Module for the NS-3 Network Simulator
(2013)10-Gigabit-capable Passive Optical Network (XG-PON), one of the latest standards of optical access networks, is regar ded as one of the key technologies for future Internet access net - works. In this paper, we propose ... -
Cyclostationary signatures for LTE Advanced and beyond
(2014)Long Term Evolution (LTE) Advanced is the next generation of the LTE standard, offering peak data rates of up to 1 Gbps using up to 100 MHz of spectrum. A key mechanism in achieving this is carrier aggregation (CA) whereby ... -
The CULTURA Portal: Exploring Cultural Treasures
(2013)This paper introduces the CULTURA system which is pioneering the next generation of online tools for interacting with the cultural treasures of Eu- rope. An overview of the architecture is presented which highlights some ... -
Fostering Interaction with Cultural Heritage Material via Annotations: The FAST-CAT Way
(Springer, Berlin Heidelberg, 2013)This paper describes the innovative annotation facilities of the CULTURA portal for digital humanties, which are aimed at improving the interaction of non specialist users and general public with cultural heritage contents. ... -
Utilizing Social Networks for User Model Priming: User Attitudes
(2013)Research on user modeling based on social network information has shown that some user characteristics can be accurately inferred from users? digital traces. This kind of information can be used to inform user models ... -
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. ...
