English
Related papers

Related papers: Reduction Using Induced Subnets To Systematically …

200 papers

We introduce Feature-Product networks (FP-nets) as a novel deep-network architecture based on a new building block inspired by principles of biological vision. For each input feature map, a so-called FP-block learns two different filters,…

Computer Vision and Pattern Recognition · Computer Science 2020-08-19 Philipp Grüning , Thomas Martinetz , Erhardt Barth

We develop an approach to growing deep network architectures over the course of training, driven by a principled combination of accuracy and sparsity objectives. Unlike existing pruning or architecture search techniques that operate on…

Machine Learning · Computer Science 2023-06-07 Xin Yuan , Pedro Savarese , Michael Maire

We propose Pure CapsNets (P-CapsNets) which is a generation of normal CNNs structurally. Specifically, we make three modifications to current CapsNets. First, we remove routing procedures from CapsNets based on the observation that the…

Computer Vision and Pattern Recognition · Computer Science 2019-12-19 Zhenhua Chen , Xiwen Li , Chuhua Wang , David Crandall

Preferential attachment is one possible way to obtain a scale-free network. We develop a self-consistent method to determine whether preferential attachment occurs during the growth of a network, and to extract the preferential attachment…

Statistical Mechanics · Physics 2007-05-23 Claire P. Massen , Jonathan P. K. Doye

We provided (PNSE'2014) expressions for free choice nets having "distributed choice property" which makes the nets "direct product" representable. In a recent work (PNSE'2016), we gave equivalent syntax for a larger class of free choice…

Formal Languages and Automata Theory · Computer Science 2019-07-03 Ramchandra Phawade

Network inference is a rapidly advancing field, with new methods being proposed on a regular basis. Understanding the advantages and limitations of different network inference methods is key to their effective application in different…

Molecular Networks · Quantitative Biology 2016-09-15 Narsis A. Kiani , Hector Zenil , Jakub Olczak , Jesper Tegnér

Deep neural networks are revolutionizing the way complex systems are developed. However, these automatically-generated networks are opaque to humans, making it difficult to reason about them and guarantee their correctness. Here, we propose…

Artificial Intelligence · Computer Science 2020-08-11 Yuval Jacoby , Clark Barrett , Guy Katz

In this paper, we introduce Path Integral Networks (PI-Net), a recurrent network representation of the Path Integral optimal control algorithm. The network includes both system dynamics and cost models, used for optimal control based…

Artificial Intelligence · Computer Science 2017-06-30 Masashi Okada , Luca Rigazio , Takenobu Aoshima

A marked Petri net is lucent if there are no two different reachable markings enabling the same set of transitions, i.e., states are fully characterized by the transitions they enable. Characterizing the class of systems that are lucent is…

Formal Languages and Automata Theory · Computer Science 2021-06-08 Wil M. P. van der Aalst

CP-nets and their variants constitute one of the main AI approaches for specifying and reasoning about preferences. CI-nets, in particular, are a CP-inspired formalism for representing ordinal preferences over sets of goods, which are…

Artificial Intelligence · Computer Science 2016-11-10 Martin Diller , Anthony Hunter

This paper shows how proof nets can be used to formalize the notion of ``incomplete dependency'' used in psycholinguistic theories of the unacceptability of center-embedded constructions. Such theories of human language processing can…

cmp-lg · Computer Science 2007-05-23 Mark Johnson

Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of interaction nets are based on graph theory and rely on…

Logic in Computer Science · Computer Science 2015-07-01 Marc de Falco

We present QuickNet, a fast and accurate network architecture that is both faster and significantly more accurate than other fast deep architectures like SqueezeNet. Furthermore, it uses less parameters than previous networks, making it…

Machine Learning · Computer Science 2017-01-13 Tapabrata Ghosh

Boolean Petri nets are differentiated by types of nets $\tau$ based on which of the interactions nop, inp, out, set, res, swap, used, and free they apply or spare. The synthesis problem relative to a specific type of nets $\tau$ is to find…

Computational Complexity · Computer Science 2019-09-16 Ronny Tredup

Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modeling the control flow of discrete, dynamical systems. Every BP-system has an underlying ordinary Petri net, which is a T-system.…

Logic in Computer Science · Computer Science 2007-09-10 Joachim Wehler

Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all three kinds of information. We therefore propose a framework,…

Artificial Intelligence · Computer Science 2009-05-26 Carmel Domshlak , Francesca Rossi , Kristen Brent Venable , Toby Walsh

In this paper we have used the idea of I-convergence of sequences and nets to study certain conditions of convergence in a topological space. It has been shown separately that a class of sequences and a class of nets in a non-empty set X…

General Topology · Mathematics 2016-08-12 Amar Kumar Banerjee , Apurba Banerjee

It is often the case that the performance of a neural network can be improved by adding layers. In real-world practices, we always train dozens of neural network architectures in parallel which is a wasteful process. We explored $CompNet$,…

Neural and Evolutionary Computing · Computer Science 2018-04-30 Jun Lu , Wei Ma , Boi Faltings

Recent work showed that hybrid networks, which combine predefined and learnt filters within a single architecture, are more amenable to theoretical analysis and less prone to overfitting in data-limited scenarios. However, their performance…

Computer Vision and Pattern Recognition · Computer Science 2022-03-30 Dmitry Minskiy , Miroslaw Bober

It is widely believed that the success of deep convolutional networks is based on progressively discarding uninformative variability about the input with respect to the problem at hand. This is supported empirically by the difficulty of…

Machine Learning · Computer Science 2018-06-25 Jörn-Henrik Jacobsen , Arnold Smeulders , Edouard Oyallon