output
20052026
most citedAn Empirical Evaluation of Similarity Measures for Time Series Classification

237 citations

researchers with a paper here
collaborating institutions
Showing 2017Show all

5 papers · 1 filter

cs.LG2017★ 164 cited

Flexpoint: An Adaptive Numerical Format for Efficient Training of Deep Neural Networks

Urs Köster, Tristan J. Webb, Xin Wang +11

Deep neural networks are commonly developed and trained in 32-bit floating point format. Significant gains in performance and energy efficiency could be realized by training and in…

cs.CC2017★ 7 cited

Scale-Free Random SAT Instances

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of var…

cs.MA2017

Improving Max-Sum through Decimation to Solve Loopy Distributed Constraint Optimization Problems

Jesús Cerquides, Rémi Emonet, Gauthier Picard +1

In the context of solving large distributed constraint optimization problems (DCOP), belief-propagation and approximate inference algorithms are candidates of choice. However, in g…

math.LO2017★ 3 cited

On the existence of Free Models in Fuzzy Universal Horn Classes

Vicent Costa, Pilar Dellunde

This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion…

cs.AI2017

A Hybrid Evolutionary Algorithm Based on Solution Merging for the Longest Arc-Preserving Common Subsequence Problem

Christian Blum, Maria J. Blesa

The longest arc-preserving common subsequence problem is an NP-hard combinatorial optimization problem from the field of computational biology. This problem finds applications, in…