English
Related papers

Related papers: System Model Semantics of Class Diagrams

200 papers

Graph neural networks form a class of deep learning architectures specifically designed to work with graph-structured data. As such, they share the inherent limitations and problems of deep learning, especially regarding the issues of…

Formal Languages and Automata Theory · Computer Science 2024-10-16 Matteo Belenchia , Flavio Corradini , Michela Quadrini , Michele Loreti

Planning with world models offers a powerful paradigm for robotic control. Conventional approaches train a model to predict future frames conditioned on current frames and actions, which can then be used for planning. However, the objective…

Machine Learning · Computer Science 2025-10-23 Jacob Berg , Chuning Zhu , Yanda Bao , Ishan Durugkar , Abhishek Gupta

One of the most difficult aspects of modeling complex dilemmas in decision-analytic terms is composing a diagram of relevance relations from a set of domain concepts. Decision models in domains such as medicine, however, exhibit certain…

Artificial Intelligence · Computer Science 2013-03-08 John W. Egar , Mark A. Musen

Modelling the logical architecture of an automotive system as one central step in the development process leads to an early understanding of the fundamental functional properties of the system under design. This supports developers in…

Software Engineering · Computer Science 2014-09-24 Hans Grönninger , Jochen Hartmann , Holger Krahn , Stefan Kriebel , Lutz Rothhart , Bernhard Rumpe

Knowledge graphs and ontologies are becoming increasingly important as technical solutions for Findable, Accessible, Interoperable, and Reusable data and metadata (FAIR Guiding Principles). We discuss four challenges that impede the use of…

Databases · Computer Science 2023-01-04 Lars Vogt , Tobias Kuhn , Robert Hoehndorf

Semantic vectors are learned from data to express semantic relationships between elements of information, for the purpose of solving and informing downstream tasks. Other models exist that learn to map and classify supervised data. However,…

Artificial Intelligence · Computer Science 2018-07-24 Peter Sutor , Douglas Summers-Stay , Yiannis Aloimonos

In this paper, we describe an approach that enables an autonomous system to infer the semantics of a command (i.e. a symbol sequence representing an action) in terms of the relations between changes in the observations and the action…

Machine Learning · Computer Science 2013-07-30 Martin E. Mueller , Madhura D. Thosar

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies…

Software Engineering · Computer Science 2021-02-08 Sabah Al-Fedaghi

Declarative machine learning (ML) aims at the high-level specification of ML tasks or algorithms, and automatic generation of optimized execution plans from these specifications. The fundamental goal is to simplify the usage and/or…

Databases · Computer Science 2016-05-20 Matthias Boehm , Alexandre V. Evfimievski , Niketan Pansare , Berthold Reinwald

A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an…

Software Engineering · Computer Science 2021-05-04 Sabah Al-Fedaghi

Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation. We give a trio of…

Logic in Computer Science · Computer Science 2026-04-20 Murdoch J. Gabbay

We introduce a new definition of a model for a formal mathematical system. The definition is based upon the substitution in the formal systems, which allows a purely algebraic approach to model theory. This is very suitable for applications…

Logic · Mathematics 2026-03-03 Matthias Kunik

Semantic communication, leveraging advanced deep learning techniques, emerges as a new paradigm that meets the requirements of next-generation wireless networks. However, current semantic communication systems, which employ neural coding…

Information Theory · Computer Science 2025-08-20 Hai-Long Qin , Jincheng Dai , Sixian Wang , Xiaoqi Qin , Shuo Shao , Kai Niu , Wenjun Xu , Ping Zhang

Word embeddings are substantially successful in capturing semantic relations among words. However, these lexical semantics are difficult to be interpreted. Definition modeling provides a more intuitive way to evaluate embeddings by…

Computation and Language · Computer Science 2020-07-21 Haitong Zhang , Yongping Du , Jiaxin Sun , Qingxiao Li

Current open-domain neural semantics parsers show impressive performance. However, closer inspection of the symbolic meaning representations they produce reveals significant weaknesses: sometimes they tend to merely copy character sequences…

Computation and Language · Computer Science 2024-09-19 Xiao Zhang , Gosse Bouma , Johan Bos

Taxonomies are semantic hierarchies of concepts. One limitation of current taxonomy learning systems is that they define concepts as single words. This position paper argues that contextualized word representations, which recently achieved…

Computation and Language · Computer Science 2019-02-07 Lukas Schmelzeisen , Steffen Staab

All aspects of our society, including the life sciences, need a mechanism for people working within them to represent the concepts they employ to carry out their research. For the information systems being designed and developed to support…

Human-Computer Interaction · Computer Science 2025-06-24 R. Lukyanenko , O. Pastor , V. C. Storey

Representing structured text from complex documents typically calls for different machine learning techniques, such as language models for paragraphs and convolutional neural networks (CNNs) for table extraction, which prohibits drawing…

Computation and Language · Computer Science 2022-02-21 Thomas Roland Barillot , Jacob Saks , Polena Lilyanova , Edward Torgas , Yachen Hu , Yuanqing Liu , Varun Balupuri , Paul Gaskell

Allowing users to interact through language borders is an interesting challenge for information technology. For the purpose of a computer assisted language learning system, we have chosen icons for representing meaning on the input…

Computation and Language · Computer Science 2007-05-23 Pascal Vaillant

In the SysLab project we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their components. It is used to formalize the…

Software Engineering · Computer Science 2014-09-26 Cornel Klein , Bernhard Rumpe , Manfred Broy