Computer Science: Recent submissions
Now showing items 501-520 of 2149
-
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 ... -
VAMP – a vision based sensor network for health care hygiene
(Springer, Berlin, Heidelberg, 2008)Adequate hand-washing has been shown to be a critical activity in preventing the transmission of infections such as MRSA in health-care environments. Hand-washing guidelines published by various health-care related ... -
Eye-tracking for efficient database labelling: Applications to automatic analysis of colonoscopy video
(2007)In this paper we present our preliminary results in the automatic analysis of colonoscopy video using eye-tracking. We propose that eye-tracking can be successfully applied to solve different problems in computer assisted ... -
Method and System for Guiding a Vehicle
(USPTO, USPTO, 2005)Movement of a vehicle such as a boat (30) is guided by dynamically monitoring parameters and generating instructions for the operator. The instructions are at a level to attain a number of Sub-goals to reach a goal ... -
Guido, the Robotic SmartWalker for the frail visually impaired
(2005)Guido is a healthcare robot that serves as support and navigation aid for the frail and visually impaired. Many robotic technologies are implemented in Guido to let it achieve its task: Simultaneous Localization and Map ... -
The Design and Implementation of Lego Volleyball Robots.
(Trinity College Dublin, 1999)The aim of the LEGO robot project was to develop a team of robots to compete in a scaled down version of volleyball. The competition was held in Sheffield, as part of the British Association for Science Annual exhibition, ...
