English
Related papers

Related papers: Implementation, Compilation, Optimization of Objec…

200 papers

This proceedings contains abstracts and position papers for the work presented at the third Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, using zoom, at stonybrook.zoom.us, on December 13, 2022. The…

Programming Languages · Computer Science 2024-10-01 David S. Warren , Yanhong A. Liu

Recent advances in large language models (LLMs) have led to their popularity across multiple use-cases. However, prompt engineering, the process for optimally utilizing such models, remains approximation-driven and subjective. Most of the…

Computational Complexity · Computer Science 2025-04-29 Aashutosh Nema , Samaksh Gulati , Evangelos Giakoumakis , Bipana Thapaliya

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.

Programming Languages · Computer Science 2017-04-11 David S. Warren , Yanhong A. Liu

The 1st edition of the workshop on Mixed-Initiative ConveRsatiOnal Systems (MICROS@ECIR2021) aims at investigating and collecting novel ideas and contributions in the field of conversational systems. Oftentimes, the users fulfill their…

Information Retrieval · Computer Science 2021-01-26 Ida Mele , Cristina Ioana Muntean , Mohammad Aliannejadi , Nikos Voskarides

Large Language Models excel at code generation yet struggle with complex programming tasks that demand sophisticated reasoning. To bridge this gap, traditional process supervision relies on learned reward models requiring costly training…

Computation and Language · Computer Science 2025-06-09 Zhuohao Yu , Weizheng Gu , Yidong Wang , Xingru Jiang , Zhengran Zeng , Jindong Wang , Wei Ye , Shikun Zhang

This volume contains the Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science (SLPCS 2016), which was held on the 11th of June at the University of Strathclyde, Glasgow, and was…

Computation and Language · Computer Science 2016-08-04 Dimitrios Kartsaklis , Martha Lewis , Laura Rimell

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,…

Computation and Language · Computer Science 2023-05-03 Juraj Vladika , Florian Matthes

The goal of the workshop is to bring together researchers interested in various aspects of small-team collaborative search to share ideas, to stimulate research in the area, and to increase the visibility of this emerging area. We expect to…

Information Retrieval · Computer Science 2009-08-11 Jeremy Pickens , Gene Golovchinsky , Meredith Ringel Morris

This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. WLPE aims at providing an informal meeting for researchers…

Logic in Computer Science · Computer Science 2010-02-25 Rafael Caballero , John Gallagher

Despite growing global attention to digital accessibility, research from India highlights a significant gap in accessibility training for both computing educators and software professionals. To address this need, we designed and conducted…

Computers and Society · Computer Science 2025-12-22 P D Parthasarathy , Anshu M Mittal , Swaroop Joshi

Open source software ecosystems are composed of a variety of stakeholders including but not limited to non-profit organizations, volunteer contributors, users, and corporations. The needs and motivations of these stakeholders are often…

This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on July 9, 2010, in Edinburgh, UK. Strategies are ubiquitous in…

Logic in Computer Science · Computer Science 2010-12-27 Hélène Kirchner , César Muñoz

The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into the area, but…

Software Engineering · Computer Science 2012-09-11 Gordon J. Pace , Anders P. Ravn

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…

Large vision-language models (VLMs) have achieved substantial progress in multimodal perception and reasoning. When integrated into an embodied agent, existing embodied VLM works either output detailed action sequences at the manipulation…

Computer Vision and Pattern Recognition · Computer Science 2024-10-22 Jingkang Yang , Yuhao Dong , Shuai Liu , Bo Li , Ziyue Wang , Chencheng Jiang , Haoran Tan , Jiamu Kang , Yuanhan Zhang , Kaiyang Zhou , Ziwei Liu

Language models trained on large-scale corpora can generate remarkably fluent results in open-domain dialogue. However, for the persona-based dialogue generation task, consistency and coherence are also key factors, which are great…

Artificial Intelligence · Computer Science 2023-05-23 Junkai Zhou , Liang Pang , Huawei Shen , Xueqi Cheng

Ontologies are known for their ability to organize rich metadata, support the identification of novel insights via semantic queries, and promote reuse. In this paper, we consider the problem of automated planning, where the objective is to…

Artificial Intelligence · Computer Science 2024-07-09 Bharath Muppasani , Vishal Pallagani , Biplav Srivastava , Raghava Mutharaju , Michael N. Huhns , Vignesh Narayanan

The SIGIR 2019 Workshop on eCommerce (ECOM19), was a full day workshop that took place on Thursday, July 25, 2019 in Paris, France. The purpose of the workshop was to serve as a platform for publication and discussion of Information…

Information Retrieval · Computer Science 2019-12-30 Jon Degenhardt , Surya Kallumadi , Utkarsh Porwal , Andrew Trotman

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

Logic in Computer Science · Computer Science 2022-12-22 Reiko Heckel , Christopher M. Poskitt

As high-quality public text approaches exhaustion, a phenomenon known as the Data Wall, pre-training is shifting from more tokens to better tokens. However, existing methods either rely on heuristic static filters that ignore training…

Computation and Language · Computer Science 2026-02-10 Shaobo Wang , Xuan Ouyang , Tianyi Xu , Yuzheng Hu , Jialin Liu , Guo Chen , Tianyu Zhang , Junhao Zheng , Kexin Yang , Xingzhang Ren , Dayiheng Liu , Linfeng Zhang
‹ Prev 1 8 9 10 Next ›