186
click to vote
ISCI
10 years 20 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...
113
click to vote
ISCI
10 years 20 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...
122
click to vote
ISCI
10 years 20 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, ...
189
click to vote
CPP
10 years 24 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