2623 search results - page 129 / 525 » Universal Learning Theory |
127
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
166
click to vote
RSKT
2010
Springer
15 years 2 months ago
2010
Springer
A naive Bayesian classifier is a probabilistic classifier based on Bayesian decision theory with naive independence assumptions, which is often used for ranking or constructing a...
123
click to vote
LLC
2011
14 years 11 months ago
2011
Computational phonology approaches the study of sound patterns in the world’s languages from a computational perspective. This article explains this perspective and its relevanc...
139
click to vote
IEEEICCI
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper describes the process of program comprehension from the point of view of constructivist theory of learning. According to this view, program comprehension starts with the...
166
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability to conf...