中文
相关论文

相关论文: CD2Alloy: Class Diagrams Analysis Using Alloy Revi…

200 篇论文

The integration of large language models (LLMs) with external tools has significantly expanded the capabilities of AI agents. However, as the diversity of both LLMs and tools increases, selecting the optimal model-tool combination becomes a…

计算与语言 · 计算机科学 2026-01-08 Jinyang Wu , Guocheng Zhai , Ruihan Jin , Jiahao Yuan , Yuhao Shen , Shuai Zhang , Zhengqi Wen , Jianhua Tao

Monte Carlo (MC) simulations of lattice models are a widely used way to compute thermodynamic properties of substitutional alloys. A limitation to their more widespread use is the difficulty of driving a MC simulation in order to obtain the…

统计力学 · 物理学 2009-11-07 A. van de Walle , M. Asta

Graph-structured information offers rich contextual information that can enhance language models by providing structured relationships and hierarchies, leading to more expressive embeddings for various applications such as retrieval,…

Agentic systems enable the intelligent use of research tooling, augmenting a researcher's ability to investigate and propose novel solutions to existing problems. Within Additive Manufacturing (AM), alloy selection and evaluation remains a…

人工智能 · 计算机科学 2026-01-27 Peter Pak , Achuth Chandrasekhar , Amir Barati Farimani

Deep learning (DL) techniques are on the rise in the software engineering research community. More and more approaches have been developed on top of DL models, also due to the unprecedented amount of software-related data that can be used…

软件工程 · 计算机科学 2021-03-23 Alejandro Mazuera-Rozo , Anamaria Mojica-Hanke , Mario Linares-Vásquez , Gabriele Bavota

Universal multimodal embedding models are foundational to various tasks. Existing approaches typically employ in-batch negative mining by measuring the similarity of query-candidate pairs. However, these methods often struggle to capture…

计算机视觉与模式识别 · 计算机科学 2025-12-09 Tiancheng Gu , Kaicheng Yang , Kaichen Zhang , Xiang An , Ziyong Feng , Yueyi Zhang , Weidong Cai , Jiankang Deng , Lidong Bing

The embedding of complex networks into metric spaces has become a research topic of high interest with a wide variety of proposed methods. Low dimensional hyperbolic spaces offer a natural co-domain for embeddings allowing a roughly uniform…

物理与社会 · 物理学 2024-10-07 Sámuel G. Balogh , Bendegúz Sulyok , Tamás Vicsek , Gergely Palla

This paper describes how Yices, a modern SAT Modulo theories solver, can be used to analyze the address-book problem expressed in Alloy, a first-order relational logic with transitive closure. Current analysis of Alloy models - as performed…

计算机科学中的逻辑 · 计算机科学 2015-05-05 Aboubakr Achraf El Ghazi , Mana Taghdiri

Data-driven paradigms using machine learning are becoming ubiquitous in image processing and communications. In particular, image-to-image (I2I) translation is a generic and widely used approach to image processing problems, such as image…

图像与视频处理 · 电气工程与系统科学 2022-08-10 Fei Yang , Yaxing Wang , Luis Herranz , Yongmei Cheng , Mikhail Mozerov

We present a new technique for visualizing high-dimensional data called cluster MDS (cl-MDS), which addresses a common difficulty of dimensionality reduction methods: preserving both local and global structures of the original sample in a…

图形学 · 计算机科学 2024-05-27 Patricia Hernández-León , Miguel A. Caro

Compared with single-label image classification, multi-label image classification is more practical and challenging. Some recent studies attempted to leverage the semantic information of categories for improving multi-label image…

计算机视觉与模式识别 · 计算机科学 2021-04-05 Fengtao Zhou , Sheng Huang , Yun Xing

Robotic ultrasound (US) systems have shown great potential to make US examinations easier and more accurate. Recently, various machine learning techniques have been proposed to realize automatic US image interpretation for robotic US…

机器人学 · 计算机科学 2023-05-17 Keyu Li , Xinyu Mao , Chengwei Ye , Ang Li , Yangxin Xu , Max Q. -H. Meng

Achieving backward compatibility when rolling out new models can highly reduce costs or even bypass feature re-encoding of existing gallery images for in-production visual retrieval systems. Previous related works usually leverage losses…

计算机视觉与模式识别 · 计算机科学 2021-08-05 Qiang Meng , Chixiang Zhang , Xiaoqiang Xu , Feng Zhou

Detecting Alzheimer's disease (AD) from narrative transcripts challenges large language models (LLMs): pre-training rarely covers this out-of-distribution task, and all transcript demos describe the same scene, producing highly homogeneous…

计算与语言 · 计算机科学 2025-11-11 Puzhen Su , Haoran Yin , Yongzhu Miao , Jintao Tang , Shasha Li , Ting Wang

UML Class diagram is very important to visualize the whole software we are working on and helps understand the whole system in the easiest way possible by showing the system classes, its attributes, methods, and relations with other…

软件工程 · 计算机科学 2020-11-17 Kaushil Mangaroliya , Het Patel

Recent works on representation learning for graph structured data predominantly focus on learning distributed representations of graph substructures such as nodes and subgraphs. However, many graph analytics tasks such as graph…

CLIP is a seminal multimodal model that maps images and text into a shared representation space through contrastive learning on billions of image-caption pairs. Inspired by the rapid progress of large language models (LLMs), we investigate…

计算机视觉与模式识别 · 计算机科学 2026-02-26 Weiquan Huang , Aoqi Wu , Yifan Yang , Xufang Luo , Yuqing Yang , Usman Naseem , Chunyu Wang , Chunyu Wang , Qi Dai , Xiyang Dai , Dongdong Chen , Chong Luo , Lili Qiu , Liang Hu

Vision-based quality assessment in additive manufacturing often requires dedicated machine learning models and application-specific datasets. However, data collection and model training can be expensive and time-consuming. In this paper, we…

计算机视觉与模式识别 · 计算机科学 2025-11-11 Qiaojie Zheng , Jiucai Zhang , Xiaoli Zhang

The adatom arrays on surfaces offer an ideal playground to explore the mechanisms of chemical bonding via changes in the local electronic tunneling spectra. While this information is readily available in hyperspectral scanning tunneling…

Image classification is a primary task in data analysis where explainable models are crucially demanded in various applications. Although amounts of methods have been proposed to obtain explainable knowledge from the black-box classifiers,…

计算机视觉与模式识别 · 计算机科学 2024-12-31 Ruitao Xie , Jingbang Chen , Limai Jiang , Rui Xiao , Yi Pan , Yunpeng Cai