English
Related papers

Related papers: Relational Reactive Programming: miniKanren for th…

200 papers

Multi-turn user interactions are among the most abundant data produced by language models, yet we lack effective methods to learn from them. While typically discarded, these interactions often contain useful information: follow-up user…

Computation and Language · Computer Science 2026-03-16 Thomas Kleine Buening , Jonas Hübotter , Barna Pásztor , Idan Shenfeld , Giorgia Ramponi , Andreas Krause

Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented…

Programming Languages · Computer Science 2016-06-21 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta

Dynamical systems across many disciplines are modeled as interacting particles or agents, with interaction rules that depend on a very small number of variables (e.g. pairwise distances, pairwise differences of phases, etc...), functions of…

Machine Learning · Computer Science 2022-08-05 Jinchao Feng , Mauro Maggioni , Patrick Martin , Ming Zhong

We introduce a functional reactive programming language that extends WORMHOLES, an enhancement of YAMPA with support for effects. Our proposal relaxes the constraint in WORMHOLES that restricts all resources to single-use. Resources are…

Programming Languages · Computer Science 2025-03-11 Frédéric Dabrowski , Jordan Ischard

The scaling of Large Language Model (LLM) services faces significant cost and latency challenges, making effective caching under tight capacity crucial. Existing cache replacement policies, from heuristics to learning-based methods,…

Databases · Computer Science 2026-02-26 Yuchong Wu , Zihuan Xu , Wangze Ni , Peng Cheng , Lei Chen , Xuemin Lin , Heng Tao Shen , Kui Ren

Organic synthesis stands as a cornerstone of the chemical industry. The development of robust machine learning models to support tasks associated with organic reactions is of significant interest. However, current methods rely on…

Machine Learning · Computer Science 2025-01-06 Kaipeng Zeng , Xianbin Liu , Yu Zhang , Xiaokang Yang , Yaohui Jin , Yanyan Xu

Nowadays computing becomes increasingly mobile and pervasive. One of the important steps in pervasive computing is context-awareness. Context-aware pervasive systems rely on information about the context and user preferences to adapt their…

Networking and Internet Architecture · Computer Science 2010-07-09 Tam Van Nguyen , Wontaek Lim , Huy Nguyen , Deokjai Choi

Vast improvements in natural language understanding and speech recognition have paved the way for conversational interaction with computers. While conversational agents have often been used for short goal-oriented dialog, we know little…

Human-Computer Interaction · Computer Science 2020-08-20 Jessica Van Brummelen , Kevin Weng , Phoebe Lin , Catherine Yeo

In many online applications interactions between a user and a web-service are organized in a sequential way, e.g., user browsing an e-commerce website. In this setting, recommendation system acts throughout user navigation by showing items.…

Information Retrieval · Computer Science 2018-09-11 Elena Smirnova

In this paper we address the problem of visual reaction: the task of interacting with dynamic environments where the changes in the environment are not necessarily caused by the agent itself. Visual reaction entails predicting the future…

Computer Vision and Pattern Recognition · Computer Science 2020-04-13 Kuo-Hao Zeng , Roozbeh Mottaghi , Luca Weihs , Ali Farhadi

The development of self-adaptive software requires the engineering of proper feedback loops where an adaptation logic controls the underlying software. The adaptation logic often describes the adaptation by using runtime models representing…

Software Engineering · Computer Science 2018-05-23 Thomas Vogel , Holger Giese

Although Transformers with fully connected self-attentions are powerful to model long-term dependencies, they are struggling to scale to long texts with thousands of words in language modeling. One of the solutions is to equip the model…

Computation and Language · Computer Science 2022-04-27 Haozhe Ji , Rongsheng Zhang , Zhenyu Yang , Zhipeng Hu , Minlie Huang

Quantum computing provides computational advantages in various domains. To benefit from these advantages complex hybrid quantum applications must be built, which comprise both quantum and classical programs. Engineering these applications…

A central component of training in Reinforcement Learning (RL) is Experience: the data used for training. The mechanisms used to generate and consume this data have an important effect on the performance of RL algorithms. In this paper, we…

Machine Learning · Computer Science 2021-02-10 Albin Cassirer , Gabriel Barth-Maron , Eugene Brevdo , Sabela Ramos , Toby Boyd , Thibault Sottiaux , Manuel Kroiss

Since sequential information plays an important role in modeling user behaviors, various sequential recommendation methods have been proposed. Methods based on Markov assumption are widely-used, but independently combine several most recent…

Information Retrieval · Computer Science 2016-09-20 Qiang Liu , Shu Wu , Diyi Wang , Zhaokang Li , Liang Wang

React has become the most widely used web front-end framework, enabling the creation of user interfaces in a declarative and compositional manner. Hooks are a set of APIs that manage side effects in function components in React. However,…

Programming Languages · Computer Science 2025-08-22 Jay Lee , Joongwon Ahn , Kwangkeun Yi

Semantic relevance calculation is crucial for e-commerce search engines, as it ensures that the items selected closely align with customer intent. Inadequate attention to this aspect can detrimentally affect user experience and engagement.…

Information Retrieval · Computer Science 2024-09-26 Ben Chen , Huangyu Dai , Xiang Ma , Wen Jiang , Wei Ning

Multimodal interfaces are becoming increasingly important with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse interaction media. This article investigates systems support for…

Information Retrieval · Computer Science 2007-05-23 Atul Shenoy , Naren Ramakrishnan , Manuel A. Perez-Quinones , Srinidhi Varadarajan

In recent years, significant progress has been made in multi-objective reinforcement learning (RL) research, which aims to balance multiple objectives by incorporating preferences for each objective. In most existing studies, specific…

Machine Learning · Computer Science 2024-09-17 Qian Lin , Zongkai Liu , Danying Mo , Chao Yu

We describe some progress towards a new common framework for model driven engineering, based on behavioral programming. The tool we have developed unifies almost all of the work done in behavioral programming so far, under a common set of…

Software Engineering · Computer Science 2018-06-05 Michael Bar-Sinai , Gera Weiss , Reut Shmuel