中文
相关论文

相关论文: Decomposition of admissible functions in weighted …

200 篇论文

The problem of decomposing non-manifold object has already been studied in solid modeling. However, the few proposed solutions are limited to the problem of decomposing solids described through their boundaries. In this thesis we study the…

图形学 · 计算机科学 2019-04-03 Franco Morando

Decomposable models and Bayesian networks can be defined as sequences of oligo-dimensional probability measures connected with operators of composition. The preliminary results suggest that the probabilistic models allowing for effective…

人工智能 · 计算机科学 2013-02-08 Radim Jirousek

The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Dror Fried , Axel Legay , Joël Ouaknine , Moshe Y. Vardi

The remarkable performance of convolutional neural networks (CNNs) is entangled with their huge number of uninterpretable parameters, which has become the bottleneck limiting the exploitation of their full potential. Towards network…

计算机视觉与模式识别 · 计算机科学 2020-08-26 Yuchao Li , Rongrong Ji , Shaohui Lin , Baochang Zhang , Chenqian Yan , Yongjian Wu , Feiyue Huang , Ling Shao

We present a framework for automatically decomposing ("block-modeling") the functional classes of agents within a complex network. These classes are represented by the nodes of an image graph ("block model") depicting the main patterns of…

物理与社会 · 物理学 2008-12-11 Joerg Reichardt , Douglas R. White

Monolithic neural networks that make use of a single set of weights to learn useful representations for downstream tasks explicitly dismiss the compositional nature of data generation processes. This characteristic exists in data where…

计算机视觉与模式识别 · 计算机科学 2023-06-05 Hamed Damirchi , Forest Agostinelli , Pooyan Jamshidi

Representations of multivariate functions with low-dimensional functions that depend on subsets of original coordinates (corresponding of different orders of coupling) are useful in quantum dynamics and other applications, especially where…

机器学习 · 计算机科学 2024-06-26 Sergei Manzhos , Manabu Ihara

For networks of coupled dynamical systems we characterize admissible functions, that is, functions whose gradient is an admissible vector field. The schematic representation of a gradient network dynamical system is of an undirected cell…

动力系统 · 数学 2015-09-30 Miriam Manoel , Mark Roberts

Functional decomposition is the process of breaking down a function $f$ into a composition $f=g(f_1,\dots,f_k)$ of simpler functions $f_1,\dots,f_k$ belonging to some class $\mathcal{F}$. This fundamental notion can be used to model…

计算复杂性 · 计算机科学 2026-01-14 Mateus de Oliveira Oliveira , Wim Van den Broeck

As demonstrated in many areas of real-life applications, neural networks have the capability of dealing with high dimensional data. In the fields of optimal control and dynamical systems, the same capability was studied and verified in many…

机器学习 · 计算机科学 2020-12-04 Wei Kang , Qi Gong

The fine-tuning of deep pre-trained models has revealed compositional properties, with multiple specialized modules that can be arbitrarily composed into a single, multi-task model. However, identifying the conditions that promote…

We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses inductive definitions to describe networks with an unbounded…

计算机科学中的逻辑 · 计算机科学 2022-04-27 Marius Bozga , Lucas Bueri , Radu Iosif

Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system.…

计算机科学中的逻辑 · 计算机科学 2022-07-05 Benjamin Lion , Farhad Arbab , Carolyn Talcott

In complex inferential tasks like question answering, machine learning models must confront two challenges: the need to implement a compositional reasoning process, and, in many applications, the need for this reasoning process to be…

计算机视觉与模式识别 · 计算机科学 2019-03-08 Ronghang Hu , Jacob Andreas , Trevor Darrell , Kate Saenko

Although there is a somewhat standard formalization of computability on countable sets given by Turing machines, the same cannot be said about uncountable sets. Among the approaches to define computability in these sets, order-theoretic…

计算机科学中的逻辑 · 计算机科学 2022-09-07 Pedro Hack , Daniel A. Braun , Sebastian Gottwald

Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered…

逻辑 · 数学 2014-02-27 Eliana Barriga , Alf Onshuus , Charles Steinhorn

Filterless optical transport networks relies on passive optical interconnections between nodes, i.e., on splitters/couplers and amplifiers. While different studies have investigated their design, none of them offer a solution for an optimal…

网络与互联网体系结构 · 计算机科学 2021-01-05 Brigitte Jaumard , Yan Wang

Recent work in the area of interdependent networks has focused on interactions between two systems of the same type. However, an important and ubiquitous class of systems are those involving monitoring and control, an example of…

无序系统与神经网络 · 物理学 2013-09-27 Richard G. Morris , Marc Barthelemy

The trustworthiness of modern networked services is too important to leave to chance. We need to design these services with specific properties in mind, and verify that the properties hold. In this paper, we argue that a compositional…

网络与互联网体系结构 · 计算机科学 2020-09-29 Pamela Zave , Jennifer Rexford , John Sonchack

We develop a notion of cell decomposition suitable for studying weak p- adic structures (reducts of p-adic fields where addition and multiplication are not (everywhere) definable). As an example, we apply this to a language with restricted…

逻辑 · 数学 2012-05-21 Eva Leenknegt
‹ 上一页 1 2 3 10 下一页 ›