ISCI
8 years 22 days 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 22 days 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 22 days 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 22 days ago
2016  CPP
8 years 27 days 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...
|
Artificial Intelligence