中文
相关论文

相关论文: Developing a Self-Explanatory Transformer

200 篇论文

Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in…

The rise of hardware-level security threats, such as side-channel attacks, hardware Trojans, and firmware vulnerabilities, demands advanced detection mechanisms that are more intelligent and adaptive. Traditional methods often fall short in…

密码学与安全 · 计算机科学 2025-05-29 Banafsheh Saber Latibari , Najmeh Nazari , Avesta Sasan , Houman Homayoun , Pratik Satam , Soheil Salehi , Hossein Sayadi

In today's typical industrial environments, the computation of the data distribution schedules is highly centralised. Typically, a central entity configures the data forwarding paths so as to guarantee low delivery delays between data…

网络与互联网体系结构 · 计算机科学 2019-01-29 Theofanis P. Raptis , Andrea Passarella , Marco Conti

The design and development process for Internet of Things (IoT) applications is more complicated than for desktop, mobile, or web applications. IoT applications require both software and hardware to work together across multiple different…

软件工程 · 计算机科学 2020-12-01 Charith Perera , Mahmoud Barhamgi , Massimo Vecchio

Internet of Things (IoT) applications combine sensing, wireless communication, intelligence, and actuation, enabling the interaction among heterogeneous devices that collect and process considerable amounts of data. However, the…

Wireless communication has evolved significantly, with 6G offering groundbreaking capabilities, particularly for IoT. However, the integration of IoT into 6G presents new security challenges, expanding the attack surface due to…

密码学与安全 · 计算机科学 2024-12-25 Navneet Kaur , Lav Gupta

The Internet of Things (IoT) envisions the integration of physical objects into software systems for automating crucial aspects of our lives, such as healthcare, security, agriculture, and city management. Although the vision is promising,…

软件工程 · 计算机科学 2021-06-17 Damian Arellanes

Scaling transformers has led to significant breakthroughs in many domains, leading to a paradigm in which larger versions of existing models are trained and released on a periodic basis. New instances of such models are typically trained…

The proliferation of smart home devices has increased the complexity of controlling and managing them, leading to user fatigue. In this context, large language models (LLMs) offer a promising solution by enabling natural-language interfaces…

人机交互 · 计算机科学 2026-01-09 Chaerin Yu , Chihun Choi , Sunjae Lee , Hyosu Kim , Steven Y. Ko , Young-Bae Ko , Sangeun Oh

Internet-of-Things (IoT) envisions an intelligent infrastructure of networked smart devices offering task-specific monitoring and control services. The unique features of IoT include extreme heterogeneity, massive number of devices, and…

系统与控制 · 计算机科学 2018-10-30 Tianyi Chen , Sergio Barbarossa , Xin Wang , Georgios B. Giannakis , Zhi-Li Zhang

The Internet of Things (IoT) will be a main data generation infrastructure for achieving better system intelligence. This paper considers the design and implementation of a practical privacy-preserving collaborative learning scheme, in…

网络与互联网体系结构 · 计算机科学 2020-06-30 Linshan Jiang , Rui Tan , Arvind Easwaran

Robotic Process Automation (RPA) is a technology for automating repetitive routines consisting of sequences of user interactions with one or more applications. In order to fully exploit the opportunities opened by RPA, companies need to…

人工智能 · 计算机科学 2020-01-07 Volodymyr Leno , Marlon Dumas , Marcello La Rosa , Fabrizio Maria Maggi , Artem Polyvyanyy

Feature engineering is the process of using domain knowledge to extract features from raw data via data mining techniques and is a key step to improve the performance of machine learning algorithms. In the multi-party feature engineering…

机器学习 · 计算机科学 2020-09-08 Pei Fang , Zhendong Cai , Hui Chen , QingJiang Shi

Feature transformation aims to extract a good representation (feature) space by mathematically transforming existing features. It is crucial to address the curse of dimensionality, enhance model generalization, overcome data sparsity, and…

机器学习 · 计算机科学 2022-12-26 Meng Xiao , Dongjie Wang , Min Wu , Kunpeng Liu , Hui Xiong , Yuanchun Zhou , Yanjie Fu

Recent breakthroughs in ML have produced new classes of models that allow ML inference to run directly on milliwatt-powered IoT devices. On one hand, existing ML-to-FPGA compilers are designed for deep neural-networks on large FPGAs. On the…

硬件体系结构 · 计算机科学 2021-07-09 Nikhil Pratap Ghanathe , Vivek Seshadri , Rahul Sharma , Steve Wilton , Aayan Kumar

The number of IoT devices is expected to continue its dramatic growth in the coming years and, with it, a growth in the amount of data to be transmitted, processed and stored. Compression techniques that support analytics directly on the…

数据结构与算法 · 计算机科学 2023-08-29 Francesco Taurone , Daniel E. Lucani , Marcell Fehér , Qi Zhang

Tree-based speculative decoding accelerates autoregressive generation by verifying a branching tree of draft tokens in a single target-model forward pass. However, existing methods prioritize maximizing token-level likelihood or the number…

分布式、并行与集群计算 · 计算机科学 2026-04-14 Lifu Wang , Pan Zhou

The IoT (Internet of Things) technology has been widely adopted in recent years and has profoundly changed the people's daily lives. However, in the meantime, such a fast-growing technology has also introduced new privacy issues, which need…

密码学与安全 · 计算机科学 2019-09-04 Shuaike Dong , Zhou Li , Di Tang , Jiongyi Chen , Menghan Sun , Kehuan Zhang

The novel Internet of Things (IoT) paradigm is composed of a growing number of heterogeneous smart objects and services that are transforming architectures and applications, increasing systems' complexity, and the need for reliability and…

密码学与安全 · 计算机科学 2024-08-27 Marco Arazzi , Serena Nicolazzo , Antonino Nocera

We present POTATO, a task- and languageindependent framework for human-in-the-loop (HITL) learning of rule-based text classifiers using graph-based features. POTATO handles any type of directed graph and supports parsing text into Abstract…

计算与语言 · 计算机科学 2022-10-18 Ádám Kovács , Kinga Gémes , Eszter Iklódi , Gábor Recski