中文
相关论文

相关论文: A File System Abstraction for Sense and Respond Sy…

200 篇论文

Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation…

软件工程 · 计算机科学 2021-06-18 Ramy Shahin

In this paper we propose a compositional scheme for the construction of abstractions for networks of control systems using the interconnection matrix and joint dissipativity-type properties of subsystems and their abstractions. In the…

最优化与控制 · 数学 2016-12-30 Majid Zamani , Murat Arcak

In this paper, we develop a framework for path-planning on abstractions that are not provided to the agent a priori but instead emerge as a function of the available computational resources. We show how a path-planning problem in an…

机器人学 · 计算机科学 2021-07-29 Daniel T. Larsson , Dipankar Maity , Panagiotis Tsiotras

A long-held objective in AI is to build systems that understand concepts in a humanlike way. Setting aside the difficulty of building such a system, even trying to evaluate one is a challenge, due to present-day AI's relative opacity and…

人工智能 · 计算机科学 2022-06-29 Victor Vikram Odouard , Melanie Mitchell

This paper proposes a conceptual framework in which intelligence and consciousness emerge from relational structure rather than from prediction or domain-specific mechanisms. Intelligence is defined as the capacity to form and integrate…

人工智能 · 计算机科学 2026-01-09 Sean Niklas Semmler

This paper introduces the concept of abstracted model reduction: a framework to improve the tractability of structure-preserving methods for the complexity reduction of interconnected system models. To effectively reduce high-order,…

系统与控制 · 电气工程与系统科学 2024-11-21 Luuk Poort , Lars A. L. Janssen , Bart Besselink , Rob H. B. Fey , Nathan van de Wouw

The goal of this report is to define abstractions for multi-agent systems with feedback interconnection in their dynamics. In the proposed decentralized framework, we specify a finite or countable transition system for each agent which only…

系统与控制 · 计算机科学 2016-08-24 Dimitris Boskos , Dimos V. Dimarogonas

Humans are capable of abstracting away irrelevant details when studying problems. This is especially noticeable for problems over grid-cells, as humans are able to disregard certain parts of the grid and focus on the key elements important…

人工智能 · 计算机科学 2019-09-12 Thomas Eiter , Zeynep G. Saribatur , Peter Schüller

The trajectories of 6G and AI are set for a creative collision. However, current visions for 6G remain largely incremental evolutions of 5G, while progress in AI is hampered by brittle, data-hungry models that lack robust reasoning…

机器学习 · 计算机科学 2025-05-28 Mehdi Bennis , Salem Lahlou

Abstraction is one of the fundamental concepts of software design. Consequently, the determination of an appropriate abstraction level for the multitude of artefacts that form a software system is an integral part of software engineering.…

软件工程 · 计算机科学 2017-09-06 Stefan Wagner , Florian Deissenboeck

A central but unresolved aspect of problem-solving in AI is the capability to introduce and use abstractions, something humans excel at. Work in cognitive science has demonstrated that humans tend towards higher levels of abstraction when…

计算与语言 · 计算机科学 2026-02-26 Jonathan D. Thomas , Andrea Silvi , Devdatt Dubhashi , Moa Johansson

We present two frameworks for structure-preserving model order reduction of interconnected subsystems, improving tractability of the reduction methods while ensuring stability and accuracy bounds of the reduced interconnected model. Instead…

系统与控制 · 电气工程与系统科学 2025-01-22 Luuk Poort , Bart Besselink , Rob H. B. Fey , Nathan van de Wouw

The primary challenge for any autonomous system operating in realistic, rather unconstrained scenarios is to manage the complexity and uncertainty of the real world. While it is unclear how exactly humans and other higher animals master…

计算机视觉与模式识别 · 计算机科学 2020-02-20 Ziyuan Liu , Georg von Wichert

In this article, the file system development design approaches are discussed. The selection of the file system design approach is done according to the needs of the developers what are the needed requirements and specifications for the new…

操作系统 · 计算机科学 2014-03-25 Brijender Kahanwal

We present a methodology for formulating simplifying abstractions in machine learning systems by identifying and harnessing the utility structure of decisions. Machine learning tasks commonly involve high-dimensional output spaces (e.g.,…

机器学习 · 计算机科学 2023-03-31 Michael Poli , Stefano Massaroli , Stefano Ermon , Bryan Wilder , Eric Horvitz

A core abstraction in early Unix systems was the principle that 'everything is a file', enabling heterogeneous devices and kernel resources to be manipulated via uniform read/write interfaces. This paper explores how an analogous…

软件工程 · 计算机科学 2026-01-21 Deepak Babu Piskala

Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of…

计算机科学中的逻辑 · 计算机科学 2018-02-12 Alberto Speranzon , David I. Spivak , Srivatsan Varadarajan

In many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different frameworks are used, the system model becomes hard to read and to…

软件工程 · 计算机科学 2015-03-12 Maria Spichkova , Heinz Schmidt

Desirable system performance in the face of threats and disruptions has been characterized by various management concepts. Through semi-structured interviews with editors of journals in the fields of emergency response and systems…

物理与社会 · 物理学 2020-08-25 Stephanie Galaitsi , Benjamin D. Trump , Jeffrey M. Keisler , Igor Linkov

Runtime adaptability is often a crucial requirement for today's complex software systems. Several approaches use an architectural model as a runtime representation of a managed system for monitoring, reasoning and performing adaptation. To…

软件工程 · 计算机科学 2018-05-22 Thomas Vogel , Holger Giese