English
Related papers

Related papers: A State-Transition Grammar for Data-Oriented Parsi…

200 papers

A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their application to non-siblings. This allows a concise, modular…

cmp-lg · Computer Science 2008-02-03 Vladimir Pericliev , Alexander Grigorov

Data refinement is the standard extension of a refinement relation from programs to datatypes (i.e. a behavioural subtyping relation). Forward/backward simulations provide a tractable method for establishing data refinement, and have been…

Logic in Computer Science · Computer Science 2025-11-27 Chris Chen , Annabelle McIver , Carroll Morgan

We consider the case of a domain expert who wishes to explore the extent to which a particular idea is expressed in a text collection. We propose the task of semantically matching the idea, expressed as a natural language proposition,…

Computation and Language · Computer Science 2018-08-30 Lucy H. Lin , Scott Miles , Noah A. Smith

The functional approach to compositional distributional semantics considers transitive verbs to be linear maps that transform the distributional vectors representing nouns into a vector representing a sentence. We conduct an initial…

Computation and Language · Computer Science 2014-12-15 Tamara Polajnar , Laura Rimell , Stephen Clark

While a great effort has concerned the development of fully integrated modular understanding systems, few researches have focused on the problem of unifying existing linguistic formalisms with cognitive processing models. The Situated…

Computation and Language · Computer Science 2007-05-23 Guillaume Pitel

In this work, we present a generalized formulation of the Transformer algorithm by reinterpreting its core mechanisms within the framework of Path Integral formalism. In this perspective, the attention mechanism is recast as a process that…

High Energy Physics - Phenomenology · Physics 2025-05-02 Won-Gi Paeng , Daesuk Kwon , Kyungwon Jeong , Honggyo Suh

To support machine learning of cross-language prosodic mappings and other ways to improve speech-to-speech translation, we present a protocol for collecting closely matched pairs of utterances across languages, a description of the…

Computation and Language · Computer Science 2023-07-17 Nigel G. Ward , Jonathan E. Avila , Emilia Rivas , Divette Marco

A probabilistic model for computer-based generation of a machine translation system on the basis of English-Russian parallel text corpora is suggested. The model is trained using parallel text corpora with pre-aligned source and target…

Computation and Language · Computer Science 2007-05-23 G. E. Miram , V. K. Petrov

In this paper we propose a learning paradigm for the problem of understanding spoken language. The basis of the work is in a formalization of the understanding problem as a communication problem. This results in the definition of a…

cmp-lg · Computer Science 2008-02-03 Roberto Pieraccini , Esther Levin

Process modeling is usually done using imperative modeling languages like BPMN or EPCs. In order to cope with the complexity of human-centric and flexible business processes several declarative process modeling languages (DPMLs) have been…

Software Engineering · Computer Science 2016-03-22 Lars Ackermann , Stefan Schönig , Stefan Jablonski

This paper is devoted to the extraction of entities and semantic relations between them from scientific texts, where we consider scientific terms as entities. In this paper, we present a dataset that includes annotations for two tasks and…

Computation and Language · Computer Science 2022-09-30 Elena Bruches , Olga Tikhobaeva , Yana Dementyeva , Tatiana Batura

Most previous work on the recently developed language-modeling approach to information retrieval focuses on document-specific characteristics, and therefore does not take into account the structure of the surrounding corpus. We propose a…

Information Retrieval · Computer Science 2007-05-23 Oren Kurland , Lillian Lee

This article provides an understanding of Natural Language Processing techniques in the framework of financial regulation, more specifically in order to perform semantic matching search between rules and policy when no dataset is available…

Computation and Language · Computer Science 2023-11-16 Ixandra Achitouv , Dragos Gorduza , Antoine Jacquier

We describe a recently developed corpus annotation scheme for evaluating parsers that avoids shortcomings of current methods. The scheme encodes grammatical relations between heads and dependents, and has been used to mark up a new…

Computation and Language · Computer Science 2007-05-23 John Carroll , Guido Minnen , Ted Briscoe

Transformers have made significant strides across various artificial intelligence domains, including natural language processing, computer vision, and audio processing. This success has naturally garnered considerable interest from both…

Image and Video Processing · Electrical Eng. & Systems 2024-08-12 Elyas Rashno , Amir Eskandari , Aman Anand , Farhana Zulkernine

This paper describes the University of Maryland's submission to the Special Task on Formality Control for Spoken Language Translation at \iwslt, which evaluates translation from English into 6 languages with diverse grammatical formality…

Computation and Language · Computer Science 2022-05-16 Elijah Rippeth , Sweta Agrawal , Marine Carpuat

Recently, the emergence of pre-trained models (PTMs) has brought natural language processing (NLP) to a new era. In this survey, we provide a comprehensive review of PTMs for NLP. We first briefly introduce language representation learning…

Computation and Language · Computer Science 2021-06-24 Xipeng Qiu , Tianxiang Sun , Yige Xu , Yunfan Shao , Ning Dai , Xuanjing Huang

We introduce a novel parser based on a probabilistic version of a left-corner parser. The left-corner strategy is attractive because rule probabilities can be conditioned on both top-down goals and bottom-up derivations. We develop the…

cmp-lg · Computer Science 2007-05-23 Christopher D. Manning , Bob Carpenter

Formal patterns are formally specified solutions to frequently occurring distributed system problems that are generic, executable, and come with strong qualitative and/or quantitative formal guarantees. A formal pattern is a generic system…

Cryptography and Security · Computer Science 2026-03-23 Víctor García , Santaigo Escobar , Catherine Meadows , Jose Meseguer

Under categorial grammars that have powerful rules like composition, a simple n-word sentence can have exponentially many parses. Generating all parses is inefficient and obscures whatever true semantic ambiguities are in the input. This…

cmp-lg · Computer Science 2008-02-03 Jason Eisner