中文
相关论文

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

200 篇论文

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

编程语言 · 计算机科学 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

计算机科学中的逻辑 · 计算机科学 2015-09-29 Nathalie Bertrand , Mirco Tribastone

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic…

This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ETAPS 2016 in Eindhoven, The Netherlands, on 2-3 April 2016.

编程语言 · 计算机科学 2016-10-26 Mirco Tribastone , Herbert Wiklicky

Working with documents is a key part of almost any knowledge work, from contextualizing research in a literature review to reviewing legal precedent. Recently, as their capabilities have expanded, primarily text-based NLP systems have often…

计算与语言 · 计算机科学 2025-04-18 Sireesh Gururaja , Nupoor Gandhi , Jeremiah Milbauer , Emma Strubell

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace…

计算机科学中的逻辑 · 计算机科学 2017-04-19 Guillaume Bonfante , Georg Moser

Interacting with computers is a ubiquitous activity for millions of people. Repetitive or specialized tasks often require creation of small, often one-off, programs. End-users struggle with learning and using the myriad of domain-specific…

编程语言 · 计算机科学 2015-09-02 Aditya Desai , Sumit Gulwani , Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron , Sailesh R , Subhajit Roy

The exponential increase in scientific literature and online information necessitates efficient methods for extracting knowledge from textual data. Natural language processing (NLP) plays a crucial role in addressing this challenge,…

计算与语言 · 计算机科学 2025-10-22 Zhyar Rzgar K. Rostam , Gábor Kertész

This is the arXiv index for the electronic proceedings of GD 2021, 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…

计算几何 · 计算机科学 2021-09-13 Helen Purchase , Ignaz Rutter

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic…

计算机科学中的逻辑 · 计算机科学 2022-08-05 Yuliya Lierler , Jose F. Morales , Carmine Dodaro , Veronica Dahl , Martin Gebser , Tuncay Tekle

The article presents a technology for dynamic knowledge-based building of Domain-Specific Languages (DSL) to describe data-intensive scientific discovery tasks using BigData technology. The proposed technology supports high level abstract…

分布式、并行与集群计算 · 计算机科学 2016-03-21 Sergey V. Kovalchuk , Artem V. Zakharchuk , Jiaqi Liao , Sergey V. Ivanov , Alexander V. Boukhanovsky

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but…

Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a…

编程语言 · 计算机科学 2018-04-20 Gabriël Konat , Michael J. Steindorfer , Sebastian Erdweg , Eelco Visser

Welcome to the proceedings of FOCLASA 2012, the 11th International Workshop on the Foundations of Coordination Languages and Self-Adaptation. FOCLASA 2012 was held in Newcastle upon Tyne, UK, on September 8, 2012 as a satellite event of…

分布式、并行与集群计算 · 计算机科学 2012-08-22 Natallia Kokash , António Ravara

Datasets play a central role in the training and evaluation of machine learning (ML) models. But they are also the root cause of many undesired model behaviors, such as biased predictions. To overcome this situation, the ML community is…

机器学习 · 计算机科学 2024-01-23 Joan Giner-Miguelez , Abel Gómez , Jordi Cabot

The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional…

计算机与社会 · 计算机科学 2014-12-16 James Caldwell , Philip Hölzenspies , Peter Achten

We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain description as input and delivers a new dialog manager for the…

cmp-lg · 计算机科学 2007-05-23 Bernd Ludwig , Guenther Goerz , Heinrich Niemann

This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…

计算机科学中的逻辑 · 计算机科学 2021-08-24 Ornela Dardha , Valentina Castiglioni

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…

编程语言 · 计算机科学 2013-02-04 Nicos Angelopoulos , Roberto Bagnara

The 2013 D\'efi de Fouille de Textes (DEFT) campaign is interested in two types of language analysis tasks, the document classification and the information extraction in the specialized domain of cuisine recipes. We present the systems that…