Tensorflow: A system for large-scale machine learning, OSDI, vol.16, pp.265-283, 2016. ,
Quantitative regular expressions for arrhythmia detection algorithms, Int. Conf. on Computational Methods in Systems Biology, pp.23-39, 2017. ,
Regular programming for quantitative properties of data streams, LNCS. Springer, vol.9632, pp.15-40, 2016. ,
, Global constraint catalog, volume ii, time-series constraints, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01374721
Using finite transducers for describing and synthesising structural time-series constraints, Constraints, vol.21, issue.1, pp.22-40, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01186662
Describing and generating solutions for the EDF unit commitment problem with the modelseeker, LNCS. Springer, vol.8124, pp.733-748, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00874326
Stochastic gradient descent tricks, Neural networks: Tricks of the trade, pp.421-436, 2012. ,
SICStus Prolog user's manual, vol.3, 1988. ,
An empirical comparison of supervised learning algorithms, Proceedings of the 23rd international conference on Machine learning, pp.161-168, 2006. ,
Learning Feature Representations with KMeans, 2012. ,
Automatic generation of descriptions of time-series constraints, 2017. ,
Unsupervised learning, The elements of statistical learning, pp.485-585, 2009. ,
Quality management on Amazon Mechanical Turk, Proceedings of the ACM SIGKDD workshop on human computation, pp.64-67, 2010. ,
Data clustering: 50 years beyond k-means, Pattern recognition letters, vol.31, issue.8, pp.651-666, 2010. ,
Green energy aware scheduling problem in virtualized datacenters, ICPADS 2017, pp.648-655, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01582936
, Neural networks and deep learning, 2015.
Running experiments on amazon mechanical turk, 2010. ,
An efficient algorithm for automatic peak detection in noisy periodic and quasi-periodic signals, Algorithms, vol.5, issue.4, pp.588-603, 2012. ,
Estimating the number of clusters in a data set via the gap statistic, Journal of the Royal Statistical Society: Series B (Statistical Methodology), vol.63, issue.2, pp.411-423, 2001. ,
Amazon Mechanical Turk, 2012. ,
Characterizing cloud computing hardware reliability, Proceedings of the 1st ACM symposium on Cloud computing, pp.193-204, 2010. ,