English
Related papers

Related papers: Report on TBAS 2012: Workshop on Task-Based and Ag…

200 papers

This volume contains the proceedings of the 4th workshop on Foundations of Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in Tallinn, Estonia, and took place on March 25, 2012. The aim of this workshop is to bring…

Logic in Computer Science · Computer Science 2012-07-17 Sebastian Bauer , Jean-Baptiste Raclet

The present study describes our submission to SemEval 2018 Task 1: Affect in Tweets. Our Spanish-only approach aimed to demonstrate that it is beneficial to automatically generate additional training data by (i) translating training data…

Computation and Language · Computer Science 2018-05-29 Marloes Kuijper , Mike van Lenthe , Rik van Noord

Search engines and conversational assistants are commonly used to help users complete their every day tasks such as booking travel, cooking, etc. While there are some existing datasets that can be used for this purpose, their coverage is…

Information Retrieval · Computer Science 2023-02-02 Procheta Sen , Xi Wang , Ruiqing Xu , Emine Yilmaz

This volume of the EPTCS contains the proceedings of the 15th international workshop on Qualitative Aspects of Programming Languages and Systems, QAPL 2017, held at April 23, 2017 in Uppsala, Sweden as a satellite event of ETAPS 2017, the…

Programming Languages · Computer Science 2017-07-13 Herbert Wiklicky , Erik de Vink

This volume contains the papers presented at the fifth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) held on September 4th, 2012 in Budapest, co-located with the 28th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-01-11 Michael Fink , Yuliya Lierler

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-08-22 Natallia Kokash , António Ravara

We present the results of the CAPITEL-EVAL shared task, held in the context of the IberLEF 2020 competition series. CAPITEL-EVAL consisted on two subtasks: (1) Named Entity Recognition and Classification and (2) Universal Dependency…

Computation and Language · Computer Science 2020-11-12 Jordi Porta-Zamorano , Luis Espinosa-Anke

This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of August 2012 as a satellite event of FM'12. The aim of the…

Logic in Computer Science · Computer Science 2013-02-14 Mohamed Faouzi Atig , Ahmed Rezine

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

These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan).

Software Engineering · Computer Science 2012-11-13 Fuyuki Ishikawa , Alexander Romanovsky

Aiming to help people conduct online research tasks, much research has gone into tools for searching for, collecting, organizing, and synthesizing online information. However, outside of the lab, in-the-wild sensemaking sessions (with data…

Human-Computer Interaction · Computer Science 2024-11-12 Andrew Kuznetsov , Michael Xieyang Liu , Aniket Kittur

This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June 16,…

Software Engineering · Computer Science 2012-10-23 Josep Silva , Francesco Tiezzi

This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite event of LPAR-20, the 20th International Conferences on Logic…

Logic in Computer Science · Computer Science 2015-12-21 Iliano Cervesato , Carsten Schürmann

This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…

Logic in Computer Science · Computer Science 2012-01-04 Jean-Yves Marion

This document contains the proceedings of the Seventh International Workshop on Logical and Semantic Frameworks, with Applications, which was held on September 29 and 30, 2012, in Rio de Janeiro, Brazil. It contains 11 regular papers (9…

Logic in Computer Science · Computer Science 2013-03-29 Delia Kesner , Petrucio Viana

This volume contains the papers presented at the 6th Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012), a satellite workshop of the 23rd International Conference on Concurrency Theory (CONCUR) held on 8th September…

Programming Languages · Computer Science 2012-11-16 Gabriel Ciobanu

This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a satellite workshop of CONCUR 2011. The EXPRESS workshop series…

Logic in Computer Science · Computer Science 2011-08-23 Bas Luttik , Frank Valencia

This is the Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, which was held on Catalina Island, CA August 14-18 2012.

Artificial Intelligence · Computer Science 2014-08-29 Nando de Freitas , Kevin Murphy

This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20,…

Logic in Computer Science · Computer Science 2018-03-26 John P. Gallagher , Rob van Glabbeek , Wendelin Serwe