English
Related papers

Related papers: IVOA recommendation: Units in the VO

200 papers

In general, the labels used in sequence labeling consist of different types of elements. For example, IOB-format entity labels, such as B-Person and I-Person, can be decomposed into span (B and I) and type information (Person). However,…

Computation and Language · Computer Science 2020-06-05 Takuma Kato , Kaori Abe , Hiroki Ouchi , Shumpei Miyawaki , Jun Suzuki , Kentaro Inui

This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitions from formal language theory, treating string diagrams as…

Logic in Computer Science · Computer Science 2023-11-23 Robin Piedeleu , Fabio Zanasi

This article presents a combinatorial result on indexed languages which was inspired by an attempt to understand the structure of groups with indexed language word problem. We show that a sufficiently long word in an indexed language can be…

Group Theory · Mathematics 2009-09-25 Robert Gilman

This is the written version of a set of introductory lectures on string theory.

High Energy Physics - Theory · Physics 2010-02-03 E. Alvarez , P. Meessen

When learning to use an Application Programming Interface (API), programmers need to understand the inputs and outputs (I/O) of the API functions. Current documentation tools automatically document the static information of I/O, such as…

Software Engineering · Computer Science 2018-08-21 Siyuan Jiang , Ameer Armaly , Collin McMillan , Qiyu Zhi , Ronald Metoyer

An argument can be seen as a pair consisting of a set of premises and a claim supported by them. Arguments used by humans are often enthymemes, i.e., some premises are implicit. To better understand, evaluate, and compare enthymemes, it is…

Artificial Intelligence · Computer Science 2024-11-14 Jonathan Ben-Naim , Victor David , Anthony Hunter

The ability to classify spoken speech based on the style of speaking is an important problem. With the advent of BPO's in recent times, specifically those that cater to a population other than the local population, it has become necessary…

Computation and Language · Computer Science 2015-04-08 Sunil Kopparapu , Saurabh Bhatnagar , K. Sahana , Sathyanarayana , Akhilesh Srivastava , P. V. S. Rao

A unit test is a method for verifying the accuracy and the proper functioning of a portion of a program. This work consists to study the relation and the approaches to test Object-Oriented Programming (OOP) programs and to propose a…

Programming Languages · Computer Science 2009-12-21 Martin Levesque

Variable-length splittable codes are derived from encoding sequences of ordered integer pairs, where one of the pair's components is upper bounded by some constant, and the other one is any positive integer. Each pair is encoded by the…

Information Theory · Computer Science 2015-08-07 Anatoly V. Anisimov , Igor O. Zavadskyi

We explore the use of segments learnt using Byte Pair Encoding (referred to as BPE units) as basic units for statistical machine translation between related languages and compare it with orthographic syllables, which are currently the best…

Computation and Language · Computer Science 2017-07-24 Anoop Kunchukuttan , Pushpak Bhattacharyya

This paper serves a twofold purpose. First, a unified perspective on diversity indices is introduced based on an entropic basis. It is shown that the class of all linear combinations of the entropic basis, referred to as the class of linear…

Statistics Theory · Mathematics 2020-01-22 Zhiyi Zhang , Michael Grabchak

This article proposes a convenient tool for decoding the output of neural networks trained by Connectionist Temporal Classification (CTC) for handwritten text recognition. We use regular expressions to describe the complex structures…

Neural and Evolutionary Computing · Computer Science 2016-03-31 Tobias Strauß , Gundram Leifert , Tobias Grüning , Roger Labahn

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully explored semantics. Such semantics is required in order to…

Software Engineering · Computer Science 2014-09-25 Andy Evans , Robert France , Kevin Lano , Bernhard Rumpe

Unit testing represents the foundational basis of the software testing pyramid, beneath integration and end-to-end testing. Automated software testing researchers have proposed a variety of techniques to assist developers in this…

Software Engineering · Computer Science 2022-03-25 Michele Tufano , Dawn Drain , Alexey Svyatkovskiy , Neel Sundaresan

While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automation tools usually support only a small subset of them. We…

Software Engineering · Computer Science 2017-01-20 Sébastien Bardin , Mickaël Delahaye , Nikolai Kosmatov , Michaël Marcozzi , Virgile Prevosto

Composite indicators are widely used to score or classify units evaluated on multiple criteria. Their construction typically involves aggregating criteria evaluations, a common practice in Multiple Criteria Decision Aiding (MCDA). Beyond…

Machine Learning · Computer Science 2026-03-04 Salvatore Corrente , Salvatore Greco , Roman Słowiński , Silvano Zappalà

Speech signals, typically sampled at rates in the tens of thousands per second, contain redundancies, evoking inefficiencies in sequence modeling. High-dimensional speech features such as spectrograms are often used as the input for the…

I present the most fundamental features of an implemented system designed to manipulate representations of regular languages. The system is structured into two layers, allowing regular languages to be represented in an increasingly compact,…

Formal Languages and Automata Theory · Computer Science 2025-09-24 Baudouin Le Charlier

Learning to construct text representations in end-to-end systems can be difficult, as natural languages are highly compositional and task-specific annotated datasets are often limited in size. Methods for directly supervising language…

Computation and Language · Computer Science 2018-11-15 Marek Rei , Anders Søgaard

Medical document OCR is challenging due to complex layouts, domain-specific terminology, and noisy annotations, while requiring strict field-level exact matching. Existing OCR systems and general-purpose vision-language models often fail to…

Computer Vision and Pattern Recognition · Computer Science 2026-02-09 Wenjie Wang , Wei Wu , Ying Liu , Yuan Zhao , Xiaole Lv , Liang Diao , Zengjian Fan , Wenfeng Xie , Ziling Lin , De Shi , Lin Huang , Kaihe Xu , Hong Li
‹ Prev 1 4 5 6 7 8 10 Next ›