ISCI
8 years 5 months ago
2016
OECD Better Life Index is an important indicator for countries well-being. OECD collects the data from countries and compiles its index which gives more details about people daily...
ISCI
8 years 5 months ago
2016
We present OntoDT, a generic ontology for the representation of scientific knowledge about datatypes. OntoDT defines basic entities, such as datatype, properties of datatypes, s...
ISCI
8 years 5 months ago
2016
One of the most known and effective methods in supervised classification is the K-Nearest Neighbors classifier. Several approaches have been proposed to enhance its precision, ...
ISCI
8 years 5 months ago
2016 CPP
8 years 6 months ago
2016
In homotopy type theory, we construct the propositional truncation as a colimit, using only non-recursive higher inductive types (HITs). This is a first step towards reducing rec...
|