中文
相关论文

相关论文: Finding AND-OR Hierarchies in Workflow Nets

200 篇论文

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…

编程语言 · 计算机科学 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…

最优化与控制 · 数学 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…

机器学习 · 计算机科学 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…

物理与社会 · 物理学 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…

机器学习 · 计算机科学 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…

社会与信息网络 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算工程、金融与科学 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

编程语言 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

编程语言 · 计算机科学 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…

社会与信息网络 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算物理 · 物理学 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…

系统与控制 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

信息论 · 计算机科学 2017-04-07 Congduan Li , Steven Weber , John MacLaren Walsh