68 search results - page 1 / 14 » Realizability algebras: a program to well order R |
39
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
59
Voted
CSL
2007
Springer
15 years 6 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
15 years 17 days 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...
85
Voted
MOC
2000
15 years 7 days 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...
112
Voted
ICML
1989
IEEE
15 years 4 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...