中文
相关论文

相关论文: Proceedings Sixth Transformation Tool Contest

200 篇论文

Tool learning aims to extend the capabilities of large language models (LLMs) with external tools. A major challenge in tool learning is how to support a large number of tools, including unseen tools. To address this challenge, previous…

信息检索 · 计算机科学 2024-06-12 Yuanhang Zheng , Peng Li , Wei Liu , Yang Liu , Jian Luan , Bin Wang

Transformer-based tabular foundation models have recently demonstrated promising in-context learning (ICL) performance on structured data, emerging as competitive alternatives to gradient-boosted trees. However, the fairness implications of…

机器学习 · 计算机科学 2026-01-06 Patrik Kenfack , Samira Ebrahimi Kahou , Ulrich Aïvodji

Transformers have revolutionized performance in Natural Language Processing and Vision, paving the way for their integration with Graph Neural Networks (GNNs). One key challenge in enhancing graph transformers is strengthening the…

机器学习 · 计算机科学 2026-01-09 Yun Young Choi , Sun Woo Park , Minho Lee , Youngho Woo

Methods such as non-intrusive polynomial chaos (NIPC), and stochastic collocation are frequently used for uncertainty propagation problems. Particularly for low-dimensional problems, these methods often use a tensor-product grid for…

计算工程、金融与科学 · 计算机科学 2024-03-26 Bingran Wang , Mark Sperry , Victor E. Gandarillas , John T. Hwang

Assessing and improving the quality of data in data-intensive systems are fundamental challenges that have given rise to numerous applications targeting transformation and cleaning of data. However, while schema design, data cleaning, and…

数据库 · 计算机科学 2017-12-12 Rada Chirkova , Jon Doyle , Juan L. Reutter

Traditional Chinese Painting (TCP) is an invaluable cultural heritage resource and a unique visual art style. In recent years, increasing interest has been placed on digitalizing TCPs to preserve and revive the culture. The resulting…

计算机视觉与模式识别 · 计算机科学 2024-07-24 Wei Zhang , Jian-Wei Zhang , Kam Kwai Wong , Yifang Wang , Yingchaojie Feng , Luwei Wang , Wei Chen

This is the first edition of the tool competition on testing self-driving cars (SDCs) at the International Conference on Software Testing, Verification and Validation (ICST). The aim is to provide a platform for software testers to submit…

软件工程 · 计算机科学 2025-02-21 Christian Birchler , Stefan Klikovits , Mattia Fazzini , Sebastiano Panichella

The transformer architecture has shown remarkable success in various domains, such as natural language processing and computer vision. When it comes to graph learning, transformers are required not only to capture the interactions between…

机器学习 · 计算机科学 2024-01-30 Van Thuy Hoang , O-Joun Lee

We experimentally evaluate the practical state-of-the-art in graph bipartization (Odd Cycle Transversal), motivated by recent advances in near-term quantum computing hardware and the related embedding problems. We assemble a preprocessing…

离散数学 · 计算机科学 2021-03-22 Timothy D. Goodrich , Eric Horton , Blair D. Sullivan

Many real-world and artificial systems and processes can be represented as graphs. Some examples of such systems include social networks, financial transactions, supply chains, and molecular structures. In many of these cases, one needs to…

机器学习 · 计算机科学 2025-03-21 Ashkan Dehghan , Paweł Prałat , François Théberge

Transfer learning has been recently popularized as a data-efficient alternative to training models from scratch, in particular for computer vision tasks where it provides a remarkably solid baseline. The emergence of rich model…

机器学习 · 计算机科学 2022-03-28 Cedric Renggli , André Susano Pinto , Luka Rimanic , Joan Puigcerver , Carlos Riquelme , Ce Zhang , Mario Lucic

This volume contains the papers that were presented at the second international workshop on Trends in Tree Automata and Transducers (TTATT 2013) which took place on October 19th, 2013 in Hanoi/Vietnam. The workshop was colocated with the…

形式语言与自动机理论 · 计算机科学 2013-11-21 Sebastian Maneth

The correctness of networks is often described in terms of the individual data flow of components instead of their global behavior. In software-defined networks, it is far more convenient to specify the correct behavior of packets than the…

计算机科学中的逻辑 · 计算机科学 2020-05-19 Bernd Finkbeiner , Manuel Gieseking , Jesko Hecking-Harbusch , Ernst-Rüdiger Olderog

Different from most transactive control studies only focusing on economic aspect, this paper develops a novel network-constrained transactive control (NTC) framework that can address both economic and secure issues for a…

最优化与控制 · 数学 2020-11-09 Xiaodong Yang , Zehao Song , Jinyu Wen , Chongbo Xu , Qiuwei Wu , Youbing Zhang , Menglin Zhang , Shijie Cheng

Fairness-aware graph learning has gained increasing attention in recent years. Nevertheless, there lacks a comprehensive benchmark to evaluate and compare different fairness-aware graph learning methods, which blocks practitioners from…

机器学习 · 计算机科学 2024-07-18 Yushun Dong , Song Wang , Zhenyu Lei , Zaiyi Zheng , Jing Ma , Chen Chen , Jundong Li

Most of existing correspondence pruning methods only concentrate on gathering the context information as much as possible while neglecting effective ways to utilize such information. In order to tackle this dilemma, in this paper we propose…

计算机视觉与模式识别 · 计算机科学 2023-12-27 Junwen Guo , Guobao Xiao , Shiping Wang , Jun Yu

As society becomes increasingly reliant on artificial intelligence, the need to mitigate risk and harm is paramount. In response, researchers and practitioners have developed tools to detect and reduce undesired bias, commonly referred to…

软件工程 · 计算机科学 2025-05-16 Sadia Afrin Mim , Fatemeh Vares , Andrew Meenly , Brittany Johnson

Technical Debt (TD) identification in software projects issues is crucial for maintaining code quality, reducing long-term maintenance costs, and improving overall project health. This study advances TD classification using…

软件工程 · 计算机科学 2024-08-20 Karthik Shivashankar , Mili Orucevic , Maren Maritsdatter Kruke , Antonio Martini

This paper gives an overview of the Edapt solution to the GMF model migration case of the Transformation Tool Contest 2011.

软件工程 · 计算机科学 2011-11-22 Markus Herrmannsdoerfer

In the last decade, temporal networks and static and temporal hypergraphs have enabled modelling connectivity and spreading processes in a wide array of real-world complex systems such as economic transactions, information spreading, brain…

物理与社会 · 物理学 2023-12-05 Arash Badie-Modiri , Mikko Kivelä