.zip
PURPOSE
-------
This data package is provided as supplementary material of the paper:
“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè,
submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.
STRUCTURE
---------
The data package consists of 24 files:
- a file named _README.txt: this file
- a file named _programs.txt
- 22 files named <program_name>.sexpr
- Categories:
106 Views
This dataset comes up as a benchmark dataset for machines to automatically recognizing the handwritten assamese digists (numerals) by extracting useful features by analyzing the structure. The Assamese language comprises of a total of 10 digits from 0 to 9. We have collected a total of 516 handwritten digits from 52 native assamese people irrespective of their age (12-86 years), gender, educational background etc. The digits are captured in .jpeg format using a paint mobile application developed by us which automatically saves the images in the internal storage of the mobile.
- Categories:
1148 Views
This work presents a methodology of constructing three models respectively without blades, with straight blades and with curved blades, coupled for artificial simulated fog-haze environment with computational fluid dynamics (CFD), to predict the impact of the rotating blades on the flow velocities in the enclosed environment by simulation. Atmospheric flow characteristics and variation of flow velocities were analyzed, and the influences of different rotating blades on flow velocities were compared to get the related simulation results in three models.
- Categories:
148 Views
An accurate and reliable image-based quantification system for blueberries may be useful for the automation of harvest management. It may also serve as the basis for controlling robotic harvesting systems. Quantification of blueberries from images is a challenging task due to occlusions, differences in size, illumination conditions and the irregular amount of blueberries that can be present in an image. This paper proposes the quantification per image and per batch of blueberries in the wild, using high definition images captured using a mobile device.
- Categories:
2542 Views
Attempts to prevent invasion of marine biofouling on marine vessels are demanding. By developing a system to detect marine fouling on vessels in an early stage of fouling is a viable solution. However, there is a lack of database for fouling images for performing image processing and machine learning algorithm.
- Categories:
2020 Views
This dataset contains the files provided in support of the paper entitled 'Isolating Change Propagation in Software Architectures' authored by Andrew Leigh, Michel Wermelinger and Andrea Zisman of the Open University.
If you have any questions please contact: andrew.leigh@open.ac.uk the files have been shared to allow other researchers to reproduce the work. The data set includes a README file that explains the file purpose and contents in detail.
- Categories:
94 Views
Chinese Hotel Review Dataset
- Categories:
761 Views
The dataset consists of 60285 character image files which has been randomly divided into 54239 (90%) images as training set 6046 (10%) images as test set. The collection of data samples was carried out in two phases. The first phase consists of distributing a tabular form and asking people to write the characters five times each. Filled-in forms were collected from around 200 different individuals in the age group 12-23 years. The second phase was the collection of handwritten sheets such as answer sheets and classroom notes from students in the same age group.
- Categories:
666 Views
The modified CASIA dataset is created for research topics like: perceptual image hash, image tampering detection, user-device physical unclonable function and so on.
- Categories:
3946 Views
Present dataset intended to give human footprint a legal capacity. The human footprint can be a good candidate for biometric identification. The presented dataset has been created using EPSON 5500 Scanner, which is an ordinary PSC machine. This dataset consists of 6 right side multispectral footprints per person from 220 volunteers captured at different periods.
- Categories:
1776 Views