7991 search results - page 192 / 1599 » Using More Reasoning to Improve |
184
click to vote
TKDE
2008
15 years 6 months ago
2008
UCS is a supervised learning classifier system that was introduced in 2003 for classification in data mining tasks. The representation of a rule in UCS as a univariate classificati...
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We consider the blind separation of sources with general (e.g., not necessarily stationary) temporal covariance structures. When the sources’ temporal covariance matrices are kn...
160
click to vote
APIN
2004
15 years 6 months ago
2004
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...
164
click to vote
LISP
2007
15 years 6 months ago
2007
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
156
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...