English
Related papers

Related papers: Generic Traces and Constraints, GenTra4CP revisite…

200 papers

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…

Machine Learning · Computer Science 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,…

Systems and Control · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Number Theory · Mathematics 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 · Physics 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…

Artificial Intelligence · Computer Science 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…

Optimization and Control · Mathematics 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Methodology · Statistics 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…

Methodology · Statistics 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…

Complex Variables · Mathematics 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…

Networking and Internet Architecture · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Number Theory · Mathematics 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Programming Languages · Computer Science 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…

Information Retrieval · Computer Science 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…

Neural and Evolutionary Computing · Computer Science 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.…

Information Retrieval · Computer Science 2025-08-28 Moyu Zhang , Yun Chen , Yujun Jin , Jinxin Hu , Yu Zhang