English
Related papers

Related papers: Revisiting Pattern Structure Projections

200 papers

We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic…

Logic in Computer Science · Computer Science 2007-05-23 Pascal Hitzler , Matthias Wendt

Building robust natural language understanding systems will require a clear characterization of whether and how various linguistic meaning representations complement each other. To perform a systematic comparative analysis, we evaluate the…

Computation and Language · Computer Science 2020-11-03 Daniel Hershcovich , Nathan Schneider , Dotan Dvir , Jakob Prange , Miryam de Lhoneux , Omri Abend

Traditional process mining techniques take event data as input where each event is associated with exactly one object. An object represents the instantiation of a process. Object-centric event data contain events associated with multiple…

Machine Learning · Computer Science 2022-09-07 Jan Niklas Adams , Gyunam Park , Sergej Levich , Daniel Schuster , Wil M. P. van der Aalst

Representation theorems are established for fixed points of adjoint functors between categories enriched in a small quantaloid. In a very general setting these results set up a common framework for representation theorems of concept…

Logic in Computer Science · Computer Science 2017-08-09 Hongliang Lai , Lili Shen

There is increasing focus on analyzing data represented as hypergraphs, which are better able to express complex relationships amongst entities than are graphs. Much of the critical information about hypergraph structure is available only…

Data Structures and Algorithms · Computer Science 2023-07-24 Michael G. Rawson , Audun Myers , Robert Green , Michael Robinson , Cliff Joslyn

Structural Equation Modeling (SEM) or Covariance Structure Analysis (CSA) is a versatile and powerful method in the social and behavioral sciences, providing a framework for modeling complex relationships, testing mediation, accounting for…

Applications · Statistics 2025-04-01 Bang Quan Zheng

This is a motivating tutorial introduction to a semantic analysis of programming languages using a graphical language as the representation of terms, and graph rewriting as a representation of reduction rules. We show how the graphical…

Programming Languages · Computer Science 2021-02-05 Dan R. Ghica

Implicit computational complexity, which aims at characterizing complexity classes by machine-independent means, has traditionally been based, on the one hand, on programs and deductive formalisms for free algebras, and on the other hand on…

Logic in Computer Science · Computer Science 2018-02-12 Daniel Leivant , Jean-Yves Marion

We study the structure of representations, defined as approximations of minimal sufficient statistics that are maximal invariants to nuisance factors, for visual data subject to scaling and occlusion of line-of-sight. We derive analytical…

Computer Vision and Pattern Recognition · Computer Science 2015-04-20 Stefano Soatto , Jingming Dong , Nikolaos Karianakis

The fastICA method is a popular dimension reduction technique used to reveal patterns in data. Here we show both theoretically and in practice that the approximations used in fastICA can result in patterns not being successfully recognised.…

Machine Learning · Statistics 2020-09-09 Elena Issoglio , Paul Smith , Jochen Voss

Dimensionality reduction is a common method for analyzing and visualizing high-dimensional data across domains. Dimensionality-reduction algorithms involve complex optimizations and the reduced dimensions computed by these algorithms…

Human-Computer Interaction · Computer Science 2017-08-16 Marco Cavallo , Çağatay Demiralp

The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by convex regions in this space. After…

Artificial Intelligence · Computer Science 2017-09-22 Lucas Bechberger , Kai-Uwe Kühnberger

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic…

Programming Languages · Computer Science 2023-02-24 Aleksander Boruch-Gruszecki , Radosław Waśko , Yichen Xu , Lionel Parreaux

Complexity of patterns is a key information for human brain to differ objects of about the same size and shape. Like other innate human senses, the complexity perception cannot be easily quantified. We propose a transparent and universal…

Pattern Formation and Solitons · Physics 2020-12-30 Andrey A. Bagrov , Ilia A. Iakovlev , Askar A. Iliasov , Mikhail I. Katsnelson , Vladimir V. Mazurenko

Predicate-argument structure analysis is a central component in meaning representations of text. The fact that some arguments are not explicitly mentioned in a sentence gives rise to ambiguity in language understanding, and renders it…

Computation and Language · Computer Science 2021-04-09 Ruixiang Cui , Daniel Hershcovich

Although the notion of a concept as a collection of objects sharing certain properties, and the notion of a conceptual hierarchy are fundamental to both Formal Concept Analysis and Description Logics, the ways concepts are described and…

Logic in Computer Science · Computer Science 2011-07-15 Baris Sertkaya

This paper proposes a new framework for Citation Content Analysis (CCA), for syntactic and semantic analysis of citation content that can be used to better analyze the rich sociocultural context of research behavior. The framework could be…

Digital Libraries · Computer Science 2012-11-28 Guo Zhang , Ying Ding , Staša Milojević

Functional principal component analysis (FPCA) is an important technique for dimension reduction in functional data analysis (FDA). Classical FPCA method is based on the Karhunen-Lo\`{e}ve expansion, which assumes a linear structure of the…

Methodology · Statistics 2023-06-27 Rou Zhong , Chunming Zhang , Jingxiao Zhang

Implementing large software, as software analyzers which aim to be used in industrial settings, requires a well-engineered software architecture in order to ease its daily development and its maintenance process during its lifecycle. If the…

Software Engineering · Computer Science 2015-08-18 Julien Signoles

Canonical correlation analysis (CCA) is a classical representation learning technique for finding correlated variables in multi-view data. Several nonlinear extensions of the original linear CCA have been proposed, including kernel and deep…

Machine Learning · Computer Science 2016-02-09 Tomer Michaeli , Weiran Wang , Karen Livescu