English
Related papers

Related papers: Trace models of concurrent valuation algebras

200 papers

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

Vector Symbolic Architectures (VSAs) have been widely deployed in various cognitive applications due to their simple and efficient operations. The widespread adoption of VSAs has, in turn, spurred the development of numerous hardware…

Hardware Architecture · Computer Science 2025-11-24 Shuting Du , Mohamed Ibrahim , Zishen Wan , Luqi Zheng , Boheng Zhao , Zhenkun Fan , Che-Kai Liu , Tushar Krishna , Arijit Raychowdhury , Haitong Li

Visual counterfactual explainers (VCEs) are a straightforward and promising approach to enhancing the transparency of image classifiers. VCEs complement other types of explanations, such as feature attribution, by revealing the specific…

Machine Learning · Computer Science 2026-01-13 Sidney Bender , Jan Herrmann , Klaus-Robert Müller , Grégoire Montavon

We present Convolutional Oriented Boundaries (COB), which produces multiscale oriented contours and region hierarchies starting from generic image classification Convolutional Neural Networks (CNNs). COB is computationally efficient,…

Computer Vision and Pattern Recognition · Computer Science 2016-11-17 Kevis-Kokitsi Maninis , Jordi Pont-Tuset , Pablo Arbeláez , Luc Van Gool

Contrastive learning has emerged as a powerful technique in audio-visual representation learning, leveraging the natural co-occurrence of audio and visual modalities in webscale video datasets. However, conventional contrastive audio-visual…

Sound · Computer Science 2025-03-18 Ioannis Tsiamas , Santiago Pascual , Chunghsin Yeh , Joan Serrà

The posterior collapse phenomenon in variational autoencoder (VAE), where the variational posterior distribution closely matches the prior distribution, can hinder the quality of the learned latent variables. As a consequence of posterior…

Machine Learning · Statistics 2024-05-14 Hien Dang , Tho Tran , Tan Nguyen , Nhat Ho

Background: In medical imaging, images are usually treated as deterministic, while their uncertainties are largely underexplored. Purpose: This work aims at using deep learning to efficiently estimate posterior distributions of imaging…

Image and Video Processing · Electrical Eng. & Systems 2023-03-20 Xiaofeng Liu , Thibault Marin , Tiss Amal , Jonghye Woo , Georges El Fakhri , Jinsong Ouyang

Connected Vision Systems (CVS) are transforming a variety of applications, including autonomous vehicles, smart cities, surveillance, and human-robot interaction. These systems harness multi-view multi-camera (MVMC) data to provide enhanced…

Computer Vision and Pattern Recognition · Computer Science 2025-10-14 Muhammad Munsif , Waqas Ahmad , Amjid Ali , Mohib Ullah , Adnan Hussain , Sung Wook Baik

Modeling counterparty risk is computationally challenging because it requires the simultaneous evaluation of all the trades with each counterparty under both market and credit risk. We present a multi-Gaussian process regression approach,…

Computational Finance · Quantitative Finance 2019-10-18 Stéphane Crépey , Matthew Dixon

Elucidating the functional mechanisms of the primary visual cortex (V1) remains a fundamental challenge in systems neuroscience. Current computational models face two critical limitations, namely the challenge of cross-modal integration…

Neurons and Cognition · Quantitative Biology 2024-12-20 Yu Zhu , Bo Lei , Chunfeng Song , Wanli Ouyang , Shan Yu , Tiejun Huang

Recruiters can easily shortlist candidates for jobs via viewing their curriculum vitae (CV) document. Unstructured document CV beholds candidate's portfolio and named entities listing details. The main aim of this study is to design and…

Machine Learning · Computer Science 2023-07-12 Nikhil Verma , Krishna Prasad

Approximate computing frameworks configure applications so they can operate at a range of points in an accuracy-performance trade-off space. Prior work has introduced many frameworks to create approximate programs. As approximation…

Artificial Intelligence · Computer Science 2021-02-18 Saeid Barati , Gordon Kindlmann , Hank Hoffmann

We propose and analyze algorithms for distributionally robust optimization of convex losses with conditional value at risk (CVaR) and $\chi^2$ divergence uncertainty sets. We prove that our algorithms require a number of gradient…

Optimization and Control · Mathematics 2020-12-14 Daniel Levy , Yair Carmon , John C. Duchi , Aaron Sidford

Operator learning, which aims to approximate maps between infinite-dimensional function spaces, is an important area in scientific machine learning with applications across various physical domains. Here we introduce the Continuous Vision…

Machine Learning · Computer Science 2025-02-18 Sifan Wang , Jacob H Seidman , Shyam Sankaran , Hanwen Wang , George J. Pappas , Paris Perdikaris

This is Part II of the two-part comprehensive survey devoted to a computing framework most commonly known under the names Hyperdimensional Computing and Vector Symbolic Architectures (HDC/VSA). Both names refer to a family of computational…

Artificial Intelligence · Computer Science 2023-08-02 Denis Kleyko , Dmitri A. Rachkovskij , Evgeny Osipov , Abbas Rahimi

Cross-validation (CV) is a technique for evaluating the ability of statistical models/learning systems based on a given data set. Despite its wide applicability, the rather heavy computational cost can prevent its use as the system size…

Machine Learning · Statistics 2016-10-26 Yoshiyuki Kabashima , Tomoyuki Obuchi , Makoto Uemura

This report investigates the history and impact of Generative Models and Connected and Automated Vehicles (CAVs), two groundbreaking forces pushing progress in technology and transportation. By focusing on the application of generative…

Machine Learning · Computer Science 2026-04-22 Bo Shu , Yiting Zhang , Saisai Hu , Dong Shu

There are a wide range of applications that involve multi-modal data, such as cross-modal retrieval, visual question-answering, and image captioning. Such applications are primarily dependent on aligned distributions of the different…

Machine Learning · Computer Science 2020-05-26 Vishaal Udandarao , Abhishek Maiti , Deepak Srivatsav , Suryatej Reddy Vyalla , Yifang Yin , Rajiv Ratn Shah

Normalizing flows, autoregressive models, variational autoencoders (VAEs), and deep energy-based models are among competing likelihood-based frameworks for deep generative learning. Among them, VAEs have the advantage of fast and tractable…

Machine Learning · Statistics 2021-01-11 Arash Vahdat , Jan Kautz

Variational Graph Auto-Encoders (VGAEs) have been widely used to solve the node clustering task. However, the state-of-the-art methods have numerous challenges. First, existing VGAEs do not account for the discrepancy between the inference…

Machine Learning · Computer Science 2023-12-29 Nairouz Mrabah , Mohamed Bouguessa , Riadh Ksantini
‹ Prev 1 8 9 10 Next ›