English
Related papers

Related papers: A Compositional Sheaf-Theoretic Framework for Even…

200 papers

Complex data usually results from the interaction of objects produced by different generating mechanisms. Here we introduce a universal, unsupervised and parameter-free model-oriented approach, based upon the seminal concept of algorithmic…

Artificial Intelligence · Computer Science 2018-09-14 Hector Zenil , Narsis A. Kiani , Allan A. Zea , Jesper Tegnér

Computational devices combining two or more different parts, one controlling the operation of the other, for example, derive their power from the interaction, in addition to the capabilities of the parts. Non-classical computation has…

Emerging Technologies · Computer Science 2012-10-03 Susan Stepney , Viv Kendon , Peter Hines , Angelika Sebald

We introduce a sheaf-theoretic characterization of task solvability in general distributed computing models, unifying distinct approaches to message-passing models. We establish cellular sheaves as a natural mathematical framework for…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-28 Stephan Felber , Bernardo Hummes Flores , Hugo Rincon Galeana

Smart systems are characterised by their ability to analyse measured data in live and to react to changes according to expert rules. Therefore, such systems exploit appropriate data models together with actions, triggered by domain-related…

Software Engineering · Computer Science 2017-04-28 Ludovic Mouline , Thomas Hartmann , François Fouquet , Yves Le Traon , Johann Bourcier , Olivier Barais

Reasoning on large and complex real-world models is a computationally difficult task, yet one that is required for effective use of many AI applications. A plethora of inference algorithms have been developed that work well on specific…

Artificial Intelligence · Computer Science 2016-06-13 Avi Pfeffer , Brian Ruttenberg , William Kretschmer

Deep transformer models have pushed performance on NLP tasks to new limits, suggesting sophisticated treatment of complex linguistic inputs, such as phrases. However, we have limited understanding of how these models handle representation…

Computation and Language · Computer Science 2020-10-15 Lang Yu , Allyson Ettinger

The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous…

Logic in Computer Science · Computer Science 2022-08-03 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We present a conceptual framework that unifies a variety of evaluation metrics for different structured prediction tasks (e.g. event and relation extraction, syntactic and semantic parsing). Our framework requires representing the outputs…

Computation and Language · Computer Science 2023-10-24 Yunmo Chen , William Gantt , Tongfei Chen , Aaron Steven White , Benjamin Van Durme

A formal consideration in this paper is given for the essential notations to characterize the object that is distinguished in a problem domain. The distinct object is represented by another idealized object, which is a schematic element.…

Logic in Computer Science · Computer Science 2007-05-23 Viacheslav Wolfengagen

Generative models have demonstrated remarkable abilities in generating high-fidelity visual content. In this work, we explore how generative models can further be used not only to synthesize visual content but also to understand the…

Computer Vision and Pattern Recognition · Computer Science 2025-06-25 Yanbo Wang , Justin Dauwels , Yilun Du

This paper describes the automation of a new text categorization task. The categories assigned in this task are more syntactically, semantically, and contextually complex than those typically assigned by fully automatic systems that process…

cmp-lg · Computer Science 2007-05-23 Janyce Wiebe , Rebecca Bruce , Lei Duan

We propose an automata theoretic learning algorithm for the identification of black-box switched linear systems whose switching logics are event-driven. A switched system is expressed by a deterministic finite automaton (FA) whose node…

Systems and Control · Electrical Eng. & Systems 2021-11-11 Atreyee Kundu , Pavithra Prabhakar

Deep generative models allow for photorealistic image synthesis at high resolutions. But for many applications, this is not enough: content creation also needs to be controllable. While several recent works investigate how to disentangle…

Computer Vision and Pattern Recognition · Computer Science 2021-04-30 Michael Niemeyer , Andreas Geiger

We present a system for Complex Event Recognition (CER) based on automata. While multiple such systems have been described in the literature, they typically suffer from a lack of clear and denotational semantics, a limitation which often…

Formal Languages and Automata Theory · Computer Science 2024-07-04 Elias Alevizos , Alexander Artikis , Georgios Paliouras

Complex Event Processing (CEP) has emerged as the unifying field for technologies that require processing and correlating distributed data sources in real-time. CEP finds applications in diverse domains, which has resulted in a large number…

Databases · Computer Science 2018-08-31 Marco Bucchi , Alejandro Grez , Cristian Riveros , Martín Ugarte

Compositional generalization-the systematic combination of known components into novel structures-remains a core challenge in cognitive science and machine learning. Although transformer-based large language models can exhibit strong…

Machine Learning · Computer Science 2025-02-25 Cheng Tang , Brenden Lake , Mehrdad Jazayeri

Induction of common sense knowledge about prototypical sequences of events has recently received much attention. Instead of inducing this knowledge in the form of graphs, as in much of the previous work, in our method, distributed…

Machine Learning · Computer Science 2017-02-13 Ashutosh Modi , Ivan Titov

Structural nonlinearity can be harnessed to program complex functionalities in robotic devices. However, it remains a challenge to design nonlinear systems that will accomplish a specific, desired task. The responses that we typically…

Other Computer Science · Computer Science 2025-11-25 Parisa Omidvar , Marc Serra-Garcia

Artificial intelligence (AI) is currently based largely on black-box machine learning models which lack interpretability. The field of eXplainable AI (XAI) strives to address this major concern, being critical in high-stakes areas such as…

Artificial Intelligence · Computer Science 2024-06-26 Sean Tull , Robin Lorenz , Stephen Clark , Ilyas Khan , Bob Coecke

Many application domains require representing interrelated real-world activities and/or evolving physical phenomena. In the crisis response domain, for instance, one may be interested in representing the state of the unfolding crisis (e.g.,…

Databases · Computer Science 2009-09-30 Naveen Ashish , Dmitri Kalashnikov , Sharad Mehrotra , Nalini Venkatasubramanian
‹ Prev 1 8 9 10 Next ›