English
Related papers

Related papers: Meta-Modelling in Formal Concept Analysis

200 papers

In this report we present a new modelling framework for concepts based on quantum theory, and demonstrate how the conceptual representations can be learned automatically from data. A contribution of the work is a thorough category-theoretic…

Neurons and Cognition · Quantitative Biology 2023-03-01 Sean Tull , Razin A. Shaikh , Sara Sabrina Zemljic , Stephen Clark

The use of semantic descriptions in data intensive domains require a systematic model for linking semantic descriptions with their manifestations in fragments of heterogeneous information and data objects. Such information heterogeneity…

Artificial Intelligence · Computer Science 2019-09-11 Sandro Rama Fiorini , Wallas Sousa dos Santos , Rodrigo Costa Mesquita , Guilherme Ferreira Lima , Marcio F. Moreno

Formal Concept Analysis "FCA" is a data analysis method which enables to discover hidden knowledge existing in data. A kind of hidden knowledge extracted from data is association rules. Different quality measures were reported in the…

Information Theory · Computer Science 2010-08-24 Dhouha Grissa , Sylvie Guillaume , Engelbert Mephu Nguifo

A large body of research in machine learning is concerned with supervised learning from examples. The examples are typically represented as vectors in a multi-dimensional feature space (also known as attribute-value descriptions). A teacher…

Machine Learning · Computer Science 2007-05-23 Peter D. Turney

This paper describes a method for creating structure from heterogeneous sources, as part of an information database, or more specifically, a 'concept base'. Structures called 'concept trees' can grow from the semi-structured sources when…

Information Retrieval · Computer Science 2015-03-17 Kieran Greer

Conceptual modeling is a strongly interdisciplinary field of research. Although numerous proposals for axiomatic foundations of the main ideas of the field exist, there is still a lack of understanding main concepts such as system, process,…

Software Engineering · Computer Science 2022-03-21 Peter Fettke , Wolfgang Reisig

The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features from the Automath-related lambda calculi and some from the…

Logic in Computer Science · Computer Science 2008-09-25 F. Guidi

Accurate understanding of users in terms of predicative segments play an essential role in the day to day operation of modern internet enterprises. Nevertheless, there are significant challenges that limit the quality of data, especially on…

Artificial Intelligence · Computer Science 2022-03-10 Keqian Li , Yifan Hu , Logan Palanisamy , Lisa Jones , Akshay Gupta , Jason Grigsby , Ili Selinger , Matt Gillingham , Fei Tan

Data analysis requires translating higher level questions and hypotheses into computable statistical models. We present a mixed-methods study aimed at identifying the steps, considerations, and challenges involved in operationalizing…

Other Computer Science · Computer Science 2021-04-08 Eunice Jun , Melissa Birchfield , Nicole de Moura , Jeffrey Heer , Rene Just

We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a conceptual representation from texts according to a domain…

cmp-lg · Computer Science 2008-02-03 Jacques Bouaud , Bruno Bachimont , Pierre Zweigenbaum

Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-party vendors and often assembled to realize the overall…

Software Engineering · Computer Science 2022-05-31 Aritra Hazra

Model Driven Engineering (MDE) has been widely applied in software development, aiming to facilitate the coordination among various stakeholders. Such a methodology allows for a more efficient and effective development process.…

Software Engineering · Computer Science 2022-03-14 Juri Di Rocco , Davide Di Ruscio , Claudio Di Sipio , Phuong T. Nguyen , Alfonso Pierantonio

Concept-based interpretability methods offer a lens into the internals of foundation models by decomposing their embeddings into high-level concepts. These concept representations are most useful when they are compositional, meaning that…

Computation and Language · Computer Science 2024-06-27 Adam Stein , Aaditya Naik , Yinjun Wu , Mayur Naik , Eric Wong

3D objects (artefacts) are made to fulfill functions. Designing an object often starts with defining a list of functionalities that it should provide, also known as functional requirements. Today, the design of 3D object models is still a…

Artificial Intelligence · Computer Science 2018-10-18 Mihai Andries , Atabak Dehban , José Santos-Victor

Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity. Various dependability modeling techniques have been…

Software Engineering · Computer Science 2016-06-23 Waqar Ahmed , Osman Hasan , Sofiene Tahar

Recent years have witnessed an abundance of new publications and approaches on meta-learning. This community-wide enthusiasm has sparked great insights but has also created a plethora of seemingly different frameworks, which can be hard to…

Machine Learning · Computer Science 2020-02-04 Wei-Lun Chao , Han-Jia Ye , De-Chuan Zhan , Mark Campbell , Kilian Q. Weinberger

This paper aims to show that a simple framework, utilizing basic formalisms from set theory and category theory, can clarify and inform our theories of the relation between mind and matter.

Artificial Intelligence · Computer Science 2024-10-15 Ryan Williams

Recent advances in programming languages study and design have established a standard way of grounding computational systems representation in category theory. These formal results led to a better understanding of issues of control and…

Artificial Intelligence · Computer Science 2007-05-23 Jean-Marie Chauvet

In computer vision, visual arts are often studied from a purely aesthetics perspective, mostly by analysing the visual appearance of an artistic reproduction to infer its style, its author, or its representative features. In this work,…

Computer Vision and Pattern Recognition · Computer Science 2019-04-25 Noa Garcia , Benjamin Renoust , Yuta Nakashima

Images in the wild encapsulate rich knowledge about varied abstract concepts and cannot be sufficiently described with models built only using image-caption pairs containing selected objects. We propose to handle such a task with the…

Computer Vision and Pattern Recognition · Computer Science 2017-10-18 Aditya Mogadala , Umanga Bista , Lexing Xie , Achim Rettinger