English
Related papers

Related papers: Compositional Shape Analysis with Shared Abduction…

200 papers

Transformer-based deep learning models have shown promise for disease risk prediction using electronic health records(EHRs), but modeling temporal dependencies remains a key challenge due to irregular visit intervals and lack of uniform…

Machine Learning · Computer Science 2025-11-10 Daniel S. Lee , Mayra S. Haedo-Cruz , Chen Jiang , Oshin Miranda , LiRong Wang

We introduce an efficient combination of polyhedral analysis and predicate partitioning. Template polyhedral analysis abstracts numerical variables inside a program by one polyhedron per control location, with a priori fixed directions for…

Logic in Computer Science · Computer Science 2014-10-06 David Monniaux , Peter Schrammel

Pretrained language models have achieved remarkable success in natural language understanding. However, fine-tuning pretrained models on limited training data tends to overfit and thus diminish performance. This paper presents Bi-Drop, a…

Computation and Language · Computer Science 2023-10-24 Shoujie Tong , Heming Xia , Damai Dai , Runxin Xu , Tianyu Liu , Binghuai Lin , Yunbo Cao , Zhifang Sui

In this work, we have investigated various style transfer approaches and (i) examined how the stylized reconstruction changes with the change of loss function and (ii) provided a computationally efficient solution for the same. We have used…

Computer Vision and Pattern Recognition · Computer Science 2018-07-17 Ram Krishna Pandey , Samarjit Karmakar , A G Ramakrishnan

Unsupervised style transfer models are mainly based on an inductive learning approach, which represents the style as embeddings, decoder parameters, or discriminator parameters and directly applies these general rules to the test cases.…

Computation and Language · Computer Science 2021-09-17 Fei Xiao , Liang Pang , Yanyan Lan , Yan Wang , Huawei Shen , Xueqi Cheng

Leveraging deep learning for causal discovery in time series remains challenging because existing neural methods predominantly rely on component-wise architectures that fail to capture shared system dynamics or employ decoupled post-hoc…

Machine Learning · Computer Science 2026-05-11 Omar Muhammad , Pasupuleti Dhruv Shivkant , Deepak N. Subramani

In this growing age of data and technology, large black-box models are becoming the norm due to their ability to handle vast amounts of data and learn incredibly complex data patterns. The deficiency of these methods, however, is their…

Machine Learning · Computer Science 2026-04-09 Justin Lin , Julia Fukuyama

Motif extraction is an important task in motif based molecular representation learning. Previously, machine learning approaches employing either rule-based or string-based techniques to extract motifs. Rule-based approaches may extract…

Quantitative Methods · Quantitative Biology 2023-12-27 Zhaoning Yu , Hongyang Gao

Since most of music has repetitive structures from motifs to phrases, repeating musical ideas can be a basic operation for music composition. The basic block that we focus on is conceptualized as loops which are essential ingredients of…

Sound · Computer Science 2022-11-01 Sangjun Han , Hyeongrae Ihm , Moontae Lee , Woohyung Lim

How to effectively interact audio with vision has garnered considerable interest within the multi-modality research field. Recently, a novel audio-visual segmentation (AVS) task has been proposed, aiming to segment the sounding objects in…

Computer Vision and Pattern Recognition · Computer Science 2024-02-07 Tianxiang Chen , Zhentao Tan , Tao Gong , Qi Chu , Yue Wu , Bin Liu , Le Lu , Jieping Ye , Nenghai Yu

Abstraction and realization are bilateral processes that are key in deriving intelligence and creativity. In many domains, the two processes are approached through rules: high-level principles that reveal invariances within similar yet…

Machine Learning · Computer Science 2018-03-13 Haizi Yu , Tianxi Li , Lav R. Varshney

Bidirectional models are considered essential for strong text embeddings. Recent approaches to adapt autoregressive language models (LMs) into strong text embedding models have largely had the requirement to modify the LM architecture to be…

Computation and Language · Computer Science 2025-09-09 Jacob Mitchell Springer , Suhas Kotha , Daniel Fried , Graham Neubig , Aditi Raghunathan

Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi-decision procedure. Finite SLD-computations are inductively sound and complete with respect to least Herbrand models…

Logic in Computer Science · Computer Science 2017-05-05 Ekaterina Komendantskaya , Patricia Johann , Martin Schmidt

This paper considers an inverse shape problem for recovering an unknown clamped obstacle in two dimensions from far--field measurements generated by a single incident wave or just a few incident waves for the biharmonic (flexural) wave…

Analysis of PDEs · Mathematics 2026-05-13 Isaac Harris , General Ozochiawaeze

Swept volume computation, the determination of regions occupied by moving objects, is essential in graphics, robotics, and manufacturing. Existing approaches either explicitly track surfaces, suffering from robustness issues under complex…

Computational Geometry · Computer Science 2025-09-12 Pengfei Wang , Yuexin Yang , Shuangmin Chen , Shiqing Xin , Changhe Tu , Wenping Wang

Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…

Logic in Computer Science · Computer Science 2024-02-05 Junyoung Jang , Sophia Roshal , Frank Pfenning , Brigitte Pientka

AB testing aids business operators with their decision making, and is considered the gold standard method for learning from data to improve digital user experiences. However, there is usually a gap between the requirements of practitioners,…

Machine Learning · Computer Science 2023-07-28 Srivas Chennu , Andrew Maher , Christian Pangerl , Subash Prabanantham , Jae Hyeon Bae , Jamie Martin , Bud Goswami

Data assimilation performance can be significantly impacted by biased noise in observations, altering the signal magnitude and introducing fast oscillations or discontinuities when the system lacks smoothness. To mitigate these issues, this…

Numerical Analysis · Mathematics 2024-11-05 Felipe Galarce , Joaquin Mura , Alfonso Caiazzo

Learning compact and interpretable representations is a very natural task, which has not been solved satisfactorily even for simple binary datasets. In this paper, we review various ways of composing experts for binary data and argue that…

Computer Vision and Pattern Recognition · Computer Science 2016-11-01 Marc Goessling , Yali Amit

A bi-level optimization framework (BiOPT) was proposed in [3] for convex composite optimization, which is a generalization of bi-level unconstrained minimization framework (BLUM) given in [20]. In this continuation paper, we introduce a…

Optimization and Control · Mathematics 2021-09-28 Masoud Ahookhosh , Yurii Nesterov