output
20072019
most citedGenerating Complete and Finite Test Suite for ioco: Is It Possible?

18 citations

7 papers

cs.LG2019★ 4 cited

Learning Optimal Decision Trees from Large Datasets

Florent Avellaneda

Inferring a decision tree from a given dataset is one of the classic problems in machine learning. This problem consists of buildings, from a labelled dataset, a tree such that eac…

cs.LG2018★ 4 cited

Quantized Guided Pruning for Efficient Hardware Implementations of Convolutional Neural Networks

Ghouthi Boukli Hacene, Vincent Gripon, Matthieu Arzel +2

Convolutional Neural Networks (CNNs) are state-of-the-art in numerous computer vision tasks such as object classification and detection. However, the large amount of parameters the…

cs.NE2014★ 17 cited

Efficient Exact Gradient Update for training Deep Networks with Very Large Sparse Targets

Pascal Vincent, Alexandre de Brébisson, Xavier Bouthillier

An important class of problems involves training deep neural networks with sparse prediction targets of very high dimension D. These occur naturally in e.g. neural language models…

cs.CR2014

The Crypto-democracy and the Trustworthy

Sebastien Gambs, Samuel Ranellucci, and Alain Tapp

In the current architecture of the Internet, there is a strong asymmetry in terms of power between the entities that gather and process personal data (e.g., major Internet companie…

stat.ML2014★ 3 cited

On the Equivalence Between Deep NADE and Generative Stochastic Networks

Li Yao, Sherjil Ozair, Kyunghyun Cho +1

Neural Autoregressive Distribution Estimators (NADEs) have recently been shown as successful alternatives for modeling high dimensional multimodal distributions. One issue associat…

cs.SE2014★ 18 cited

Generating Complete and Finite Test Suite for ioco: Is It Possible?

Adenilso Simao, Alexandre Petrenko

Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called…