中文
相关论文

相关论文: Transfer Function Synthesis without Quantifier Eli…

200 篇论文

Neural-network quantum states have shown great potential for the study of many-body quantum systems. In statistical machine learning, transfer learning designates protocols reusing features of a machine learning model trained for a problem…

Large, human-annotated datasets are central to the development of natural language processing models. Collecting these datasets can be the most challenging part of the development process. We address this problem by introducing a general…

计算与语言 · 计算机科学 2020-04-29 Alana Marzoev , Samuel Madden , M. Frans Kaashoek , Michael Cafarella , Jacob Andreas

We develop a framework which aims to simplify the analysis of quantum states and quantum operations by harnessing the potential of function programming paradigm. We show that the introduced framework allows a seamless manipulation of…

量子物理 · 物理学 2013-07-19 Jarosław Adam Miszczak

In complex transfer learning scenarios new tasks might not be tightly linked to previous tasks. Approaches that transfer information contained only in the final parameters of a source model will therefore struggle. Instead, transfer…

机器学习 · 计算机科学 2019-03-25 Sebastian Flennerhag , Pablo G. Moreno , Neil D. Lawrence , Andreas Damianou

The advent of sensor networks presents untapped opportunities for synthesis. We examine the problem of synthesis of behavioral specifications into networks of programmable sensor blocks. The particular behavioral specification we consider…

其他计算机科学 · 计算机科学 2011-11-09 Ryan Mannion , Harry Hsieh , Susan Cotterell , Frank Vahid

Reading comprehension is a challenging task in natural language processing and requires a set of skills to be solved. While current approaches focus on solving the task as a whole, in this paper, we propose to use a neural network `skill'…

计算与语言 · 计算机科学 2017-11-13 Todor Mihaylov , Zornitsa Kozareva , Anette Frank

In this paper, we show through examples, how the existing definitions of information transfer, namely directed information and transfer entropy fail to capture true causal interaction between states in control dynamical system. We propose a…

最优化与控制 · 数学 2018-07-24 Subhrajit Sinha , Umesh Vaidya

Construction of explicit quantum circuits follows the notion of the "standard circuit model" introduced in the solid and profound analysis of elementary gates providing quantum computation. Nevertheless the model is not always optimal (e.g.…

量子物理 · 物理学 2007-05-23 K. Ch. Chatzisavvas , C. Daskaloyannis , C. P. Panos

Direct volume rendering is often used to compare different 3D scalar fields. The choice of the transfer function which maps scalar values to color and opacity plays a critical role in this task. We present a technique for the automatic…

图形学 · 计算机科学 2023-06-12 Christoph Neuhauser , Rüdiger Westermann

Semantic composition functions have been playing a pivotal role in neural representation learning of text sequences. In spite of their success, most existing models suffer from the underfitting problem: they use the same shared…

人工智能 · 计算机科学 2018-02-27 Junkun Chen , Xipeng Qiu , Pengfei Liu , Xuanjing Huang

Transferability estimation is a fundamental problem in transfer learning to predict how good the performance is when transferring a source model (or source task) to a target task. With the guidance of transferability score, we can…

计算机视觉与模式识别 · 计算机科学 2024-03-01 Yang Tan , Yang Li , Shao-Lun Huang

In this article, we present a new R package fc that provides a streamlined, standard evaluation-based approach to function composition. Using fc, a sequence of functions can be composed together such that returned objects from composed…

统计计算 · 统计学 2018-06-29 Xiaofei Wang , Michael John Kane

The conventional paradigm of quantum computing is discrete: it utilizes discrete sets of gates to realize bitstring-to-bitstring mappings, some of them arguably intractable for classical computers. In parameterized quantum approaches, the…

量子物理 · 物理学 2025-12-12 Adrián Pérez-Salinas , Mahtab Yaghubi Rad , Alice Barthe , Vedran Dunjko

This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts different target languages for modeling the state-transitions of a…

形式语言与自动机理论 · 计算机科学 2023-07-28 Javier Segovia-Aguas , Jonathan Ferrer-Mestres , Sergio Jiménez

It has been demonstrated that deep neural networks outperform traditional machine learning. However, deep networks lack generalisability, that is, they will not perform as good as in a new (testing) set drawn from a different distribution…

机器学习 · 计算机科学 2022-06-28 Bruno Casella , Alessio Barbaro Chisari , Sebastiano Battiato , Mario Valerio Giuffrida

Text style transfer refers to the task of rephrasing a given text in a different style. While various methods have been proposed to advance the state of the art, they often assume the transfer output follows a delta distribution, and thus…

计算与语言 · 计算机科学 2020-02-18 Kevin Lin , Ming-Yu Liu , Ming-Ting Sun , Jan Kautz

We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and…

计算机科学中的逻辑 · 计算机科学 2019-03-14 David Monniaux

Large, pre-trained models are problematic to use in resource constrained applications. Fortunately, task-aware structured pruning methods offer a solution. These approaches reduce model size by dropping structural units like layers and…

计算与语言 · 计算机科学 2023-11-14 Lucio Dery , David Grangier , Awni Hannun

Sequential effect systems are a class of effect system that exploits information about program order, rather than discarding it as traditional commutative effect systems do. This extra expressive power allows effect systems to reason about…

编程语言 · 计算机科学 2020-05-18 Colin S. Gordon

The ultimate goal of transfer learning is to reduce labeled data requirements by exploiting a pre-existing embedding model trained for different datasets or tasks. The visual and language communities have established benchmarks to compare…

音频与语音处理 · 电气工程与系统科学 2021-05-11 Joel Shor , Aren Jansen , Ronnie Maor , Oran Lang , Omry Tuval , Felix de Chaumont Quitry , Marco Tagliasacchi , Ira Shavitt , Dotan Emanuel , Yinnon Haviv