6045 search results - page 186 / 1209 » Computable Linearizations of Well-partial-orderings |
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
We show empirically that some of the issues that affected the design of linear algebra libraries for distributed memory architectures will also likely affect such libraries for s...
WINE
2005
Springer
14 years 1 months ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
ICA
2004
Springer
2004
Springer
Using Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method
14 years 1 months ago
The variational Bayesian nonlinear blind source separation method introduced by Lappalainen and Honkela in 2000 is initialised with linear principal component analysis (PCA). Becau...
CORR
2000
Springer
13 years 8 months ago
2000
Springer
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that inputs are generated randomly from a known class consist...