Results 191 to 196 of about 363,392 (196)

Large-Scale Text Similarity Computing with Spark

, 2016
Text understanding is a hot research in Natural Language Processing and Information Retrieval. In recent years, it has received wide attention and research. In the era of big data, Understanding text in large-scale datasets is a challenge.
Xiaoan Bao, Shichao Dai, N. Zhang, Chenghai Yu   +3 more
semanticscholar   +1 more source

An Apache Spark Implementation for Sentiment Analysis on Twitter Data

International Workshop on Algorithmic Aspects of Cloud Computing, 2016
Alexandros Baltas, Andreas Kanavos, A. Tsakalidis   +2 more
semanticscholar   +1 more source

Practical Application of SPARK to OpenUxAS

World Congress on Formal Methods, 2019
M. Anthony Aiello, Claire Dross, P. Rogers, Laura R. Humphrey, James Hamil   +4 more
semanticscholar   +1 more source

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

FMTea, 2019
Léo Creuse, Claire Dross, C. Garion, J. Hugues, Joffrey Huguet   +4 more
semanticscholar   +1 more source

A Formal Approach for a Subset of the SPARK Programming Language

, 2010
Eduardo Brito
openalex  

SPARK 2014 and GNATprove

International Journal on Software Tools for Technology Transfer (STTT), 2014
D. Hoang, Yannick Moy, Angela Wallenburg, R. Chapman   +3 more
semanticscholar   +1 more source