2 code implementations • 20 Oct 2016 • Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jegourel
The other is a probabilistic model based on which the given property is `verified'.
Software Engineering
no code implementations • 17 Mar 2014 • Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jegourel, Simon Kongshøj, Axel Legay
We propose a new similarity measure between texts which, contrary to the current state-of-the-art approaches, takes a global view of the texts to be compared.