-
dataset
Json file with a list of portcalls from vessels arriving to Valencia ports. Data was used inside the INTER-IoT project as an example dataset that a legacy IoT platform was...
-
dataset
This is a collection of Java class classification datasets (i.e., classify a class into one of a set of categories), collected for the research work 'Embedding Java...
-
dataset
This is the description of the supplementary archive of example interactive reports for the approach described in the article "Verification-Aided Debugging: An Interactive...