68 search results - page 1 / 14 » Realizability algebras: a program to well order R |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
CSL
2007
Springer
13 years 11 months ago
2007
Springer
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
BMCBI
2010
13 years 5 months ago
2010
Background: Nonnegative Matrix Factorization (NMF) is an unsupervised learning technique that has been applied successfully in several fields, including signal processing, face re...
MOC
2000
13 years 5 months ago
2000
Let K be a totally real algebraic number field and O an order in a quaternion algebra A over K. Assume that the group O1 of units in O with reduced norm equal to 1 is embedded into...
ICML
1989
IEEE
13 years 9 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...