English
Related papers

Related papers: Finding AND-OR Hierarchies in Workflow Nets

200 papers

In recent years, the notion of local robustness (or robustness for short) has emerged as a desirable property of deep neural networks. Intuitively, robustness means that small perturbations to an input do not cause the network to perform…

Programming Languages · Computer Science 2019-05-02 Greg Anderson , Shankara Pailoor , Isil Dillig , Swarat Chaudhuri

Network systems consist of subsystems and their interconnections, and provide a powerful framework for analysis, modeling and control of complex systems. However, subsystems may have high-dimensional dynamics, and the amount and nature of…

Optimization and Control · Mathematics 2020-12-07 Xiaodong Cheng , Jacquelien M. A. Scherpen

We introduce an explainable generative model by applying sparse operation on the feature maps of the generator network. Meaningful hierarchical representations are obtained using the proposed generative model with sparse activations. The…

Machine Learning · Computer Science 2019-02-01 Xianglei Xing , Song-Chun Zhu , Ying Nian Wu

Among all characteristics exhibited by natural and man-made networks the small-world phenomenon is surely the most relevant and popular. But despite its significance, a reliable and comparable quantification of the question `how small is a…

Physics and Society · Physics 2019-11-27 Gorka Zamora-López , Romain Brasselet

Anomaly detection is a core service in the Internet of Underwater Things, yet training accurate distributed models underwater is difficult because acoustic links are low-bandwidth, energy-intensive, and often unable to support direct…

Machine Learning · Computer Science 2026-03-27 Kenechi Omeke , Michael Mollel , Lei Zhang , Qammer H. Abbasi , Muhammad Ali Imran

We employ the recently developed theory of isospectral network reductions to analyze multi-mode social networks. This procedure allows us to uncover the hierarchical structure of the networks we consider as well as the hierarchical…

Social and Information Networks · Computer Science 2018-01-11 Chi-Jen Wang , Seokjoo Chae , Leonid A. Bunimovich , Benjamin Z. Webb

This paper develops a measure for bounding the performance of AND/OR search algorithms for solving a variety of queries over graphical models. We show how drawing a connection to the recent notion of hypertree decompositions allows to…

Artificial Intelligence · Computer Science 2012-06-18 Lars Otten , Rina Dechter

Tensor networks provide a powerful framework for compressing multi-dimensional data. The optimal tensor network structure for a given data tensor depends on both data characteristics and specific optimality criteria, making tensor network…

Computational Engineering, Finance, and Science · Computer Science 2026-03-23 Zheng Guo , Aditya Deshpande , Brian Kiedrowski , Xinyu Wang , Alex Gorodetsky

Overlay networks, where nodes communicate with neighbors over logical links consisting of zero or more physical links, have become an important part of modern networking. From data centers to IoT devices, overlay networks are used to…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-30 Andrew Berns

We propose a method to incrementally learn an embedding space over the domain of network architectures, to enable the careful selection of architectures for evaluation during compressed architecture search. Given a teacher network, we…

Computer Vision and Pattern Recognition · Computer Science 2019-04-26 Shengcao Cao , Xiaofang Wang , Kris M. Kitani

Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. However, the presence of middleboxes drastically complicates…

Programming Languages · Computer Science 2018-07-05 Kalev Alpernas , Roman Manevich , Aurojit Panda , Mooly Sagiv , Scott Shenker , Sharon Shoham , Yaron Velner

Top-down induction of decision trees has been observed to suffer from the inadequate functioning of the pruning phase. In particular, it is known that the size of the resulting tree grows linearly with the sample size, even though the…

Artificial Intelligence · Computer Science 2011-06-06 T. Elomaa , M. Kaariainen

Automatic designing computationally efficient neural networks has received much attention in recent years. Existing approaches either utilize network pruning or leverage the network architecture search methods. This paper presents a new…

Computer Vision and Pattern Recognition · Computer Science 2020-04-07 Zhengsu Chen , Jianwei Niu , Lingxi Xie , Xuefeng Liu , Longhui Wei , Qi Tian

Program reductions are used widely to simplify reasoning about the correctness of concurrent and distributed programs. In this paper, we propose a general approach to proof simplification of concurrent programs based on exploring generic…

Programming Languages · Computer Science 2019-11-01 Azadeh Farzan , Anthony Vandikas

Formation of a hierarchy within an organization is a natural way of assigning the duties, delegating responsibilities and optimizing the flow of information. Only for the smallest companies the lack of the hierarchy, that is, a flat one, is…

Social and Information Networks · Computer Science 2020-09-16 Mateusz Nurek , Radosław Michalski

Speech recognition and other natural language tasks have long benefited from voting-based algorithms as a method to aggregate outputs from several systems to achieve a higher accuracy than any of the individual systems. Diarization, the…

Computation and Language · Computer Science 2020-02-06 Andreas Stolcke , Takuya Yoshioka

A fundamental process in the implementation of any numerical tensor network algorithm is that of contracting a tensor network. In this process, a network made up of multiple tensors connected by summed indices is reduced to a single tensor…

Computational Physics · Physics 2015-08-26 Robert N. C. Pfeifer , Glen Evenbly , Sukhwinder Singh , Guifre Vidal

Observability of complex systems/networks is the focus of this paper, which is shown to be closely related to the concept of contraction. Indeed, for observable network tracking it is necessary/sufficient to have one node in each…

Systems and Control · Computer Science 2017-09-13 Mohammadreza Doostmohammadian , Hamid R. Rabiee , Houman Zarrabi , Usman Khan

Frequency estimation in data streams is one of the classical problems in streaming algorithms. Following much research, there are now almost matching upper and lower bounds for the trade-off needed between the number of samples and the…

Computational Complexity · Computer Science 2023-01-16 Shachar Lovett , Jiapeng Zhang

Recent algorithmic developments have enabled computers to automatically determine and prove the capacity regions of small hypergraph networks under network coding. A structural theory relating network coding problems of different sizes is…

Information Theory · Computer Science 2017-04-07 Congduan Li , Steven Weber , John MacLaren Walsh