142
Voted
ISCI
9 years 8 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...
78
Voted
ISCI
9 years 8 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...
83
Voted
ISCI
9 years 8 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, ...
78
Voted
ISCI
9 years 8 months ago
2016  151
click to vote
CPP
9 years 8 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...
|
Artificial Intelligence