中文
相关论文

相关论文: Proceedings IFIP Working Conference on Domain-Spec…

200 篇论文

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…

软件工程 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算几何 · 计算机科学 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…

高能物理 - 唯象学 · 物理学 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…

计算与语言 · 计算机科学 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 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

编程语言 · 计算机科学 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.…

编程语言 · 计算机科学 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…

机器学习 · 计算机科学 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…

编程语言 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算与语言 · 计算机科学 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…

软件工程 · 计算机科学 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…

编程语言 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 2013-07-08 Cezary Kaliszyk , Christoph Lüth