Browsing Electronic Engineering and Computer Science by Title
Now showing items 3374-3387 of 3387
-
The Z Property
(2016-06-30)We formalize the Z property introduced by Dehornoy and van Oostrom. First we show that for any abstract rewrite system, Z implies confluence. Then we give two examples of proofs using Z: confluence of lambda-calculus with ... -
Zero-CPU Collection with Direct Telemetry Access
(2021-11-10)Programmable switches are driving a massive increase in fine-grained measurements. This puts significant pressure on telemetry collectors that have to process reports from many switches. Past research acknowledged this ... -
Zero-shot Singing Technique Conversion
(CMMR 2021 Organizing Committee, Japan, 2021-11-15)In this paper we propose modifications to the neural network framework, AutoVC for the task of singing technique conversion. This includes utilising a pretrained singing technique encoder which extracts technique information, ... -
Zero-Shot Video Moment Retrieval from Frozen Vision-Language Models
(IEEE, 2024-01-01)Accurate video moment retrieval (VMR) requires universal visual-textual correlations that can handle unknown vocabulary and unseen scenes. However, the learned correlations are likely either biased when derived from a ... -
The Zero-Sum Fallacy in Evidence Evaluation.
(2019-02)There are many instances, both in professional domains such as law, forensics, and medicine and in everyday life, in which an effect (e.g., a piece of evidence or event) has multiple possible causes. In three experiments, ... -
Zero‐trust‐based security model against data breaches in the banking sector: A blockchain consensus algorithm
(Wiley Open Access, 2023-03-23) -
Όλοι: music making to scaffold social playful activities and self-regulation
(2020-07-15)We present Olly, a musical textile tangible user interface (TUI) designed around the observations of a group of five children with autism who like music. The intention is to support scaffolding social interactions and ...
