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

237 citations

researchers with a paper here
collaborating institutions
Showing 2018Show all

5 papers · 1 filter

cs.CV2018★ 40 cited

Learning to Recognize 3D Human Action from A New Skeleton-based Representation Using Deep Convolutional Neural Networks

Huy-Hieu Pham, Louahdi Khoudour, Alain Crouzil +2

Recognizing human actions in untrimmed videos is an important challenging task. An effective 3D motion representation and a powerful learning model are two key factors influencing…

math.LO2018

Logic for approximate entailment in ordered universes of discourse

Francesc Esteva, Lluís Godo, Thomas Vetterlein

The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions that are only approximately correct can be drawn. This is a…

cs.AI2018

Clause Vivification by Unit Propagation in CDCL SAT Solvers

Chu-Min Li, Fan Xiao, Mao Luo +3

Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals. This may have a negative impact on performance because redundant…

math.LO2018

Maximality in finite-valued Lukasiewicz logics defined by order filters

Marcelo E. Coniglio, Francesc Esteva, Joan Gispert +1

In this paper we consider the logics obtained from the (n+1)-valued Lukasiewicz logics by taking the order filter generated by i/n as the set of designated elemen…

math.LO2018★ 12 cited

Toward a probability theory for product logic: states, integral representation and reasoning

Tommaso Flaminio, Lluis Godo, Sara Ugolini

The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely a…