English
Related papers

Related papers: Real Differences between OT and CRDT in Correctnes…

200 papers

Measuring sentence similarity is a classic topic in natural language processing. Light-weighted similarities are still of particular practical significance even when deep learning models have succeeded in many other tasks. Some…

Computation and Language · Computer Science 2020-02-04 Zihao Wang , Yong Zhang , Hao Wu

Aligning Diffusion models has achieved remarkable breakthroughs in generating high-quality, human preference-aligned images. Existing techniques, such as supervised fine-tuning (SFT) and DPO-style preference optimization, have become…

Computer Vision and Pattern Recognition · Computer Science 2026-03-20 Zening Sun , Zhengpeng Xie , Lichen Bai , Shitong Shao , Shuo Yang , Zeke Xie

The success of most existing cross-modal retrieval methods heavily relies on the assumption that the given queries follow the same distribution of the source domain. However, such an assumption is easily violated in real-world scenarios due…

Machine Learning · Computer Science 2024-10-22 Haobin Li , Peng Hu , Qianjun Zhang , Xi Peng , Xiting Liu , Mouxing Yang

For reliable deployment of deep-learning systems, out-of-distribution (OOD) detection is indispensable. In the real world, where test-time inputs often arrive as streaming mixtures of in-distribution (ID) and OOD samples under evolving…

Computer Vision and Pattern Recognition · Computer Science 2026-03-18 Wooseok Lee , Jin Mo Yang , Saewoong Bahk , Hyung-Sin Kim

Dwell time (DT) is a critical post-click metric for evaluating user preference in recommender systems, complementing the traditional click-through rate (CTR). Although multi-task learning is widely adopted to jointly optimize DT and CTR, we…

Information Retrieval · Computer Science 2025-08-25 Huishi Luo , Fuzhen Zhuang , Yongchun Zhu , Yiqing Wu , Bo Kang , Ruobing Xie , Feng Xia , Deqing Wang , Jin Dong

This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of…

Logic in Computer Science · Computer Science 2016-06-29 Lars Birkedal , Aleš Bizjak , Ranald Clouston , Hans Bugge Grathwohl , Bas Spitters , Andrea Vezzosi

Causal consistency is an attractive consistency model for replicated data stores. It is provably the strongest model that tolerates partitions, it avoids the long latencies associated with strong consistency, and, especially when using…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-13 Diego Didona , Rachid Guerraoui , Jingjing Wang , Willy Zwaenepoel

Bimanual manipulation is essential in robotics, yet developing foundation models is extremely challenging due to the inherent complexity of coordinating two robot arms (leading to multi-modal action distributions) and the scarcity of…

Robotics · Computer Science 2025-03-04 Songming Liu , Lingxuan Wu , Bangguo Li , Hengkai Tan , Huayu Chen , Zhengyi Wang , Ke Xu , Hang Su , Jun Zhu

Optical flow estimation aims to find the 2D motion field by identifying corresponding pixels between two images. Despite the tremendous progress of deep learning-based optical flow methods, it remains a challenge to accurately estimate…

Computer Vision and Pattern Recognition · Computer Science 2022-04-01 Xiuchao Sui , Shaohua Li , Xue Geng , Yan Wu , Xinxing Xu , Yong Liu , Rick Goh , Hongyuan Zhu

Optical Coherence Tomography (OCT) is one of the most emerging imaging modalities that has been used widely in the field of biomedical imaging. From its emergence in 1990's, plenty of hardware and software improvements have been made. Its…

Computer Vision and Pattern Recognition · Computer Science 2014-11-18 Ahmadreza Baghaie , Roshan M. D'souza , Zeyun Yu

Unsupervised/self-supervised representation learning in time series is critical since labeled samples are usually scarce in real-world scenarios. Existing approaches mainly leverage the contrastive learning framework, which automatically…

Machine Learning · Computer Science 2023-07-10 Wenrui Zhang , Ling Yang , Shijia Geng , Shenda Hong

Sequential recommendation methods are increasingly important in cutting-edge recommender systems. Through leveraging historical records, the systems can capture user interests and perform recommendations accordingly. State-of-the-art…

Information Retrieval · Computer Science 2023-08-10 Chong Liu , Xiaoyang Liu , Rongqin Zheng , Lixin Zhang , Xiaobo Liang , Juntao Li , Lijun Wu , Min Zhang , Leyu Lin

Instructing the model to generate a sequence of intermediate steps, a.k.a., a chain of thought (CoT), is a highly effective method to improve the accuracy of large language models (LLMs) on arithmetics and symbolic reasoning tasks. However,…

Machine Learning · Computer Science 2024-09-24 Zhiyuan Li , Hong Liu , Denny Zhou , Tengyu Ma

Recent multi-object tracking (MOT) systems have leveraged highly accurate object detectors; however, training such detectors requires large amounts of labeled data. Although such data is widely available for humans and vehicles, it is…

Computer Vision and Pattern Recognition · Computer Science 2022-11-09 Travis Mandel , Mark Jimenez , Emily Risley , Taishi Nammoto , Rebekka Williams , Max Panoff , Meynard Ballesteros , Bobbie Suarez

Active Test-Time Adaptation (ATTA) improves model robustness under domain shift by selectively querying human annotations at deployment, but existing methods use heuristic uncertainty measures and suffer from low data selection efficiency,…

Machine Learning · Computer Science 2025-10-01 Tingyu Shi , Fan Lyu , Shaoliang Peng

Optical coherence tomography (OCT) is a micrometer-scale, volumetric imaging modality that has become a clinical standard in ophthalmology. OCT instruments image by raster-scanning a focused light spot across the retina, acquiring…

Image and Video Processing · Electrical Eng. & Systems 2022-09-16 Stefan Ploner , Siyu Chen , Jungeun Won , Lennart Husvogt , Katharina Breininger , Julia Schottenhamml , James Fujimoto , Andreas Maier

Optical coherence tomography (OCT) is a noninvasive technology that enables real-time imaging of tissue microanatomies. The axial resolution of OCT is intrinsically constrained by the spectral bandwidth of the employed light source while…

Image and Video Processing · Electrical Eng. & Systems 2024-01-09 Kaiyan Li , Jingyuan Yang , Wenxuan Liang , Xingde Li , Chenxi Zhang , Lulu Chen , Chan Wu , Xiao Zhang , Zhiyan Xu , Yuelin Wang , Lihui Meng , Yue Zhang , Youxin Chen , S. Kevin Zhou

In this paper, we consider subaperture-based approaches for the digital aberration correction (DAC) of optical coherence tomography (OCT) images. In particular, we introduce a mathematical framework for describing this class of approaches,…

Machine translation (MT) post-editing and research data collection often rely on inefficient, disconnected workflows. We introduce TranslationCorrect, an integrated framework designed to streamline these tasks. TranslationCorrect combines…

Computation and Language · Computer Science 2025-06-24 Syed Mekael Wasti , Shou-Yi Hung , Christopher Collins , En-Shiun Annie Lee

Modal decomposition techniques are showing a fast growth in popularity for their good properties as data-driven tools. There are several modal decomposition techniques, yet Proper Orthogonal Decomposition (POD) and Dynamic Mode…