中文
相关论文

相关论文: Report on TBAS 2012: Workshop on Task-Based and Ag…

200 篇论文

The third Global Experimentation for Future Internet (GEFI 2018) workshop was held October 25-26, 2018 in Tokyo, Japan, hosted by the University of Tokyo. A total of forty-four participants attended, representing Belgium, Brazil, China,…

In this paper, we present our approach and empirical observations for Cause-Effect Signal Span Detection -- Subtask 2 of Shared task 3~\cite{tan-etal-2022-event} at CASE 2022. The shared task aims to extract the cause, effect, and signal…

计算与语言 · 计算机科学 2022-11-01 Xingran Chen , Ge Zhang , Adam Nik , Mingyu Li , Jie Fu

This is a summary of the talks presented at the International Workshop on Top Quark Physics (top2008) held in Elba, Italy, May 18-24, 2008.

高能物理 - 唯象学 · 物理学 2010-11-11 Scott Willenbrock

This volume contains the proceedings of the Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on…

计算机科学中的逻辑 · 计算机科学 2012-02-14 James Chapman , Paul Blain Levy

This volume contains the papers that were presented at the second international workshop on Trends in Tree Automata and Transducers (TTATT 2013) which took place on October 19th, 2013 in Hanoi/Vietnam. The workshop was colocated with the…

形式语言与自动机理论 · 计算机科学 2013-11-21 Sebastian Maneth

This volume consists of papers presented at the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) held at the University of Liverpool, UK, from July 24 to 26, 2017. TARK conferences bring together researchers…

计算机科学与博弈论 · 计算机科学 2017-07-27 Jérôme Lang

The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was…

人工智能 · 计算机科学 2019-10-31 Georgiana Caltais , Jean Krivine

We present the FinCausal 2020 Shared Task on Causality Detection in Financial Documents and the associated FinCausal dataset, and discuss the participating systems and results. Two sub-tasks are proposed: a binary classification task (Task…

The Wivace 2013 Electronic Proceedings in Theoretical Computer Science (EPTCS) contain some selected long and short articles accepted for the presentation at Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation,…

计算工程、金融与科学 · 计算机科学 2013-09-30 Alex Graudenzi , Giulio Caravagna , Giancarlo Mauri , Marco Antoniotti

The importance of tasks in information retrieval (IR) has been long argued for, addressed in different ways, often ignored, and frequently revisited. For decades, scholars made a case for the role that a user's task plays in how and why…

信息检索 · 计算机科学 2023-01-13 Chirag Shah , Ryen W. White , Paul Thomas , Bhaskar Mitra , Shawon Sarkar , Nicholas Belkin

We will report on the participation of GESIS at the first CHiC workshop (Cultural Heritage in CLEF). Being held for the first time, no prior experience with the new data set, a document dump of Europeana with ca. 23 million documents,…

信息检索 · 计算机科学 2012-08-21 Philipp Schaer , Daniel Hienert , Frank Sawitzki , Andias Wira-Alam , Thomas Lüke

This volume contains the papers accepted at the 1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014), held in Paderborn, Germany, May 29-30, 2014. Racing 2014 was co-located with the IEEE European Test…

分布式、并行与集群计算 · 计算机科学 2014-05-12 Frank Hannig , Jürgen Teich

These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th…

计算机科学中的逻辑 · 计算机科学 2015-08-17 Maurice H. ter Beek , Alberto Lluch Lafuente

With the increasing number of clinical trial reports generated every day, it is becoming hard to keep up with novel discoveries that inform evidence-based healthcare recommendations. To help automate this process and assist medical experts,…

计算与语言 · 计算机科学 2023-05-03 Juraj Vladika , Florian Matthes

The purpose of the New York Workshop on Computer, Earth and Space Sciences is to bring together the New York area's finest Astronomers, Statisticians, Computer Scientists, Space and Earth Scientists to explore potential synergies between…

天体物理仪器与方法 · 物理学 2011-06-28 Michael J. Way , Catherine Naud

This volume contains the proceedings of the Fifth International Workshop on Verification and Program Transformation (VPT 2017). The workshop took place in Uppsala, Sweden, on April 29th, 2017, affiliated with the European Joint Conferences…

计算机科学中的逻辑 · 计算机科学 2017-08-24 Alexei Lisitsa , Andrei P. Nemytykh , Maurizio Proietti

This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational Semantics, which was held in Warsaw, Poland, as an…

计算机科学中的逻辑 · 计算机科学 2022-09-01 Valentina Castiglioni , Claudio A. Mezzina

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

This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on…

编程语言 · 计算机科学 2011-07-06 Mieke Massink , Gethin Norman

This volume contains the proceedings of the First International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2012), held in Kyoto on November 12, 2012, as a satellite event of the ICFEM conference. The aim of this…

计算机科学中的逻辑 · 计算机科学 2013-01-01 Peter Csaba Ölveczky , Cyrille Artho