1778 search results - page 285 / 356 » Building a Knowledge Base: An Example |
122
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
121
click to vote
HPCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. As grid sizes increase, the need for self-organization and dynamic reconfigurations is becoming more and more important, and therefore the convergence of grid computing ...
128
click to vote
MLDM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In supervised learning, discretization of the continuous explanatory attributes enhances the accuracy of decision tree induction algorithms and naive Bayes classifier. M...
115
click to vote
MLDM
2005
Springer
15 years 6 months ago
2005
Springer
In the context of large databases, data preparation takes a greater importance : instances and explanatory attributes have to be carefully selected. In supervised learning, instanc...
118
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
There is increasing evidence to suggest that the neocortex of the mammalian brain does not consist of a collection of specialised and dedicated cortical architectures, but instead ...