中文
相关论文

相关论文: Generic Traces and Constraints, GenTra4CP revisite…

200 篇论文

Temporal causal representation learning methods assume that causal mechanisms switch instantaneously between discrete domains, yet real-world systems often exhibit continuous mechanism transitions. For example, a vehicle's dynamics evolve…

机器学习 · 计算机科学 2026-01-30 Shicheng Fan , Kun Zhang , Lu Cheng

The positive impacts of platooning on travel time reliability, congestion, emissions, and energy consumption have been shown for homogeneous roadway segments. However, speed limit changes frequently throughout the transportation network,…

系统与控制 · 计算机科学 2017-09-29 Sina Arefizadeh , Alireza Talebpour , Igor Zelenko

Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by…

人工智能 · 计算机科学 2018-08-08 Neil Yorke-Smith , Carmen Gervet

The DEtection TRansformer (DETR) algorithm has received considerable attention in the research community and is gradually emerging as a mainstream approach for object detection and other perception tasks. However, the current field lacks a…

计算机视觉与模式识别 · 计算机科学 2023-06-14 Tianhe Ren , Shilong Liu , Feng Li , Hao Zhang , Ailing Zeng , Jie Yang , Xingyu Liao , Ding Jia , Hongyang Li , He Cao , Jianan Wang , Zhaoyang Zeng , Xianbiao Qi , Yuhui Yuan , Jianwei Yang , Lei Zhang

Regular sequences are natural generalisations of fixed points of constant-length substitutions on finite alphabets, that is, of automatic sequences. Using the harmonic analysis of measures associated with substitutions as motivation, we…

数论 · 数学 2021-08-12 Michael Coons , James Evans , Neil Manibo

We evaluate the Gutzwiller trace formula for the level density of classically chaotic systems by considering the level density in a bounded energy range and truncating its Fourier integral. This results in a limiting procedure which…

chao-dyn · 物理学 2008-02-03 Eyal Doron

We study the characterization and computation of general policies for families of problems that share a structure characterized by a common reduction into a single abstract problem. Policies $\mu$ that solve the abstract problem P have been…

人工智能 · 计算机科学 2019-09-27 Blai Bonet , Giuseppe De Giacomo , Hector Geffner , Sasha Rubin

A new pattern search method for bound constrained optimization is introduced. The proposed algorithm employs the coordinate directions, in a suitable way, with a nonmonotone line search for accepting the new iterate, without using…

最优化与控制 · 数学 2018-06-25 Johanna A. Frau , Elvio A. Pilotta

Previous works have attempted to improve tracking efficiency through lightweight architecture design or knowledge distillation from teacher models to compact student trackers. However, these solutions often sacrifice accuracy for speed to a…

计算机视觉与模式识别 · 计算机科学 2025-07-01 Lingyi Hong , Jinglun Li , Xinyu Zhou , Shilin Yan , Pinxue Guo , Kaixun Jiang , Zhaoyu Chen , Shuyong Gao , Runze Li , Xingdong Sheng , Wei Zhang , Hong Lu , Wenqiang Zhang

Estimation of density functions supported on general domains arises when the data is naturally restricted to a proper subset of the real space. This problem is complicated by typically intractable normalizing constants. Score matching…

统计方法学 · 统计学 2020-09-25 Shiqing Yu , Mathias Drton , Ali Shojaie

We study the generalized trace regression with a near low-rank regression coefficient matrix, which extends notion of sparsity for regression coefficient vectors. Specifically, given a matrix covariate $X$, the probability density function…

统计方法学 · 统计学 2017-10-24 Jianqing Fan , Wenyan Gong , Ziwei Zhu

In one complex variable, the cross ratio is a well-known quantity associated with four given points in the complex plane that remains invariant under linear fractional maps. In particular, if one knows where three points in the complex…

复变函数 · 数学 2021-06-22 Michael R. Pilla

Segment retransmissions are an essential tool in assuring reliable end-to-end communication in the Internet. Their crucial role in TCP design and operation has been studied extensively, in particular with respect to identifying…

网络与互联网体系结构 · 计算机科学 2011-12-13 Kostas Pentikousis , Hussein Badr , Asha Andrade

End-to-end Transformer-based detectors (DETRs) have demonstrated strong detection performance. However, domain generalization (DG) research has primarily focused on convolutional neural network (CNN)-based detectors, while paying little…

计算机视觉与模式识别 · 计算机科学 2025-11-13 Seongmin Hwang , Daeyoung Han , Moongu Jeon

This is a survey of the proof of the global Jacquet-Langlands correspondence between GL_n and general inner forms, in characteristic zero. The proof is given after a long introduction recalling in some detail the objects and results…

数论 · 数学 2019-04-23 Alexandru Ioan Badulescu

This paper adapts a popular image quality measure called structural similarity for high precision registration based tracking while also introducing a simpler and faster variant of the same. Further, these are evaluated comprehensively…

计算机视觉与模式识别 · 计算机科学 2017-01-31 Abhineet Singh , Mennatullah Siam , Martin Jagersand

Capturing types in Scala unify static effect and resource tracking with object capabilities, enabling lightweight effect polymorphism with minimal notational overhead. However, their expressiveness has been insufficient for tracking…

编程语言 · 计算机科学 2025-09-10 Yichen Xu , Oliver Bračevac , Cao Nguyen Pham , Martin Odersky

Cross-domain Sequential Recommendation (CSR) is an emerging yet challenging task that depicts the evolution of behavior patterns for overlapped users by modeling their interactions from multiple domains. Existing studies on CSR mainly focus…

信息检索 · 计算机科学 2023-04-18 Jinyu Zhang , Huichuan Duan , Lei Guo , Liancheng Xu , Xinhua Wang

Traceless Genetic Programming (TGP) is a Genetic Programming (GP) variant that is used in cases where the focus is rather the output of the program than the program itself. The main difference between TGP and other GP techniques is that TGP…

神经与进化计算 · 计算机科学 2021-10-27 Mihai Oltean , Crina Grosan

Recent advances in generative models have inspired the field of recommender systems to explore generative approaches, but most existing research focuses on sequence generation, a paradigm ill-suited for click-through rate (CTR) prediction.…

信息检索 · 计算机科学 2025-08-28 Moyu Zhang , Yun Chen , Yujun Jin , Jinxin Hu , Yu Zhang