arXiv research

The paper enhances a virtual assistant's humor to improve user satisfaction.

Voice-controlled personal and home assistants (such as the Amazon Echo and Apple Siri) are becoming increasingly popular for a variety of applications. However, the benefits of these technologies are not readily accessible to Deaf or Hard-ofHearing (DHH) users. The objective of this study is to develop and evaluate a s…

Automatic voice-controlled systems have changed the way humans interact with a computer. Voice or speech recognition systems allow a user to make a hands-free request to the computer, which in turn processes the request and serves the user with appropriate responses. After years of research and developments in machine …

In a voice-controlled smart-home, a controller must respond not only to user's requests but also according to the interaction context. This paper describes Arcades, a system which uses deep reinforcement learning to extract context from a graphical representation of home automation system and to update continuously its…

System helps engineers with concept recognition for SEVA.

Survey examines challenges of ML in avionic systems certification.

Model improves email-based conversational agents' ability to extract relevant information.

Efficiently allocate budgets for LLM-assisted virtual screening to reduce costs.

This research improves EEG-based MI-BCI systems to be more resilient to emotional arousal.

A novel controller for wheeled robots handles joystick inputs for smooth steering.

GOLOMB improves dialogue state tracking for unseen services.

For assistive robots and virtual agents to achieve ubiquity, machines will need to anticipate the needs of their human counterparts. The field of Learning from Demonstration (LfD) has sought to enable machines to infer predictive models of human behavior for autonomous robot control. However, humans exhibit heterogenei…

One of the most exciting technology breakthroughs in the last few years has been the rise of deep learning. State-of-the-art deep learning models are being widely deployed in academia and industry, across a variety of areas, from image analysis to natural language processing. These models have grown from fledgling rese…

Future autonomous systems need reliable world models and complex action sequences.

Personal assistant AI systems such as Siri, Cortana, and Alexa have become widely used as a means to accomplish tasks through natural language commands. However, components in these systems generally rely on supervised machine learning algorithms that require large amounts of hand-annotated training data, which is expe…

Keyword spotting--or wakeword detection--is an essential feature for hands-free operation of modern voice-controlled devices. With such devices becoming ubiquitous, users might want to choose a personalized custom wakeword. In this work, we present DONUT, a CTC-based algorithm for online query-by-example keyword spotti…

Accurate on-device keyword spotting (KWS) with low false accept and false reject rate is crucial to customer experience for far-field voice control of conversational agents. It is particularly challenging to maintain low false reject rate in real world conditions where there is (a) ambient noise from external sources s…

In semantic parsing for question-answering, it is often too expensive to collect gold parses or even gold answers as supervision signals. We propose to convert model outputs into a set of human-understandable statements which allow non-expert users to act as proofreaders, providing error markings as learning signals to…

New AI assistant for power grid operators simplifies complex decision-making.

Framework allows organizations to collaborate on learning tasks securely.

New virtualized Δ-move simplifies virtual knots and links.

We study the problem of designing AI agents that can robustly cooperate with people in human-machine partnerships. Our work is inspired by real-life scenarios in which an AI agent, e.g., a virtual assistant, has to cooperate with new users after its deployment. We model this problem via a parametric MDP framework where…

Virtual index cocycles reformulate virtual link invariants.

The paper studies strict equivalence in multi-virtual linkoids with new invariants.

Improves survey sampling with unbiased machine learning methods.

Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level tactics. However, human experts have to construct proofs manually by en…

The study enumerates virtual quandles up to isomorphism.

New virtual version of Thompson's group created to handle virtual knots.

The paper extends CF-moves to classify virtual links of any number of components.

Refines virtual link equality criterion for diagrams with one virtual crossing.

Extend writhe polynomial from virtual knots to multi-virtual knots

New invariants for virtual knots and links defined via quiver representations.

Study virtualized Delta, Sharp, and Pass moves for oriented virtual knots and links.

The virtual unknotting number of a virtual knot is the minimal number of crossing changes that makes the virtual knot to be the unknot, which is defined only for virtual knots virtually homotopic to the unknot. We focus on the virtual knot obtained from the standard (p,q)-torus knot diagram by replacing all crossings o…

This paper connects virtual biquandles to biquandles for virtual link colorings.

Virtual knots and links get multicrossings and petal diagrams.

Computer-assisted method finds new Einstein metrics on spheres.

Access to food assistance programs such as food pantries and food banks needs focus in order to mitigate food insecurity. Accessibility to the food assistance programs is impacted by demographics of the population and geography of the location. It hence becomes imperative to define and identify food assistance deserts …

A virtual string can be defined as an equivalence class of planar diagrams under certain kinds of diagrammatic moves. Virtual strings are related to virtual knots in that a simple operation on a virtual knot diagram produces a diagram for a virtual string. In this paper we consider three operations on a virtual string …

A virtual $n$-string is a chord diagram with $n$ core circles and a collection of arrows between core circles. We consider virtual $n$-strings up to virtual homotopy, compositions of flat virtual Reidemeister moves on chord diagrams. Given a virtual 1-string $α$, Turaev associated a based matrix that encodes invariants…

This paper evaluates ASR models on various co-processors, showing hardware acceleration benefits.

New invariant for virtual n-links defined and studied.

Given a virtual knot $K$, we construct a group $VG_K$ called the virtual knot group, and we use the elementary ideals of $VG_K$ to define invariants of $K$ called the virtual Alexander invariants. For instance, associated to the $k=0$ ideal is a polynomial $H_K(s,t,q)$ in three variables which we call the virtual Alexa…

A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative. Normal virtual links have some properties similar to classical links.In this paper, we introduce a method of converting a virtual link d…

New polynomial invariants for virtual links are stronger than F-polynomials.

Virtual singular braids are generalizations of singular braids and virtual braids. We define the virtual singular braid monoid via generators and relations, and prove Alexander- and Markov-type theorems for virtual singular links. We also show that the virtual singular braid monoid has another presentation with fewer g…

Paper detects checkerboard colorability of virtual links using odd writhe and arrow polynomial.

Study algebraic invariants of multi-virtual links.