English
Related papers

Related papers: Persistent Queries

200 papers

In this short communication it is discussed the relation between disentangled states and algorithmic information theory aiming to construct an irreducible sentence whose length increases in a non-polynomial way when the number of qubits…

Computational Complexity · Computer Science 2007-07-13 Rubens Viana Ramos

We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints encoding user intent, and then iteratively interacts with the…

Programming Languages · Computer Science 2021-10-12 Osbert Bastani , Xin Zhang , Armando Solar-Lezama

Existing voice AI assistants treat every detected pause as an invitation to speak. This works in dyadic dialogue, but in multi-party settings, where an AI assistant participates alongside multiple speakers, pauses are abundant and…

Artificial Intelligence · Computer Science 2026-03-13 Kratika Bhagtani , Mrinal Anand , Yu Chen Xu , Amit Kumar Singh Yadav

We consider here the problem of obtaining reliable, consistent information from inconsistent databases -- databases that do not have to satisfy given integrity constraints. We use the notion of consistent query answer -- a query answer…

Databases · Computer Science 2007-05-23 Jan Chomicki , Jerzy Marcinkowski

Finding claims that researchers have made considerable progress in artificial intelligence over the last several decades is easy. However, our everyday interactions with cognitive systems (e.g., Siri, Alexa, DALL-E) quickly move from…

Artificial Intelligence · Computer Science 2022-11-09 Will Bridewell

Conversational interfaces that allow for intuitive and comprehensive access to digitally stored information remain an ambitious goal. In this thesis, we lay foundations for designing conversational search systems by analyzing the…

Information Retrieval · Computer Science 2019-12-17 Svitlana Vakulenko

Query Understanding concerns about inferring the precise intent of search by the user with his formulated query, which is challenging because the queries are often very short and ambiguous. The report discusses the various kind of queries…

Information Retrieval · Computer Science 2015-05-21 Abhay Prakash , Dhaval Patel

We are studying long term sequence prediction (forecasting). We approach this by investigating criteria for choosing a compact useful state representation. The state is supposed to summarize useful information from the history. We want a…

Machine Learning · Computer Science 2012-02-10 Peter Sunehag , Marcus Hutter

I study the optimal provision of information in a long-term relationship between a sender and a receiver. The sender observes a persistent, evolving state and commits to send signals over time to the receiver, who sequentially chooses…

Theoretical Economics · Economics 2023-03-20 Ian Ball

The task of artificial intelligence is to provide representation techniques for describing problems, as well as search algorithms that can be used to answer our questions. A widespread and elaborated model is state-space representation,…

Artificial Intelligence · Computer Science 2014-02-24 Tamás Kádek , János Pánovics

We introduce the Neural State Machine, seeking to bridge the gap between the neural and symbolic views of AI and integrate their complementary strengths for the task of visual reasoning. Given an image, we first predict a probabilistic…

Artificial Intelligence · Computer Science 2019-11-26 Drew A. Hudson , Christopher D. Manning

Active learning can play an important role in low-resource settings (i.e., where annotated data is scarce), by selecting which instances may be more worthy to annotate. Most active learning approaches for Machine Translation assume the…

Computation and Language · Computer Science 2022-03-15 Vânia Mendonça , Ricardo Rei , Luisa Coheur , Alberto Sardinha

I explain the shutdown problem: the problem of designing artificial agents that (1) shut down when a shutdown button is pressed, (2) don't try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals…

Artificial Intelligence · Computer Science 2024-04-10 Elliott Thornley

We show that any number of parties can coherently exchange any one pure quantum state for another, without communication, given prior shared entanglement. Two applications of this fact to the study of multi-prover quantum interactive proof…

Quantum Physics · Physics 2011-03-11 Debbie Leung , Ben Toner , John Watrous

The transient response of a stationary state of a quantum particle in a step potential to an instantaneous change in the step height (a simplified model for a sudden bias switch in an electronic semiconductor device) is solved exactly by…

Quantum Physics · Physics 2009-11-07 F. Delgado , H. Cruz , J. G. Muga

We study a queueing system with Erlang arrivals with $k$ phases and Erlang service with $m$ phases. Transition rates among phases vary periodically with time. For these systems, we derive the asymptotic periodic distribution of the level…

Probability · Mathematics 2021-07-29 Barbara Margolius

Understanding a user's query intent behind a search is critical for modern search engine success. Accurate query intent prediction allows the search engine to better serve the user's need by rendering results from more relevant categories.…

Computation and Language · Computer Science 2020-08-19 Xiaowei Liu , Weiwei Guo , Huiji Gao , Bo Long

Continuous Time Markov Chain (CMTC) is widely used to describe and analyze systems in several knowledge areas. Steady state availability is one important analysis that can be made through Markov chain formalism that allows researchers…

Performance · Computer Science 2017-01-24 Eduardo M. Vasconcelos

We present a series of two studies conducted to understand user's affective states during voice-based human-machine interactions. Emphasis is placed on the cases of communication errors or failures. In particular, we are interested in…

Human-Computer Interaction · Computer Science 2022-07-19 Sujeong Kim , Abhinav Garlapati , Jonah Lubin , Amir Tamrakar , Ajay Divakaran

A key limitation in current datasets for multi-hop reasoning is that the required steps for answering the question are mentioned in it explicitly. In this work, we introduce StrategyQA, a question answering (QA) benchmark where the required…

Computation and Language · Computer Science 2021-01-08 Mor Geva , Daniel Khashabi , Elad Segal , Tushar Khot , Dan Roth , Jonathan Berant