中文
相关论文

相关论文: Real Differences between OT and CRDT for Co-Editor…

200 篇论文

Standard evaluation protocols in robotic manipulation typically assess policy performance over curated, in-distribution test sets, offering limited insight into how systems fail under plausible variation. We introduce Geometric Red-Teaming…

机器人学 · 计算机科学 2025-09-17 Divyam Goel , Yufei Wang , Tiancheng Wu , Guixiu Qiao , Pavel Piliptchak , David Held , Zackory Erickson

In education applications, knowledge tracing refers to the problem of estimating students' time-varying concept/skill mastery level from their past responses to questions and predicting their future performance. One key limitation of most…

计算机与社会 · 计算机科学 2023-03-22 Naiming Liu , Zichao Wang , Richard G. Baraniuk , Andrew Lan

Many applications model their data in a general-purpose storage format such as JSON. This data structure is modified by the application as a result of user input. Such modifications are well understood if performed sequentially on a single…

分布式、并行与集群计算 · 计算机科学 2017-08-16 Martin Kleppmann , Alastair R. Beresford

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…

计算机科学中的逻辑 · 计算机科学 2016-06-29 Lars Birkedal , Aleš Bizjak , Ranald Clouston , Hans Bugge Grathwohl , Bas Spitters , Andrea Vezzosi

Finding effective representations for time series data is a useful but challenging task. Several works utilize self-supervised or unsupervised learning methods to address this. However, there still remains the open question of how to…

机器学习 · 计算机科学 2024-03-19 Yuansan Liu , Sudanthi Wijewickrema , Christofer Bester , Stephen O'Leary , James Bailey

This work introduces a relative diffusion transformation (RDT) - a simple unitary transformation which acts in a subspace, localized by an oracle. Such a transformation can not be fulfilled on quantum Turing machines with this oracle in…

量子物理 · 物理学 2008-02-03 Yuri Ozhigov

Multiple Object Tracking (MOT) has gained increasing attention due to its academic and commercial potential. Although different approaches have been proposed to tackle this problem, it still remains challenging due to factors like abrupt…

计算机视觉与模式识别 · 计算机科学 2022-02-14 Wenhan Luo , Junliang Xing , Anton Milan , Xiaoqin Zhang , Wei Liu , Tae-Kyun Kim

Given a language model (LM), maximum probability is a poor decoding objective for open-ended generation, because it produces short and repetitive text. On the other hand, sampling can often produce incoherent text that drifts from the…

Surgery is the only viable treatment for cataract patients with visual acuity (VA) impairment. Clinically, to assess the necessity of cataract surgery, accurately predicting postoperative VA before surgery by analyzing multi-view optical…

图像与视频处理 · 电气工程与系统科学 2022-12-13 Jinhong Wang , Jingwen Wang , Tingting Chen , Wenhao Zheng , Zhe Xu , Xingdi Wu , Wen Xu , Haochao Ying , Danny Chen , Jian Wu

This paper presents a generalized flux-corrected transport (FCT) algorithm, which is shown to be total variation diminishing under some conditions. The new algorithm has improved properties from the standpoint of use and analysis. Results…

计算物理 · 物理学 2024-11-20 William J Rider , Dennis R Liles

Transfer learning has become a popular task adaptation method in the era of foundation models. However, many foundation models require large storage and computing resources, which makes off-the-shelf deployment impractical. Post-training…

计算机视觉与模式识别 · 计算机科学 2023-07-11 Jung Hwan Heo , Seyedarmin Azizi , Arash Fayyazi , Massoud Pedram

Learning policy from offline datasets through offline reinforcement learning (RL) holds promise for scaling data-driven decision-making while avoiding unsafe and costly online interactions. However, real-world data collected from sensors or…

机器学习 · 计算机科学 2025-03-04 Jiawei Xu , Rui Yang , Shuang Qiu , Feng Luo , Meng Fang , Baoxiang Wang , Lei Han

Concept Relation Discovery and Innovation Enabling Technology (CORDIET), is a toolbox for gaining new knowledge from unstructured text data. At the core of CORDIET is the C-K theory which captures the essential elements of innovation. The…

Generating Chain-of-Thought (CoT) before deriving the answer can effectively improve the reasoning capabilities of large language models (LLMs) and significantly improve the accuracy of the generated answer. However, in most cases, the…

计算与语言 · 计算机科学 2024-12-17 Yu Kang , Xianghui Sun , Liangyu Chen , Wei Zou

Chain-of-Thought (CoT) has become a vital technique for enhancing the performance of Large Language Models (LLMs), attracting increasing attention from researchers. One stream of approaches focuses on the iterative enhancement of LLMs by…

计算与语言 · 计算机科学 2024-10-08 Yongheng Zhang , Qiguang Chen , Jingxuan Zhou , Peng Wang , Jiasheng Si , Jin Wang , Wenpeng Lu , Libo Qin

On-policy distillation (OPD) is a standard tool for transferring teacher behavior to a smaller student, but it implicitly assumes that teacher and student predictions are comparable token by token, an assumption that fails whenever the two…

计算与语言 · 计算机科学 2026-05-22 Jie Sun , Mao Zheng , Mingyang Song , Qiyong Zhong , Yilin Cheng , Bichuan Feng , Pengfei Liu , Junfeng Fang , Xiang Wang

Generalization to novel compound tasks under distribution shift is important for deploying transformer-based language models (LMs). This work investigates Chain-of-Thought (CoT) reasoning as a means to enhance OOD generalization. Through…

计算与语言 · 计算机科学 2026-03-31 Ru Wang , Wei Huang , Selena Song , Haoyu Zhang , Qian Niu , Yusuke Iwasawa , Yutaka Matsuo , Jiaxian Guo

Digitization of historical documents is a challenging task in many digital humanities projects. A popular approach for digitization is to scan the documents into images, and then convert images into text using Optical Character Recognition…

人机交互 · 计算机科学 2023-08-01 Omri Suissa , Avshalom Elmalech , Maayan Zhitomirsky-Geffet

Optical link tomography (OLT) is a rapidly evolving field that allows the multi-span, end-to-end visualization of optical power along fiber links in multiple dimensions from network endpoints, solely by processing signals received at…

Optical coherence tomography (OCT) uses low-coherence reflectometry to obtain cross-sectional images of inhomogeneous media, such as biological tissue. OCT is particularly useful in the biomedical ea, since the imaging can be performed…

医学物理 · 物理学 2018-03-01 Takahisa Mitsui , Kenichiro Aoki