中文
相关论文

相关论文: The Athena Data Dictionary and Description Languag…

200 篇论文

Traditional industrial automation systems require specialized expertise to operate and complex reprogramming to adapt to new processes. Large language models offer the intelligence to make them more flexible and easier to use. However,…

系统与控制 · 电气工程与系统科学 2025-06-16 Yuchen Xia , Nasser Jazdi , Jize Zhang , Chaitanya Shah , Michael Weyrich

There has been extensive research on developing defense techniques against adversarial attacks; however, they have been mainly designed for specific model families or application domains, therefore, they cannot be easily extended. Based on…

机器学习 · 计算机科学 2020-10-20 Ying Meng , Jianhai Su , Jason O'Kane , Pooyan Jamshidi

With the rise of knowledge management and knowledge economy, the knowledge elements that directly link and embody the knowledge system have become the research focus and hotspot in certain areas. The existing knowledge element…

计算机科学中的逻辑 · 计算机科学 2019-04-17 Bin Wen , Jianhou Gan , Juan L. G. Guirao , Wei Gao

We describe the design and early implementation of an extensible, component-based software architecture for natural language engineering applications which interfaces with high performance distributed computing services. The architecture…

分布式、并行与集群计算 · 计算机科学 2007-05-23 Baden Hughes , Steven Bird

An analysis description language is a domain specific language capable of describing the contents of an LHC analysis in a standard and unambiguous way, independent of any computing framework. It is designed for use by anyone with an…

Design assistants are frameworks, tools or applications intended to facilitate both the creative and technical facets of design processes. Large language models (LLMs) are AI systems engineered to analyze and produce text resembling human…

人机交互 · 计算机科学 2025-02-12 Swaroop Panda

In the rapidly evolving domain of artificial intelligence, Large Language Models (LLMs) play a crucial role due to their advanced text processing and generation abilities. This study introduces a new strategy aimed at harnessing on-device…

计算与语言 · 计算机科学 2024-04-03 Wei Chen , Zhiyuan Li , Mingyuan Ma

Enabling large language models to scale and reliably use hundreds of tools is critical for real-world applications, yet challenging due to the inefficiency and error accumulation inherent in flat tool-calling architectures. To address this,…

计算与语言 · 计算机科学 2026-04-14 Chengrui Huang , Junshuo Zhang , Zhiyuan Ma , Xikun Wang , Ximeng Wang , Menghua Jiang , Gang Zeng , Zhaobing Han , Shen Gao , Shuo Shang

In this paper, we introduce OWLAPY, a comprehensive Python framework for OWL ontology engineering. OWLAPY streamlines the creation, modification, and serialization of OWL 2 ontologies. It uniquely integrates native Python-based reasoners…

软件工程 · 计算机科学 2025-11-12 Alkid Baci , Luke Friedrichs , Caglar Demir , Axel-Cyrille Ngonga Ngomo

The Model Context Protocol (MCP) is the standard interface between large language model (LLM) agents and external tools. At organizational scale, however, it exposes two structural problems. First, every API integration is shipped as a…

软件工程 · 计算机科学 2026-05-08 Axel Dunkel

Text-to-image diffusion models achieve high visual fidelity but surprisingly exhibit systematic failures in numerical control when prompts specify explicit object counts. To address this limitation, we introduce ATHENA, a model-agnostic,…

计算机视觉与模式识别 · 计算机科学 2026-03-23 Mohammad Shahab Sepehri , Asal Mehradfar , Berk Tinaz , Salman Avestimehr , Mahdi Soltanolkotabi

Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the…

软件工程 · 计算机科学 2020-05-08 Alberto Martin-Lopez , Sergio Segura , Carlos Müller , Antonio Ruiz-Cortés

The Atlas collaboration at CERN has adopted the Gaudi software architecture which belongs to the blackboard family: data objects produced by knowledge sources (e.g. reconstruction modules) are posted to a common in-memory data base from…

软件工程 · 计算机科学 2007-05-23 P. Calafiura , C. G. Leggett , D. R. Quarrie , H. Ma , S. Rajagopalan

The SemanticWeb emerged as an extension to the traditional Web, towards adding meaning to a distributed Web of structured and linked data. At its core, the concept of ontology provides the means to semantically describe and structure…

人工智能 · 计算机科学 2021-05-03 Konstantinos Sikelis , George E Tsekouras , Konstantinos I Kotis

The Architecture Analysis & Design Language (AADL) is an architecture description language for design of cyber-physical systems--machines controlled by software. The AADL standard, SAE International AS5506D, describes Run-Time Services…

软件工程 · 计算机科学 2025-07-10 Brian R Larson , Ehsan Ahmad

We introduce Orla, a library for constructing and running LLM-based agentic systems. Modern agentic applications consist of workflows that combine multiple LLM inference steps, tool calls, and heterogeneous infrastructure. Today, developers…

人工智能 · 计算机科学 2026-03-17 Rana Shahout , Hayder Tirmazi , Minlan Yu , Michael Mitzenmacher

The field of Artificial Intelligence is undergoing a transition from Generative AI -- probabilistic generation of text and images -- to Agentic AI, in which autonomous systems execute actions within external environments on behalf of users.…

人工智能 · 计算机科学 2026-03-02 Sheng Cao , Zhao Chang , Chang Li , Hannan Li , Liyao Fu , Ji Tang

This paper presents a modern and scalable framework for analyzing Detector Control System (DCS) data from the ATLAS experiment at CERN. The DCS data, stored in an Oracle database via the WinCC OA system, is optimized for transactional…

分布式、并行与集群计算 · 计算机科学 2025-01-24 Luca Canali , Andrea Formica , Michelle Ann Solis

This article introduces an innovative architecture designed to declaratively combine Large Language Models (LLMs) with shared histories, and triggers to identify the most appropriate LLM for a given task. Our approach is general and…

形式语言与自动机理论 · 计算机科学 2024-09-24 Thierry Petit , Arnault Pachot , Claire Conan-Vrinat , Alexandre Dubarry

In this paper we use attribute grammars as a formal approach for model checkers development. Our aim is to design an ATL (Alternating-Time Temporal Logic) model checker from a context-free grammar which generates the language of the ATL…

计算机科学中的逻辑 · 计算机科学 2019-02-06 Florin Stoica , Laura Florentina Stoica