Browsing Electronic Engineering and Computer Science by Title
Now showing items 3048-3067 of 3178
-
v2c - A Verilog to C Translator
(2016) -
Vacuum ultraviolet photoabsorption spectroscopy of space-related ices: Formation and destruction of solid carbonic acid upon 1 keV electron irradiation
(The European Southern Observatory, 2020-12-31) -
Validating IoT Devices with Rate-Based Session Types
(Association for Computing Machinery (ACM), 2023)We develop a session types based framework for implementing and validating rate-based message passing systems in Internet of Things (IoT) domains. To model the indefinite repetition present in many embedded and IoT systems, ... -
Variation in QoE of Passive Gaming Video Streaming for Different Packet Loss Ratios
(IEEE, 2020)The rise in popularity of the streaming platforms for gaming videos like Twitch.tv results in more users watching and streaming gaming videos passively. These streaming videos show great dependence on Quality of Service ... -
Variational Bayesian Learning for Dirichlet Process Mixture of Inverted Dirichlet Distributions in Non-Gaussian Image Feature Modeling
(Institute of Electrical and Electronics Engineers, 2018-07-02) -
Vehicle Re-identification in Context
(2019-01-01)© 2019, Springer Nature Switzerland AG. Existing vehicle re-identification (re-id) evaluation benchmarks consider strongly artificial test scenarios by assuming the availability of high quality images and fine-grained ... -
VERGE in VBS 2017
(2017) -
VERGE: A Multimodal Interactive Search Engine for Video Browsing and Retrieval.
(Springer, 2016)This paper presents VERGE interactive search engine, which is capable of browsing and searching into video content. The system integrates content-based analysis and retrieval modules such as video shot segmentation, concept ... -
Verification Witnesses
(Association for Computing Machinery, 2022)Over the last years, witness-based validation of verification results has become an established practice in software verification: An independent validator re-establishes verification results of a software verifier using ... -
Versatile and active THz wave polarization modulators using metamaterial/graphene resonators
(Frontiers Media, 2023-01-31)Active modification of the polarization state is a key feature for the next-generation of wireless communications, sensing, and imaging in the THz band. The polarization modulation performance of an integrated metamateri ... -
Versican-A Critical Extracellular Matrix Regulator of Immunity and Inflammation.
(2020)The extracellular matrix (ECM) proteoglycan, versican increases along with other ECM versican binding molecules such as hyaluronan, tumor necrosis factor stimulated gene-6 (TSG-6), and inter alpha trypsin inhibitor (IαI) ... -
VIDEO AESTHETIC QUALITY ASSESSMENT USING KERNEL SUPPORT VECTOR MACHINE WITH ISOTROPIC GAUSSIAN SAMPLE UNCERTAINTY (KSVM-IGSU)
(IEEE, 2016)In this paper we propose a video aesthetic quality assessment method that combines the representation of each video according to a set of photographic and cinematographic rules, with the use of a learning method that takes ...