中文
相关论文

相关论文: 1st AfricaNLP Workshop Proceedings, 2020

200 篇论文

This volume contains the proceedings of MARS 2015, the first workshop on Models for Formal Analysis of Real Systems, held on November 23, 2015 in Suva, Fiji, as an affiliated workshop of LPAR 2015, the 20th International Conference on Logic…

计算机科学中的逻辑 · 计算机科学 2015-11-10 Rob van Glabbeek , Jan Friso Groote , Peter Höfner

This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from October 7 to October 8, 2025. The aim of the LSFA series of…

计算机科学中的逻辑 · 计算机科学 2025-09-30 Haniel Barbosa , Christophe Ringeissen

This report aggregates the papers presented at the twenty-first annual Scheme and Functional Programming Workshop, hosted on August 28th, 2020, online and co-located with the twenty-fifth International Conference on Functional Programming.…

编程语言 · 计算机科学 2021-01-19 Baptiste Saleil , Michael D. Adams

The success of Pre-Trained Models (PTMs) has reshaped the development of Natural Language Processing (NLP). Yet, it is not easy to obtain high-performing models and deploy them online for industrial practitioners. To bridge this gap,…

计算与语言 · 计算机科学 2023-03-14 Chengyu Wang , Minghui Qiu , Chen Shi , Taolin Zhang , Tingting Liu , Lei Li , Jianing Wang , Ming Wang , Jun Huang , Wei Lin

This volume constitutes the pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 10-12th October 2017 in Namur, Belgium, and co-located with the 19th International…

编程语言 · 计算机科学 2017-09-01 Fabio Fioravanti , John P. Gallagher

This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.

计算机科学中的逻辑 · 计算机科学 2023-09-25 Horaţiu Cheval , Laurenţiu Leuştean , Andrei Sipoş

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

计算机科学中的逻辑 · 计算机科学 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterh\'azy K\'aroly Catholic University of Eger, Hungary, and the University of Szeged, Hungary.…

形式语言与自动机理论 · 计算机科学 2023-09-06 Zsolt Gazdag , Szabolcs Iván , Gergely Kovásznai

This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.

人工智能 · 计算机科学 2019-11-22 Jorge Fandinno , Johannes Fichte

This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13,…

人工智能 · 计算机科学 2024-10-29 Anil Nerode , Yanhong A. Liu

This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th…

计算机科学中的逻辑 · 计算机科学 2012-11-16 Sandra Alves , Ian Mackie

Natural Language Processing (NLP) is becoming a dominant subset of artificial intelligence as the need to help machines understand human language looks indispensable. Several NLP applications are ubiquitous, partly due to the myriad of…

计算与语言 · 计算机科学 2026-02-25 Toheeb Aduramomi Jimoh , Tabea De Wille , Nikola S. Nikolov

This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International…

人工智能 · 计算机科学 2023-11-16 Marie Farrell , Matt Luckcuck , Mario Gleirscher , Maike Schwammberger

These are the proceedings of the Second International Workshop on Safe Control of Autonomous Vehicles, which took place on the 10th of April 2018 in Porto, Portugal as an affiliated workshop of CSPWeek. The task of this workshop is to…

系统与控制 · 计算机科学 2018-04-11 Mario Gleirscher , Stefan Kugele , Sven Linker

This volume includes a selection of papers presented at the Workshop on Advancing Artificial Intelligence through Theory of Mind held at AAAI 2025 in Philadelphia US on 3rd March 2025. The purpose of this volume is to provide an open access…

人工智能 · 计算机科学 2025-05-08 Mouad Abrini , Omri Abend , Dina Acklin , Henny Admoni , Gregor Aichinger , Nitay Alon , Zahra Ashktorab , Ashish Atreja , Moises Auron , Alexander Aufreiter , Raghav Awasthi , Soumya Banerjee , Joe M. Barnby , Rhea Basappa , Severin Bergsmann , Djallel Bouneffouf , Patrick Callaghan , Marc Cavazza , Thierry Chaminade , Sonia Chernova , Mohamed Chetouan , Moumita Choudhury , Axel Cleeremans , Jacek B. Cywinski , Fabio Cuzzolin , Hokin Deng , N'yoma Diamond , Camilla Di Pasquasio , Guillaume Dumas , Max van Duijn , Mahapatra Dwarikanath , Qingying Gao , Ashok Goel , Rebecca Goldstein , Matthew Gombolay , Gabriel Enrique Gonzalez , Amar Halilovic , Tobias Halmdienst , Mahimul Islam , Julian Jara-Ettinger , Natalie Kastel , Renana Keydar , Ashish K. Khanna , Mahdi Khoramshahi , JiHyun Kim , MiHyeon Kim , YoungBin Kim , Senka Krivic , Nikita Krasnytskyi , Arun Kumar , JuneHyoung Kwon , Eunju Lee , Shane Lee , Peter R. Lewis , Xue Li , Yijiang Li , Michal Lewandowski , Nathan Lloyd , Matthew B. Luebbers , Dezhi Luo , Haiyun Lyu , Dwarikanath Mahapatra , Kamal Maheshwari , Mallika Mainali , Piyush Mathur , Patrick Mederitsch , Shuwa Miura , Manuel Preston de Miranda , Reuth Mirsky , Shreya Mishra , Nina Moorman , Katelyn Morrison , John Muchovej , Bernhard Nessler , Felix Nessler , Hieu Minh Jord Nguyen , Abby Ortego , Francis A. Papay , Antoine Pasquali , Hamed Rahimi , Charumathi Raghu , Amanda Royka , Stefan Sarkadi , Jaelle Scheuerman , Simon Schmid , Paul Schrater , Anik Sen , Zahra Sheikhbahaee , Ke Shi , Reid Simmons , Nishant Singh , Mason O. Smith , Ramira van der Meulen , Anthia Solaki , Haoran Sun , Viktor Szolga , Matthew E. Taylor , Travis Taylor , Sanne Van Waveren , Juan David Vargas , Rineke Verbrugge , Eitan Wagner , Justin D. Weisz , Ximing Wen , William Yeoh , Wenlong Zhang , Michelle Zhao , Shlomo Zilberstein

This volume contains the proceedings of the Fourth and Fifth International Workshops on Trends in Functional Programming in Education, TFPIE 2015 and TFPIE 2016, which were held on June 2, 2015 in Sophia-Antipolis, France, and on June 7,…

编程语言 · 计算机科学 2016-11-29 Johan Jeuring , Jay McCarthy

Large language models (LLMs) have gained popularity recently due to their outstanding performance in various downstream Natural Language Processing (NLP) tasks. However, low-resource languages are still lagging behind current…

Despite representing nearly one-third of the world's languages, African languages remain critically underserved by modern NLP technologies, with 88\% classified as severely underrepresented or completely ignored in computational…

This is the Proceedings of the 3rd International Workshop on Mining and Learning in the Legal Domain (MLLD-23) which took place in conjunction with the 32nd ACM International Conference on Information and Knowledge Management (CIKM-2023) at…

计算机与社会 · 计算机科学 2023-11-21 Masoud Makrehchi , Dell Zhang , Alina Petrova , John Armour

This document describes the findings of the Third Workshop on Neural Generation and Translation, held in concert with the annual conference of the Empirical Methods in Natural Language Processing (EMNLP 2019). First, we summarize the…