English
Related papers

Related papers: Weak Affine Light Typing: Polytime intensional exp…

200 papers

Weak supervision (WS) is an alternative to the traditional supervised learning to address the need for ground truth. Data programming is a practical WS approach that allows programmatic labeling data samples using labeling functions (LFs)…

Machine Learning · Computer Science 2022-04-14 Gürkan Solmaz , Flavio Cirillo , Fabio Maresca , Anagha Gode Anil Kumar

Real-world scenarios are characterized by timing uncertainties, e.g., delays, and disturbances. Algorithms with temporal robustness are crucial in guaranteeing the successful execution of tasks and missions in such scenarios. We study…

Systems and Control · Electrical Eng. & Systems 2024-03-19 Nhan-Khanh Le , Erfaun Noorani , Sandra Hirche , John Baras

Context-dependent rewrite rules are used in many areas of natural language and speech processing. Work in computational phonology has demonstrated that, given certain conditions, such rewrite rules can be represented as finite-state…

cmp-lg · Computer Science 2008-02-03 Mehryar Mohri , Richard Sproat

We propose Weighted Guarded Kleene Algebra with Tests (wGKAT), an uninterpreted weighted programming language equipped with branching, conditionals, and loops. We provide an operational semantics for wGKAT using a variant of weighted…

Logic in Computer Science · Computer Science 2025-04-30 Spencer Van Koevering , Wojciech Różowski , Alexandra Silva

Affine frequency division multiplexing (AFDM) has recently emerged as a resilient waveform candidate for high-mobility next-generation wireless systems. However, current literature mostly focuses on discrete time (DT) models, often…

Signal Processing · Electrical Eng. & Systems 2026-03-06 Michele Mirabella , Hyeon Seok Rou , Pasquale Di Viesti , Giuseppe Thadeu Freitas de Abreu , Giorgio Matteo Vitetta

This study addresses the challenge of integrating complex, high-dimensional deep semantic features with simple, interpretable structural cues for lyrical content classification. We introduce a novel Synergistic Fusion Layer (SFL)…

Machine Learning · Computer Science 2025-11-18 M. A. Gameiro

We consider weakly supervised segmentation where only a fraction of pixels have ground truth labels (scribbles) and focus on a self-labeling approach optimizing relaxations of the standard unsupervised CRF/Potts loss on unlabeled pixels.…

Computer Vision and Pattern Recognition · Computer Science 2025-07-03 Zhongwen Zhang , Yuri Boykov

We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…

Logic in Computer Science · Computer Science 2015-02-23 Andrew Polonsky

This paper introduces Modular Linear Tokenization (MLT), a reversible and deterministic technique for encoding high-cardinality categorical identifiers into compact numerical vectors. Unlike traditional hashing or one-hot encodings, MLT…

Machine Learning · Computer Science 2025-10-31 Tcharlies Schmitz

Weak value amplification (WVA) is a concept that has been extensively used in a myriad of applications with the aim of rendering measurable tiny changes of a variable of interest. In spite of this, there is still an on-going debate about…

Quantum Physics · Physics 2015-08-14 Juan P. Torres , Luis Jose Salazar-Serrano

Transformer-based approaches have revolutionized image super-resolution by modeling long-range dependencies. However, the quadratic computational complexity of vanilla self-attention mechanisms poses significant challenges, often leading to…

Computer Vision and Pattern Recognition · Computer Science 2026-04-13 Dinh Phu Tran , Thao Do , Saad Wazir , Seongah Kim , Seon Kwon Kim , Daeyoung Kim

Weak value amplification (WVA) is a metrological protocol that amplifies ultra-small physical effects. However, the amplified outcomes necessarily occur with highly suppressed probabilities, leading to the extensive debate on whether the…

Quantum Physics · Physics 2020-08-19 Liang Xu , Zexuan Liu , Animesh Datta , George C. Knee , Jeff S. Lundeen , Yan-qing Lu , Lijian Zhang

We present a learning-based approach to relight a single image of Lambertian and low-frequency specular objects. Our method enables inserting objects from photographs into new scenes and relighting them under the new environment lighting,…

Computer Vision and Pattern Recognition · Computer Science 2023-03-27 Renjiao Yi , Chenyang Zhu , Kai Xu

Functional programs typically interact with stateful libraries that hide state behind typed abstractions. One particularly important class of applications are data structure implementations that rely on such libraries to provide a level of…

Programming Languages · Computer Science 2024-09-30 Zhe Zhou , Qianchuan Ye , Benjamin Delaware , Suresh Jagannathan

We report a quantitative evaluation of weak-value amplification (WVA) for longitudinal phase measurements using Allan variance analysis. Building on a recent double-slit interferometry experiment with real weak values [Phys. Rev. Lett. 134,…

Quantum Physics · Physics 2026-03-25 Jing-Hui Huang , Xiang-Yun Hu

Few-shot adaptation of vision-language models remains fundamentally limited by how negative class signals are handled at inference. Existing methods apply uniform negative suppression across all queries, ignoring that the most damaging…

Computer Vision and Pattern Recognition · Computer Science 2026-05-26 Sriram Mandalika

Partial label learning (PLL) is a class of weakly supervised learning where each training instance consists of a data and a set of candidate labels containing a unique ground truth label. To tackle this problem, a majority of current…

Machine Learning · Computer Science 2021-02-09 Junghoon Seo , Joon Suk Huh

Noisy partial label learning (noisy PLL) is an important branch of weakly supervised learning. Unlike PLL where the ground-truth label must conceal in the candidate label set, noisy PLL relaxes this constraint and allows the ground-truth…

Computer Vision and Pattern Recognition · Computer Science 2023-05-19 Mingyu Xu , Zheng Lian , Lei Feng , Bin Liu , Jianhua Tao

Long-tailed semi-supervised learning (LTSSL) presents a formidable challenge where models must overcome the scarcity of tail samples while mitigating the noise from unreliable pseudo-labels. Most prior LTSSL methods are designed to train…

Machine Learning · Computer Science 2026-04-09 Zhiyuan Huang , Jiahao Chen , Bing Su

The rapid evolution of malware variants requires robust classification methods to enhance cybersecurity. While Large Language Models (LLMs) offer potential for generating malware descriptions to aid family classification, their utility is…

Cryptography and Security · Computer Science 2025-05-01 Ivan Montoya Sanchez , Shaswata Mitra , Aritran Piplai , Sudip Mittal