2.9k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- The University of TokyoJP171 papers
- The Graduate University for Advanced Studies, SOKENDAIJP129 papers
- NTT Basic Research LaboratoriesJP96 papers
- Stanford UniversityUS80 papers
- Japan Science and Technology AgencyJP63 papers
- NTT (Japan)JP60 papers
- Centre National de la Recherche ScientifiqueFR55 papers
- New York UniversityUS49 papers
- New York University ShanghaiCN49 papers
- Hewlett-Packard (United Kingdom)GB41 papers
- East China Normal UniversityCN38 papers
- Japanese-French Laboratory for InformaticsJP38 papers
127 papers · 1 filter
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
Étienne André, Laurent Fribourg, Jean-Marc Mota +1
The election of a leader in a network is a challenging task, especially when the processes are asynchronous, i.e., execute an algorithm with time-varying periods. Thales developed…
Offline timed pattern matching under uncertainty
Étienne André, Ichiro Hasuo, Masaki Waga
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always f…
A benchmark library for parametric timed model checking
André Étienne
Verification of real-time systems involving hard timing constraints and concurrency is of utmost importance. Parametric timed model checking allows for formal verification in the p…
Model-Checking on Ordered Structures
Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi +6
We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on…
Pathological Evidence Exploration in Deep Retinal Image Diagnosis
Yuhao Niu, Lin Gu, Feng Lu +7
Though deep learning has shown successful performance in classifying the label and severity stage of certain disease, most of them give few evidence on how to make prediction. Here…
Wikipedia2Vec: An Efficient Toolkit for Learning and Visualizing the Embeddings of Words and Entities from Wikipedia
Ikuya Yamada, Akari Asai, Jin Sakuma +4
The embeddings of entities in a large knowledge base (e.g., Wikipedia) are highly beneficial for solving various natural language tasks that involve real world knowledge. In this p…
Audiovisual speaker conversion: jointly and simultaneously transforming facial expression and acoustic characteristics
Fuming Fang, Xin Wang, Junichi Yamagishi +1
An audiovisual speaker conversion method is presented for simultaneously transforming the facial expressions and voice of a source speaker into those of a target speaker. Transform…
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Stefan Haar, Juraj Kolčák, Loïc Paulevé
Parametric models abstract part of the specification of dynamical models by integral parameters. They are for example used in computational systems biology, notably with parametric…
AsmetaF: A Flattener for the ASMETA Framework
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validatio…
Dynamic Type Inference for Gradual Hindley--Milner Typing
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
Garcia and Cimini study a type inference problem for the ITGL, an implicitly and gradually typed language with let-polymorphism, and develop a sound and complete inference algorith…
Flux unwinding in the lattice Schwinger model
Chris Nagele, J. Eduardo Cejudo, Tim Byrnes +1
We study the dynamics of the massive Schwinger model on a lattice using exact diagonalization. When periodic boundary conditions are imposed, analytic arguments indicate that a non…
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels
Yongzhe Zhang, Zhenjiang Hu
Pregel's vertex-centric model allows us to implement many interesting graph algorithms, where optimization plays an important role in making it practically useful. Although many op…
Parametric Timed Broadcast Protocols
Étienne André, Benoît Delahaye, Paulin Fournier +1
In this paper we consider state reachability in networks composed of many identical processes running a parametric timed broadcast protocol (PTBP). PTBP are a new model extending b…
Path category for free - Open morphisms from coalgebras with non-deterministic branching
Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata +1
There are different categorical approaches to variations of transition systems and their bisimulations. One is coalgebra for a functor G, where a bisimulation is defined as a span…
Prediction of ESG Compliance using a Heterogeneous Information Network
Ryohei Hisano, Didier Sornette, Takayuki Mizuno
Negative screening is one method to avoid interactions with inappropriate entities. For example, financial institutions keep investment exclusion lists of inappropriate firms that…
Efficient Image Retrieval via Decoupling Diffusion into Online and Offline Processing
Fan Yang, Ryota Hinami, Yusuke Matsui +2
Diffusion is commonly used as a ranking or re-ranking method in retrieval tasks to achieve higher retrieval performance, and has attracted lots of attention in recent years. A down…
Handling polymorphic algebraic effects
Taro Sekiyama, Atsushi Igarashi
Algebraic effects and handlers are a powerful abstraction mechanism to represent and implement control effects. In this work, we study their extension with parametric polymorphism…
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Programs with randomization constructs is an active research topic, especially after the recent introduction of martingale-based analysis methods for their termination and runtimes…
Towards achieving robust universal neural vocoding
Jaime Lorenzo-Trueba, Thomas Drugman, Javier Latorre +5
This paper explores the potential universality of neural vocoders. We train a WaveRNN-based vocoder on 74 speakers coming from 17 languages. This vocoder is shown to be capable of…
Quantum remote sensing with asymmetric information gain
Yuki Takeuchi, Yuichiro Matsuzaki, Koichiro Miyanishi +2
Typically, the aim of quantum metrology is to sense target fields with high precision utilizing quantum properties. Unlike the typical aim, in this paper, we use quantum properties…
Learning Representations from Product Titles for Modeling Shopping Transactions
Binh Nguyen, Atsuhiro Takasu
Shopping transaction analysis is important for understanding the shopping behaviors of customers. Existing models such as association rules are poor at modeling products that have…
Attentive Filtering Networks for Audio Replay Attack Detection
Cheng-I Lai, Alberto Abad, Korin Richmond +3
An attacker may use a variety of techniques to fool an automatic speaker verification system into accepting them as a genuine user. Anti-spoofing methods meanwhile aim to make the…
STFT spectral loss for training a neural speech waveform model
Shinji Takaki, Toru Nakashika, Xin Wang +1
This paper proposes a new loss using short-time Fourier transform (STFT) spectra for the aim of training a high-performance neural speech waveform model that predicts raw continuou…
Capsule-Forensics: Using Capsule Networks to Detect Forged Images and Videos
Huy H. Nguyen, Junichi Yamagishi, Isao Echizen
Recent advances in media generation techniques have made it easier for attackers to create forged images and videos. State-of-the-art methods enable the real-time creation of a for…