English
Related papers

Related papers: The jsRealB Text Realizer: Organization and Use Ca…

200 papers

Language models have proven to be very useful when adapted to specific domains. Nonetheless, little research has been done on the adaptation of domain-specific BERT models in the French language. In this paper, we focus on creating a…

Computation and Language · Computer Science 2022-02-15 Stella Douka , Hadi Abdine , Michalis Vazirgiannis , Rajaa El Hamdani , David Restrepo Amariles

Large language models are able to generate code for visualisations in response to simple user requests. This is a useful application and an appealing one for NLP research because plots of data provide grounding for language. However, there…

Computation and Language · Computer Science 2024-10-10 Hy Nguyen , Xuefei He , Andrew Reeson , Cecile Paris , Josiah Poon , Jonathan K. Kummerfeld

Recently, numerous embedding models have been made available and widely used for various NLP tasks. The Massive Text Embedding Benchmark (MTEB) has primarily simplified the process of choosing a model that performs well for several tasks in…

Computation and Language · Computer Science 2024-06-18 Mathieu Ciancone , Imene Kerboua , Marion Schaeffer , Wissam Siblini

The Surface Realization Shared Tasks of 2018 and 2019 were Natural Language Generation shared tasks with the goal of exploring approaches to surface realization from Universal-Dependency-like trees to surface strings for several languages.…

Computation and Language · Computer Science 2020-05-07 Henry Elder , Robert Burke , Alexander O'Connor , Jennifer Foster

The JSC language is a superset of JavaScript designed to ease the development of large web applications. This language extends JavaScripts own object system by isolating code in a class declaration, simplifying multiple inheritance and…

Programming Languages · Computer Science 2009-12-16 Artur Ventura

Leveraging JavaScript (JS) for User Interface (UI) interactivity has been the norm on the web for many years. Yet, using JS increases bandwidth and battery consumption as scripts need to be downloaded and processed by the browser. Plus,…

Cryptography and Security · Computer Science 2022-03-15 Romain Fouquet , Pierre Laperdrix , Romain Rouvoy

Sign Language (SL) linguistic is dependent on the expensive task of annotating. Some automation is already available for low-level information (eg. body part tracking) and the lexical level has shown significant progresses. The syntactic…

Computation and Language · Computer Science 2014-06-26 Rémi Dubot , Christophe Collet

Text-to-SQL systems (also known as NL-to-SQL systems) have become an increasingly popular solution for bridging the gap between user capabilities and SQL-based data access. These systems translate user requests in natural language to valid…

Databases · Computer Science 2024-12-02 Jonathan Fürst , Catherine Kosten , Farhad Nooralahzadeh , Yi Zhang , Kurt Stockinger

We introduce a framework for lightweight dependency syntax annotation. Our formalism builds upon the typical representation for unlabeled dependencies, permitting a simple notation and annotation workflow. Moreover, the formalism encourages…

Computation and Language · Computer Science 2013-06-18 Nathan Schneider , Brendan O'Connor , Naomi Saphra , David Bamman , Manaal Faruqui , Noah A. Smith , Chris Dyer , Jason Baldridge

We present Text2App -- a framework that allows users to create functional Android applications from natural language specifications. The conventional method of source code generation tries to generate source code directly, which is…

Computation and Language · Computer Science 2021-07-08 Masum Hasan , Kazi Sajeed Mehrab , Wasi Uddin Ahmad , Rifat Shahriyar

jq is a widely used tool that provides a programming language to manipulate JSON data. However, the jq language is currently only specified by its implementation, making it difficult to reason about its behaviour. To this end, we provide a…

Logic in Computer Science · Computer Science 2024-04-01 Michael Färber

We present a new type system with support for proofs of programs in a call-by-value language with control operators. The proof mechanism relies on observational equivalence of (untyped) programs. It appears in two type constructors, which…

Logic in Computer Science · Computer Science 2016-04-08 Rodolphe Lepigre

Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) research. An ideal NLU system should process a language in a way that is not exclusive to a single task or a dataset. Keeping this in…

Computation and Language · Computer Science 2021-01-29 Kinjal Basu , Sarat Varanasi , Farhad Shakerin , Joaquin Arias , Gopal Gupta

JavaScript is one of the most popular programming languages on the web. Despite the language popularity and the increasing size of JavaScript systems, there is a limited number of visualization tools that can be used by developers to…

Software Engineering · Computer Science 2017-05-17 Marcos Viana , Andre Hora , Marco Tulio Valente

Traditional approaches to building natural language (NL) interfaces typically use a semantic parser to parse the user command and convert it to a logical form, which is then translated to an executable action in an application. However, it…

Computation and Language · Computer Science 2021-11-29 Sahisnu Mazumder , Bing Liu , Shuai Wang , Sepideh Esmaeilpour

Automated evaluation of text generation systems has recently seen increasing attention, particularly checking whether generated text stays truthful to input sources. Existing methods frequently rely on an evaluation using task-specific…

Computation and Language · Computer Science 2023-05-23 Jing Fan , Dennis Aumiller , Michael Gertz

We present OBJS, a new transpiler project featuring the implementation of typified variables and functions call management in Javascript, as well as several new operators and syntax patterns that could make coding more agile and versatile.…

Programming Languages · Computer Science 2024-11-14 Alessandro Rosa

Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can…

Programming Languages · Computer Science 2018-06-27 Kasper Dokter , Farhad Arbab

We explore the applicability of text-to-code to solve real-world problems that are typically solved in natural language, such as legal judgment and medical QA. Unlike previous works, our approach leverages the explicit reasoning provided by…

Computation and Language · Computer Science 2025-09-23 Haoyang Chen , Kumiko Tanaka-Ishii

Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt formal specification language should provide the following…

Software Engineering · Computer Science 2019-01-09 Karthika Venkatesan , Sujit Kumar Chakrabarti