English
Related papers

Related papers: An Overview Of Some Semantic And Syntactic Complex…

200 papers

An attempt of a new kind of complexity anthropology is considered.

Other Computer Science · Computer Science 2009-04-21 Michael A. Popov

We consider the relations between different measures of complexity for free homotopy classes of curves on a surface $\Sigma$, including the minimum number of self-intersections, the minimum length of the words representing them in a…

Geometric Topology · Mathematics 2018-07-20 Max Neumann-Coto , Macarena Covadonga Robles Arenas

We study possibilities for semantic and syntactic rigidity, i.e., the rigidity with respect to automorphism group and with respect to definable closure. Variations of rigidity and their degrees are studied in general case, for special…

Logic · Mathematics 2023-07-26 Sergey V. Sudoplatov

The term {\em complexity} is used informally both as a quality and as a quantity. As a quality, complexity has something to do with our ability to understand a system or object -- we understand simple systems, but not complex ones. On…

Adaptation and Self-Organizing Systems · Physics 2009-11-19 Russell K. Standish

The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of regular languages is the maximal syntactic complexity of languages in that subclass, taken as a function…

Formal Languages and Automata Theory · Computer Science 2011-09-16 Janusz Brzozowski , Baiyu Li

This paper classifies the complexity of various teaching models by their position in the arithmetical hierarchy. In particular, we determine the arithmetical complexity of the index sets of the following classes: (1) the class of uniformly…

Logic · Mathematics 2016-10-28 Achilles A. Beros , Ziyuan Gao , Sandra Zilles

We develop a complexity theory for approximate real computations. We first produce a theory for exact computations but with condition numbers. The input size depends on a condition number, which is not assumed known by the machine. The…

Computational Complexity · Computer Science 2020-05-05 Gregorio Malajovich , Mike Shub

In this article we undertake a study of extension complexity from the perspective of formal languages. We define a natural way to associate a family of polytopes with binary languages. This allows us to define the notion of extension…

Computational Complexity · Computer Science 2019-08-29 Hans Raj Tiwary

We study the complexity of reasoning in abstracts argumentation frameworks close to graph classes that allow for efficient reasoning methods, i.e.\ to one of the classes of acyclic, noeven, biparite and symmetric AFs. In this work we show…

Artificial Intelligence · Computer Science 2015-03-19 Wolfgang Dvořák

Understanding the semantic relationships between terms is a fundamental task in natural language processing applications. While structured resources that can express those relationships in a formal way, such as ontologies, are still scarce,…

Computation and Language · Computer Science 2018-06-21 Vivian S. Silva , Siegfried Handschuh , André Freitas

The important part of semantics of complex sentence is captured as relations among semantic roles in subordinate and main clause respectively. However if there can be relations between every pair of semantic roles, the amount of computation…

cmp-lg · Computer Science 2008-02-03 Hiroshi Nakagawa , Shin'ichiro Nishizawa

The class of known constraint automata for which the constrained synchronization problem is in NP all admit a special form. In this work, we take a closer look at them. We characterize a wider class of constraint automata that give…

Formal Languages and Automata Theory · Computer Science 2021-08-24 Stefan Hoffmann

A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered…

Computational Complexity · Computer Science 2014-11-25 Vladimir Naidenko

The novel concept of box spline of complex degree is introduced and several of its properties derived and discussed. These box splines of complex degree generalize and extend the classical box splines. Relations to a class of fractional…

Functional Analysis · Mathematics 2023-09-06 Fabio Marcelo Carvalho dos Santos , Peter Massopust

These lecture notes are intended as an introduction to several notions of tensor rank and their connections to the asymptotic complexity of matrix multiplication. The latter is studied with the exponent of matrix multiplication, which will…

Algebraic Geometry · Mathematics 2022-08-01 Giorgio Ottaviani , Philipp Reichenbach

We propose an extension of the framework for discussing the computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represented only through approximation. The key idea…

Computational Complexity · Computer Science 2013-05-03 Akitoshi Kawamura , Stephen Cook

We examine the computational complexity of testing and finding small plans in probabilistic planning domains with both flat and propositional representations. The complexity of plan evaluation and existence varies with the plan type sought;…

Artificial Intelligence · Computer Science 2007-05-23 M. L. Littman , J. Goldsmith , M. Mundhenk

We define a notion of complexity, which quantifies the nonlinearity of the computation of a neural network, as well as a complementary measure of the effective dimension of feature representations. We investigate these observables both for…

Machine Learning · Computer Science 2021-03-18 Romuald A. Janik , Przemek Witaszczyk

Numerous definitions for complexity have been proposed over the last half century, with little consensus achieved on how to use the term. A definition of complexity is supplied here that is closely related to the Kolmogorov Complexity and…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Russell K. Standish

In this paper, we analyze the complexity of functional programs written in the interaction-net computation model, an asynchronous, parallel and confluent model that generalizes linear-logic proof nets. Employing user-defined sized and…

Programming Languages · Computer Science 2015-11-06 Stéphane Gimenez , Georg Moser