[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Proof principles for datatypes with iterated recursion
- 作者Moggi, Eugenio; Rosolini, Giuseppe
- 文件大小1432.20KB
- 发表时间1997
- DOI10.1007/BFb0026991
- 页码220-241
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || Arabic Temporal Expression Tagging and NormalizationTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || Hashtag Recommendation Using Word Sequences’ EmbeddingsTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || SARIMA Model of Bioelectic Potential DatasetTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || A Concise Survey on Content RecommendationsTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || Dimension Reduction Techniques for Signal Separation AlgorithmsTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || Arabic Text Generation Using Recurrent Neural NetworksTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || Towards for Using Spectral Clustering in Graph MiningTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018
[Communications in Computer and Information Science] Big Data, Cloud and Applications Volume 872 (Third International Conference, BDCA 2018, Kenitra, Morocco, April 4–5, 2018, Revised Selected Papers) || Comparison of Feature Selection Methods for Sentiment AnalysisTabii, Youness; Lazaar, Mohamed; Al Achhab, Mohammed; Enneya, Nourddine · 2018