English
Related papers

Related papers: On convergence-sensitive bisimulation and the embe…

200 papers

We conjecture that creativity and the perception of creativity are, at least to some extent, shaped by embodiment. This makes embodiment highly relevant for Computational Creativity (CC) research, but existing research is scarce and the use…

Artificial Intelligence · Computer Science 2021-07-05 Christian Guckelsberger , Anna Kantosalo , Santiago Negrete-Yankelevich , Tapio Takala

In video analysis, understanding the temporal context is crucial for recognizing object interactions, event patterns, and contextual changes over time. The proposed model leverages adjacency and semantic similarities between objects from…

Computer Vision and Pattern Recognition · Computer Science 2024-08-26 Ahnaf Farhan , M. Shahriar Hossain

We study the influence of context on sentence acceptability. First we compare the acceptability ratings of sentences judged in isolation, with a relevant context, and with an irrelevant context. Our results show that context induces a…

Computation and Language · Computer Science 2020-04-03 Jey Han Lau , Carlos S. Armendariz , Shalom Lappin , Matthew Purver , Chang Shu

Causal inference relies on the untestable assumption of no unmeasured confounding. Sensitivity analysis can be used to quantify the impact of unmeasured confounding on causal estimates. Among sensitivity analysis methods proposed in the…

Methodology · Statistics 2026-03-12 Yushu Zou , Liangyuan Hu , Amanda Ricciuto , Mark Deneau , Kuan Liu

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with…

Logic in Computer Science · Computer Science 2012-09-10 D. Latella , M. Massink , E. P. de Vink

This article proposes a formal rapprochement between cognitive load theory and embodied cognition by reconceptualizing psychological representations as dynamic multiscale attractors within a temporal-hierarchical prediction architecture.…

Neurons and Cognition · Quantitative Biology 2026-05-25 David C. Gibson , Mary Elizabeth Azukas , Meryem Yilmaz Soylu

In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for…

Logic in Computer Science · Computer Science 2014-05-12 Holger Hermanns , Jan Krčál , Jan Křetínský

This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events, to define non-interleaving semantics for the applied…

Logic in Computer Science · Computer Science 2022-09-13 Clément Aubert , Ross Horne , Christian Johansen

Pervasive systems refers to context-aware systems that can sense their context, and adapt their behavior accordingly to provide adaptable services. Proactive adaptation of such systems allows changing the service and the context based on…

Software Engineering · Computer Science 2015-05-06 Darine Ameyed , Moeiz Miraoui , Chakib Tadj

The Contextuality-by-Default (CbD) theory allows one to separate contextuality from context-dependent errors and violations of selective influences (aka "no-signaling" or "no-disturbance" principles). This makes the theory especially…

Neurons and Cognition · Quantitative Biology 2016-08-25 Ru Zhang , Ehtibar N. Dzhafarov

What makes images similar? To measure the similarity between images, they are typically embedded in a feature-vector space, in which their distance preserve the relative dissimilarity. However, when learning such similarity embeddings the…

Computer Vision and Pattern Recognition · Computer Science 2017-04-11 Andreas Veit , Serge Belongie , Theofanis Karaletsos

We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulation that is coarser than the classic bisimulation: it relates…

Logic in Computer Science · Computer Science 2023-06-22 Mikkel Hansen , Kim Guldstrand Larsen , Radu Mardare , Mathias Ruggaard Pedersen

We introduce the concept of embedding quantum simulators, a paradigm allowing the efficient quantum computation of a class of bipartite and multipartite entanglement monotones. It consists in the suitable encoding of a simulated quantum…

Quantum Physics · Physics 2015-06-16 R. Di Candia , B. Mejia , H. Castillo , J. S. Pedernales , J. Casanova , E. Solano

While deep learning surpasses human-level performance in narrow and specific vision tasks, it is fragile and over-confident in classification. For example, minor transformations in perspective, illumination, or object deformation in the…

Computer Vision and Pattern Recognition · Computer Science 2022-03-15 Maryam Daniali , Edward Kim

Pre-trained contextual language models are ubiquitously employed for language understanding tasks, but are unsuitable for resource-constrained systems. Noncontextual word embeddings are an efficient alternative in these settings. Such…

Computation and Language · Computer Science 2023-04-24 Anik Saha , Alex Gittens , Bulent Yener

Spatiotemporal data analysis is pivotal across various domains, such as transportation, meteorology, and healthcare. The data collected in real-world scenarios are often incomplete due to device malfunctions and network errors.…

Machine Learning · Computer Science 2024-03-25 Yakun Chen , Kaize Shi , Zhangkai Wu , Juan Chen , Xianzhi Wang , Julian McAuley , Guandong Xu , Shui Yu

We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship…

Logic in Computer Science · Computer Science 2023-06-22 Nicolas Behr , Vincent Danos , Ilias Garnier

Robustness as a system property describes the degree to which a system is able to function correctly in the presence of disturbances, i.e., unforeseen or erroneous inputs. In this paper, we introduce a notion of robustness termed…

Systems and Control · Computer Science 2017-06-19 Matthias Rungger , Paulo Tabuada

This article seeks to advance coded compressed sensing (CCS) as a practical scheme for unsourced random access. The original CCS algorithm features a concatenated structure where an inner code is tasked with support recovery, and an outer…

Information Theory · Computer Science 2020-10-23 Jamison R. Ebert , Vamsi K. Amalladinne , Jean-Francois Chamberland , Krishna R. Narayanan

Understanding the neural mechanism underlying subjective representation has become a central endeavor in cognitive-neuroscience. In theories of conscious perception, stimulus gaining conscious access is usually considered as a discrete…

Neurons and Cognition · Quantitative Biology 2018-03-28 Moti Salti , Asaf Harel , Sebastien Marti