English
Related papers

Related papers: Proceedings IFIP Working Conference on Domain-Spec…

200 papers

The 16th BCS-FACS Refinement Workshop was co-located with iFM 2013 held in Turku, Finland on June 11th, 2013. This volume contains the 6 papers selected for presentation at the workshop following a peer review process. The papers cover a…

Software Engineering · Computer Science 2013-05-27 John Derrick , Eerke Boiten , Steve Reeves

This volume contains the papers presented at the sixth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) held on August 25th, 2013 in Istanbul, co-located with the 29th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-12-31 Michael Fink , Yuliya Lierler

Natural Language Processing (NLP) is revolutionising the way both professionals and laypersons operate in the legal field. The considerable potential for NLP in the legal sector, especially in developing computational assistance tools for…

Computation and Language · Computer Science 2025-12-12 Farid Ariai , Joel Mackenzie , Gianluca Demartini

This is the arXiv index for the electronic proceedings of GD 2023, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

Computational Geometry · Computer Science 2023-09-15 Michael A. Bekos , Markus Chimani

This paper presents a summary of the theoretical presentations to the international workshop "Diffraction 2006". The range of topics covered during the workshop was quite broad and this summary is therefore somewhat selective covering…

High Energy Physics - Phenomenology · Physics 2008-11-26 Jeffrey R. Forshaw

We present an overview of the SciVer shared task, presented at the 2nd Scholarly Document Processing (SDP) workshop at NAACL 2021. In this shared task, systems were provided a scientific claim and a corpus of research abstracts, and asked…

Computation and Language · Computer Science 2021-07-20 David Wadden , Kyle Lo

Short abstracts by computational linguistics researchers at the University of Pennsylvania describing ongoing individual and joint projects.

cmp-lg · Computer Science 2012-08-27 Editors , : , Matthew Stone , Libby Levison

This is the first volume of Electronic Proceedings in Theoretical Computer Science (EPTCS), a free international refereed open access venue for the rapid electronic publication of the proceedings of workshops and conferences, and of…

Computational Complexity · Computer Science 2009-10-13 Turlough Neary , Damien Woods , Anthony K. Seda , Niall Murphy

This report presents the results of the shared tasks organized as part of the VarDial Evaluation Campaign 2023. The campaign is part of the tenth workshop on Natural Language Processing (NLP) for Similar Languages, Varieties and Dialects…

Recent research in synthesis of programs written in some Domain Specific Language (DSL) by means of neural networks from a limited set of inputs-output correspondences such as DeepCoder and its PCCoder reimplementation/optimization proved…

Programming Languages · Computer Science 2021-07-26 Dan Hernest

The Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) was co-located with ETAPS 2009 in the city of York, England. The workshop took place on Sunday 22nd March 2009.…

Programming Languages · Computer Science 2010-02-09 Alastair R. Beresford , Simon Gay

In the task of automatic program synthesis, one obtains pairs of matching inputs and outputs and generates a computer program, in a particular domain-specific language (DSL), which given each sample input returns the matching output. A key…

Machine Learning · Computer Science 2023-03-14 Aran Carmon , Lior Wolf

This paper addresses the problem of specifying and parsing the syntax of domain-specific languages (DSLs) in a modular, user-friendly way. That is, we want to enable the design of composable DSLs that combine the natural syntax of external…

Programming Languages · Computer Science 2012-01-04 Erik Silkensen , Jeremy G. Siek

MPEG-7 (Moving Picture Experts Group Phase 7) is an XML-based international standard on semantic description of multimedia content. This document discusses the Linguistic DS and related tools. The linguistic DS is a tool, based on the GDA…

Computation and Language · Computer Science 2007-05-23 Koiti Hasida

This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting places to bring together researchers and practitioners…

Logic in Computer Science · Computer Science 2011-09-13 Ernesto Pimentel , Valentín Valero

The first Workshop on Language Models for Low-Resource Languages (LoResLM 2025) was held in conjunction with the 31st International Conference on Computational Linguistics (COLING 2025) in Abu Dhabi, United Arab Emirates. This workshop…

This overview describes the official results of the CL-SciSumm Shared Task 2018 -- the first medium-scale shared task on scientific document summarization in the computational linguistics (CL) domain. This year, the dataset comprised 60…

Computation and Language · Computer Science 2019-09-05 Kokil Jaidka , Michihiro Yasunaga , Muthu Kumar Chandrasekaran , Dragomir Radev , Min-Yen Kan

Domain experts are increasingly employing machine learning to solve their domain-specific problems. This article presents six key challenges that a domain expert faces in transforming their problem into a computational workflow, and then…

Software Engineering · Computer Science 2023-12-27 Bentley James Oakes , Michalis Famelis , Houari Sahraoui

This is the proceedings of PLACES'10, the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, held in Pathos, Cyprus, on 21st Mach, 2010, co-located with the ETAPS federated conferences. PLACES…

Programming Languages · Computer Science 2011-10-19 Kohei Honda , Alan Mycroft

This EPTCS volume collects the post-proceedings of the 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012), held as part of the Conferences on Intelligent Computer Mathematics (CICM 2012) in Bremen on July 11th…

Logic in Computer Science · Computer Science 2013-07-08 Cezary Kaliszyk , Christoph Lüth
‹ Prev 1 4 5 6 7 8 10 Next ›