中文
相关论文

相关论文: A Compositional Semantics for Stochastic Reo Conne…

200 篇论文

A longstanding question in cognitive science concerns the learning mechanisms underlying compositionality in human cognition. Humans can infer the structured relationships (e.g., grammatical rules) implicit in their sensory observations…

机器学习 · 计算机科学 2021-05-20 Jacob Russin , Roland Fernandez , Hamid Palangi , Eric Rosen , Nebojsa Jojic , Paul Smolensky , Jianfeng Gao

Recent advances in software, hardware, computing and control have fueled significant progress in the field of autonomous systems. Notably, autonomous machines should continuously estimate how the scenario in which they move and operate will…

网络与互联网体系结构 · 计算机科学 2021-09-21 Mate Boban , Marco Giordani , Michele Zorzi

This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on…

编程语言 · 计算机科学 2015-05-26 Matthieu Perrin , Claude Jard , Achour Mostefaoui

Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning. In recent years, quantitative variants of modal…

计算机科学中的逻辑 · 计算机科学 2013-06-13 Tingting Han , Christian Krause , Marta Kwiatkowska , Holger Giese

Web service composition has been one of the most researched topics of the past decade. Novel methods of web service composition are being proposed in the literature include Semantics-based composition, WSDLbased composition. Although these…

软件工程 · 计算机科学 2016-09-30 R Vivek , Prasad Mirje , N Sushmitha

We propose a benchmark for evaluating compositionality in audio representations. Audio compositionality refers to representing sound scenes in terms of constituent sources and attributes, and combining them systematically. While central to…

声音 · 计算机科学 2026-03-17 Chuyang Chen , Bea Steers , Brian McFee , Juan Bello

Compositional vector space models of meaning promise new solutions to stubborn language understanding problems. This paper makes two contributions toward this end: (i) it uses automatically-extracted paraphrase examples as a source of…

计算与语言 · 计算机科学 2018-02-01 Avneesh Saluja , Chris Dyer , Jean-David Ruvini

Semantic communication has emerged as a promising paradigm for next-generation networks, yet several fundamental challenges remain unresolved. Building on the probabilistic model of semantic communication and leveraging the concept of…

信息论 · 计算机科学 2026-02-27 Javad Gholipour , Rafael F. Schaefer , Gerhard P. Fettweis

Recently, the demand for faster and more reliable data transmission has brought up complex communications systems. As a result, it has become more difficult to carry out closed-form solutions that can provide insight about performance…

信息论 · 计算机科学 2017-02-07 Sami Akin , Marwan Hammouda , Jürgen Peissig

Semantic composition remains an open problem for vector space models of semantics. In this paper, we explain how the probabilistic graphical model used in the framework of Functional Distributional Semantics can be interpreted as a…

计算与语言 · 计算机科学 2017-09-04 Guy Emerson , Ann Copestake

Language models require tokenized inputs. However, tokenization strategies for continuous data like audio and vision are often based on simple heuristics such as fixed sized convolutions or discrete clustering, which do not necessarily…

计算与语言 · 计算机科学 2024-10-08 Alan Baade , Puyuan Peng , David Harwath

Constraint Handling Rules (CHR) are a committed-choice declarative language which has been designed for writing constraint solvers. A CHR program consists of multi-headed guarded rules which allow one to rewrite constraints into simpler…

编程语言 · 计算机科学 2007-05-23 Maurizio Gabbrielli , Maria Chiara Meo

We define a class of probabilistic models in terms of an operator algebra of stochastic processes, and a representation for this class in terms of stochastic parameterized grammars. A syntactic specification of a grammar is mapped to…

人工智能 · 计算机科学 2007-05-23 Eric Mjolsness

It is now well known that flexibility of energy consumption can be harnessed for the purposes of grid-level ancillary services. In particular, through distributed control of a collection of loads, a balancing authority regulation signal can…

系统与控制 · 计算机科学 2016-09-02 Yue Chen , Ana Bušić , Sean Meyn

Textless spoken language models (SLMs) are generative models of speech that do not rely on text supervision. Most textless SLMs learn to predict the next semantic token, a discrete representation of linguistic content, and rely on a…

计算与语言 · 计算机科学 2025-10-23 Ju-Chieh Chou , Jiawei Zhou , Karen Livescu

Phase reduction is an effective theoretical and numerical tool for studying synchronization of coupled deterministic oscillators. Stochastic oscillators require new definitions of asymptotic phase. The $Q$-function, i.e. the slowest…

概率论 · 数学 2025-08-28 Max Kreider , Benjamin Lindner , Peter J. Thomas

We present a stochastic finite-state model for segmenting Chinese text into dictionary entries and productively derived words, and providing pronunciations for these words; the method incorporates a class-based model in its treatment of…

cmp-lg · 计算机科学 2008-02-03 Richard Sproat , Chilin Shih , William Gale , Nancy Chang

The neural architectures of language models are becoming increasingly complex, especially that of Transformers, based on the attention mechanism. Although their application to numerous natural language processing tasks has proven to be very…

计算与语言 · 计算机科学 2023-12-04 Pablo Gamallo

In software-as-a-service paradigms software systems are no longer monolithic pieces of code executing within the boundaries of an organisation, on the contrary, they are conceived as a dynamically changing collection of services,…

软件工程 · 计算机科学 2022-05-23 Agustín E. Martinez Suñé , Carlos G. Lopez Pombo

Web Service Composition deals with the (re)use of Web Services to provide complex functionality, inexistent in any single service. Over the state-of-the-art, we introduce a new type of modeling, based on ontologies and relations between…

计算与语言 · 计算机科学 2019-09-11 Paul Diac , Liana Tucar , Radu Mereuta