English
Related papers

Related papers: Validated Intent Compilation for Constrained Routi…

200 papers

Recently, large vision-language models (LVLMs) unleash powerful analysis capabilities for low Earth orbit (LEO) satellite Earth observation images in the data center. However, fast satellite motion, brief satellite-ground station (GS)…

Networking and Internet Architecture · Computer Science 2025-07-09 Yuxin Zhang , Jiahao Yang , Zhe Chen , Wenjun Zhu , Jin Zhao , Yue Gao

This paper addresses the problem of planning complex manipulation tasks, in which multiple robots with different end-effectors and capabilities, informed by computer vision, must plan and execute concatenated sequences of actions on a…

Robotics · Computer Science 2025-10-21 Cansu Erdogan , Cesar Alan Contreras , Alireza Rastegarpanah , Manolis Chiou , Rustam Stolkin

Financial institutions deploy Large Language Models (LLMs) for reconciliations, regulatory reporting, and client communications, but nondeterministic outputs (output drift) undermine auditability and trust. We quantify drift across five…

Machine Learning · Computer Science 2025-11-12 Raffi Khatchadourian , Rolando Franco

Intent detection and slot filling are two main tasks for building a spoken language understanding(SLU) system. Multiple deep learning based models have demonstrated good results on these tasks . The most effective algorithms are based on…

Computation and Language · Computer Science 2018-12-27 Yu Wang , Yilin Shen , Hongxia Jin

Recent advances in recommendation with large language models (LLMs) often rely on either commonsense augmentation at the item-category level or implicit intent modeling on existing knowledge graphs. However, such approaches struggle to…

Information Retrieval · Computer Science 2026-03-13 Wenqing Zheng , Noah Fatsi , Daniel Barcklow , Dmitri Kalaev , Steven Yao , Owen Reinert , C. Bayan Bruss , Daniele Rosa

Real-world path planning tasks typically involve multiple constraints beyond simple route optimization, such as the number of routes, maximum route length, depot locations, and task-specific requirements. Traditional approaches rely on…

Computation and Language · Computer Science 2026-03-23 Dylan Shim , Minghan Wei

Large language models (LLMs) exhibit remarkable capabilities across diverse tasks, yet aligning them efficiently and effectively with human expectations remains a critical challenge. This thesis advances LLM alignment by introducing novel…

Computation and Language · Computer Science 2025-06-12 Yuxin Jiang

Task-oriented Dialogue Systems (TODS) often face the challenge of encountering new intents. New Intent Discovery (NID) is a crucial task that aims to identify these novel intents while maintaining the capability to recognize existing ones.…

Computation and Language · Computer Science 2025-04-01 Lu Fan , Jiashu Pu , Rongsheng Zhang , Xiao-Ming Wu

Multiple-input multiple-output (MIMO) systems are playing an increasing and interesting role in the recent wireless communication. The complexity and the performance of the systems are driving the different studies and researches. Lattices…

Information Theory · Computer Science 2016-07-14 Nizar Ouni , Ridha Bouallegue

The end-to-end connectivity patterns between two points on Earth are highly volatile if mediated via a Low-Earth orbit (LEO) satellite constellation. This is rooted in the enormous speeds at which satellites in LEO must travel relative to…

Networking and Internet Architecture · Computer Science 2024-08-15 Gregory Stock , Juan A. Fraire , Santiago Henn , Holger Hermanns , Andreas Schmidt

This study investigated the integration readiness of four predominant cybersecurity Governance, Risk and Compliance (GRC) frameworks - NIST CSF 2.0, COBIT 2019, ISO 27001:2022, and the latest ISO 42001:2023 - for the opportunities, risks,…

Computers and Society · Computer Science 2024-06-25 Timothy R. McIntosh , Teo Susnjak , Tong Liu , Paul Watters , Raza Nowrozy , Malka N. Halgamuge

The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain unreliable: without a solid theoretical footing, the…

Artificial Intelligence · Computer Science 2025-12-18 PIerre Dantas , Lucas Cordeiro , Youcheng Sun , Waldir Junior

As emerging massive constellations are intended to provide seamless connectivity for remote areas using hundreds of small low Earth orbit (LEO) satellites, new methodologies have great importance to study the performance of these networks.…

Networking and Internet Architecture · Computer Science 2020-10-05 Niloofar Okati , Taneli Riihonen

One fundamental challenge in 5G URLLC is how to optimize massive MIMO systems for achieving low latency and high reliability. A natural design choice to maximize reliability and minimize retransmission is to select the lowest allowed target…

Information Theory · Computer Science 2024-10-30 Xu Du , Yin Sun , Ness B. Shroff , Ashutosh Sabharwal

With recent advancements in the sixth generation (6G) communication technologies, more vertical industries have encountered diverse network services. How to reduce energy consumption is critical to meet the expectation of the quality of…

Networking and Internet Architecture · Computer Science 2024-04-30 Yao Wang , Yijun Yu , Yexing Li , Dong Li , Xiaoxue Zhao , Chungang Yang

This paper investigates the ultra reliable and low latency communication (URLLC) performance of the IRS-aided MIMO system. The upper and lower bounds of the optimal average error probability (OAEP) for the coding rate 1/sqrt(Mn) of the…

Information Theory · Computer Science 2024-02-22 Xin Zhang , Shenghui Song

We show that MLP layers in transformer language models perform binary routing of continuous signals: the decision of whether a token needs nonlinear processing is well-captured by binary neuron activations, even though the signals being…

Machine Learning · Computer Science 2026-03-12 Peter Balogh

Mega low earth orbit (LEO) satellite constellation is promising in achieving global coverage with high capacity. However, forwarding packets in mega constellation faces long end-to-end delay caused by multi-hop routing and high-complexity…

Networking and Internet Architecture · Computer Science 2024-04-02 Xin'ao Feng , Yaohua Sun , Mugen Peng

This paper studies online convex optimization with unknown linear budget constraints, where only the gradient information of the objective and the bandit feedback of constraint functions are observed. We propose a safe and efficient…

Optimization and Control · Mathematics 2025-03-10 Shanqi Liu , Xin Liu

Efficient Distillation (EDistill) compresses large language models (LLMs) by structured pruning parameters and tuning lightweight modules with high training efficiency. Although these EDistilled LLMs achieve state-of-the-art (SOTA)…

Computation and Language · Computer Science 2026-05-29 Junlin He , Yihong Tang , Tong Nie , Guilong Li , Binyu Yang , Jinxiao Du , Lijun Sun , Wei Ma
‹ Prev 1 8 9 10 Next ›