361 citations
- Carnegie Mellon UniversityUS12 papers
- Stanford UniversityUS6 papers
- Google (United States)US5 papers
- University of WashingtonUS5 papers
- Amazon (United States)US4 papers
- Apple (Germany)DE4 papers
- Apple (Israel)IL4 papers
- Arizona State UniversityUS4 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Jet Propulsion LaboratoryUS4 papers
- Duke UniversityUS3 papers
- École Polytechnique Fédérale de LausanneCH3 papers
10 papers · 1 filter
FAR-Cubicle - A new reachability algorithm for Cubicle
Sylvain Conchon, Amit Goel, Sava Krstic +2
We present a fully automatic algorithm for verifying safety properties of parameterized software systems. This algorithm is based on both IC3 and Lazy Annotation. We implemented it…
Deep Regionlets: Blended Representation and Deep Learning for Generic Object Detection
Hongyu Xu, Xutao Lv, Xiaoyu Wang +3
In this paper, we propose a novel object detection algorithm named "Deep Regionlets" by integrating deep neural networks and a conventional detection schema for accurate generic ob…
Information-Weighted Neural Cache Language Models for ASR
Lyan Verwimp, Joris Pelemans, Hugo Van hamme +1
Neural cache language models (LMs) extend the idea of regular cache language models by making the cache probability dependent on the similarity between the current context and the…
TreeGAN: Syntax-Aware Sequence Generation with Generative Adversarial Networks
Xinyue Liu, Xiangnan Kong, Lei Liu +1
Generative Adversarial Networks (GANs) have shown great capacity on image generation, in which a discriminative model guides the training of a generative model to construct images…
Findings of the Second Workshop on Neural Machine Translation and Generation
Alexandra Birch, Andrew Finch, Minh-Thang Luong +2
This document describes the findings of the Second Workshop on Neural Machine Translation and Generation, held in concert with the annual conference of the Association for Computat…
PiPs: a Kernel-based Optimization Scheme for Analyzing Non-Stationary 1D Signals
Jieren Xu, Yitong Li, Haizhao Yang +2
This paper proposes a novel kernel-based optimization scheme to handle tasks in the analysis, e.g., signal spectral estimation and single-channel source separation of 1D non-statio…