Computer Science (Scholarly Publications): Recent submissions
Now showing items 381-400 of 1420
-
Usability Testing of Video Game Controllers: A Case Study
(A K Peters/CRC Press, 2016)This chapter presents an investigation that compares the performance of game controllers in two-dimensional pointing tasks as defined in the international standard that specifies the requirements for nonkeyboard input ... -
HCI and Affective Health: Taking stock of a decade of studies and charting future research directions
(ACM, 2019)In the last decade, the number of articles on HCI and health has increased dramatically. We extracted 139 papers on depression, anxiety and bipolar health issues from 10 years of SIGCHI conference proceedings. 72 of these ... -
Towards a model-checker for circus
(2019)Among several approaches aiming at the correctness of systems, model-checking is one technique to formally assess system models regarding their desired/undesired behavioural properties. We aim at model-checking the Open ... -
Circus2CSP: A tool for model-checking circus using FDR
(2019)In this paper, we introduce Circus2CSP, a tool that automatically translates Circus into 𝐶𝑆𝑃𝑀, with an implementation based on a published manual translation scheme. This scheme includes new and modified translation ... -
The Inner and Outer Algebras of Unified Concurrency
(2019)Algebras have always played a critical role in Unifying Theories of Programming, especially in their role in providing the "laws" of programming. The algebraic laws form a triad with two other forms, namely operational ... -
Saoithín: A Theorem Prover for UTP
(Springer, 2010)Saoithín is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and “programs as ... -
Gender Differences in Online Dating Experiences
(Institute of Network Cultures, 2019) -
Semantic Data Ingestion for Big Data Value-Driven Intelligent Analytics
(IEEE, 2018)In this position paper we describe a conceptualmodel for intelligent Big Data analytics based on both semanticand machine learning AI techniques (called AI ensembles). Theseprocesses are linked to business outcomes ... -
Dacura: A new solution to data harvesting and knowledge extraction for the historical sciences
(2018)New advances in computer science address problems historical scientists face in gathering and evaluating the now vast data sources available through the Internet. As an example we introduce Dacura, a dataset curation ... -
Automatic Extraction of Data Governance Knowledge from Slack Chat Channels
(2018)This paper describes a data governance knowledge extraction prototype for Slack channels based on an OWL ontology abstracted from the Collibra data governance operating model and the application of statistical techniques ... -
BMCProtector: A Blockchain and Smart Contract Based Application for Music Copyright Protection
(2018)n this paper, we explore the design and construct a prototype implementation of an Ethereum application, BMCProtector, which is based on Blockchain and Smart Contract technology, to protect music copyright and ensure rights ... -
Analysis and Insights from the PARSEME Shared Task dataset
(Language Science Press, 2018)The PARSEME Shared Task on the automatic identification of verbal multiword expressions (VMWEs) was the first collaborative study on the subject to cover a wide and diverse range of languages. One observation that emerged ... -
Semantic reranking of CRF label sequences for verbal multiword expression identification
(Language Science Press, 2018)Verbal multiword Expressions (VMWE) identification can be addressed successfully as a sequence labelling problem via conditional random fields (CRFs) by returning the one label sequence with maximal probability. This work ... -
Reconciling immersion and presence: Locative game mechanics and narrative techniques for cultural heritage
(IEEE, 2017)Locative gaming dates back to the early 2000s, and with the success of Ingress (2012) and Pokémon GO (2016), locative games have now entered the mainstream in a very serious way. However, while the genre holds considerable ... -
Investigating the use of recurrent motion modelling for speech gesture generation
(2018)The growing use of virtual humans demands generating increasingly realistic behavior for them while minimizing cost and time. Gestures are a key ingredient for realistic and engaging virtual agents and consequently automatized ... -
Method and system for recovery of 3D scene structure and camera motion from a video sequence
(USPTO, USPTO, 2015)An improved method and a system are disclosed for recovering a three-dimensional (3D) scene structure from a plurality of two-dimensional (2D) image frames obtained from imaging means. Sets of 2D features are extracted ... -
The Impact of Structured Incentives on the Adoption of a Serious Game for Hand Hygiene Training in a Hospital Setting.
(IOS Press, 2016)Hand hygiene is recognized by the CDC as the most effective method of preventing Hospital Acquired Infections (HAIs) which cost the US healthcare system $14 Billion. However, training and promotion of hand hygiene ... -
Experts vs. novices: applying eye-tracking methodologies in colonoscopy video screening for polyp search
(ACM, 2014)We present in this paper a novel study aiming at identifying the differences in visual search patterns between physicians of diverse levels of expertise during the screening of colonoscopy videos. Physicians were clustered ...
