中文
相关论文

相关论文: A token-passing net implementation of optimal redu…

200 篇论文

Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of interaction nets are based on graph theory and rely on…

计算机科学中的逻辑 · 计算机科学 2015-07-01 Marc de Falco

This work addresses weight optimization problem for fully-connected feed-forward neural networks. Unlike existing approaches that are based on back-propagation (BP) and chain rule gradient-based optimization (which implies iterative…

机器学习 · 计算机科学 2024-06-18 Slavisa Tomic , João Pedro Matos-Carvalho , Marko Beko

Modern deep reinforcement learning methods have departed from the incremental learning required for eligibility traces, rendering the implementation of the $\lambda$-return difficult in this context. In particular, off-policy methods that…

机器学习 · 计算机科学 2020-01-15 Brett Daley , Christopher Amato

We present a new inverse optimization methodology for multi-objective convex optimization that accommodates an input solution that may not be Pareto optimal and determines a weight vector that produces a Pareto optimal solution that…

最优化与控制 · 数学 2017-06-22 Timothy C. Y. Chan , Taewoo Lee

Learning representations of nodes in a low dimensional space is a crucial task with numerous interesting applications in network analysis, including link prediction, node classification, and visualization. Two popular approaches for this…

社会与信息网络 · 计算机科学 2022-08-10 Abdulkadir Celikkanat , Yanning Shen , Fragkiskos D. Malliaros

In this paper, it is shown that an auto-encoder using optimal reconstruction significantly outperforms a conventional auto-encoder. Optimal reconstruction uses the conditional mean of the input given the features, under a maximum entropy…

机器学习 · 计算机科学 2021-04-16 Paul M Baggenstoss

Transformers in their common form are inherently limited to operate on whole token sequences rather than on one token at a time. Consequently, their use during online inference on time-series data entails considerable redundancy due to the…

人工智能 · 计算机科学 2023-06-28 Lukas Hedegaard , Arian Bakhtiarnia , Alexandros Iosifidis

In this paper, we propose a computationally efficient framework for interval reachability of systems with neural network controllers. Our approach leverages inclusion functions for the open-loop system and the neural network controller to…

系统与控制 · 电气工程与系统科学 2024-06-28 Saber Jafarpour , Akash Harapanahalli , Samuel Coogan

Batched network coding is a variation of random linear network coding which has low computational and storage costs. In order to adapt to random fluctuations in the number of erasures in individual batches, it is not optimal to recode and…

信息论 · 计算机科学 2021-09-16 Hoover H. F. Yin , Bin Tang , Ka Hei Ng , Shenghao Yang , Xishi Wang , Qiaoqiao Zhou

Transformer-based document cross-encoder rerankers are a central component of modern information retrieval systems. Despite their success, these models suffer from high computational costs due to processing long query-document sequences at…

信息检索 · 计算机科学 2026-05-22 Shengyao Zhuang , Zhichao Xu , Ivano Lauriola

The increasing penetration of intermittent distributed energy resources in power networks calls for novel planning and control methodologies which hinge on detailed knowledge of the grid. However, reliable information concerning the system…

系统与控制 · 电气工程与系统科学 2021-09-21 Emanuele Fabbiani , Pulkit Nahata , Giuseppe De Nicolao , Giancarlo Ferrari-Trecate

Adaptive impedance matching between antennas and radio frequency front-end (RFFE) power modules is essential for mobile communication systems. To address the matching performance degradation caused by parasitic effects in practical tunable…

信号处理 · 电气工程与系统科学 2025-09-19 Wendong Cheng , Li Chen , Weidong Wang

Since traditional tokenizers are isolated from a downstream task and model, they cannot output an appropriate tokenization depending on the task and model, although recent studies imply that the appropriate tokenization improves the…

计算与语言 · 计算机科学 2021-05-27 Tatsuya Hiraoka , Sho Takase , Kei Uchiumi , Atsushi Keyaki , Naoaki Okazaki

This work attempts to provide a plausible theoretical framework that aims to interpret modern deep (convolutional) networks from the principles of data compression and discriminative representation. We argue that for high-dimensional…

机器学习 · 计算机科学 2021-11-30 Kwan Ho Ryan Chan , Yaodong Yu , Chong You , Haozhi Qi , John Wright , Yi Ma

Utilizing the concept of observability, in conjunction with tools from graph theory and optimization, this paper develops an algorithm for network synthesis with privacy guarantees. In particular, we propose an algorithm for the selection…

系统与控制 · 计算机科学 2017-08-21 Atiye Alaeddini , Kristi Morgansen , Mehran Mesbahi

Typing of lambda-terms in Elementary and Light Affine Logic (EAL, LAL, resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL (EAL, resp.) proof-nets admits a guaranteed polynomial…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Patrick Baillot , Paolo Coppola , Ugo Dal Lago

This work presents a novel method for task optimization in industrial plants using quantum-inspired tensor network technology. This method obtains the best possible combination of tasks on a set of machines with directed constraints while…

This paper proposes Omnidirectional Representations from Transformers (OmniNet). In OmniNet, instead of maintaining a strictly horizontal receptive field, each token is allowed to attend to all tokens in the entire network. This process can…

计算机视觉与模式识别 · 计算机科学 2021-03-02 Yi Tay , Mostafa Dehghani , Vamsi Aribandi , Jai Gupta , Philip Pham , Zhen Qin , Dara Bahri , Da-Cheng Juan , Donald Metzler

Many interventions, such as vaccines in clinical trials or coupons in online marketplaces, must be assigned sequentially without full knowledge of their effects. Multi-armed bandit algorithms have proven successful in such settings.…

机器学习 · 统计学 2026-05-07 Aidan Gleich , Eric Laber , Alexander Volfovsky

Topology optimization enables the design of highly efficient and complex structures, but conventional iterative methods, such as SIMP-based approaches, often suffer from high computational costs and sensitivity to initial conditions.…

计算工程、金融与科学 · 计算机科学 2025-09-18 Aaron Lutheran , Srijan Das , Alireza Tabarraei