6045 search results - page 100 / 1209 » Computable Linearizations of Well-partial-orderings |
PARA
2004
Springer
14 years 1 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Problems involving high-dimensional data, such as pattern recognition, image analysis, and gene clustering, often require a preliminary step of dimension reduction before or durin...
TCS
2010
13 years 6 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Intra prediction has been efficiently employed in block based image/video coding to remove the spatial redundancy. In this paper, we propose a position dependent linear intra pred...
IEEECIT
2010
IEEE
13 years 5 months ago
2010
IEEE
Face recognition has great demands in human recognition and recently it becomes one of the most important research areas of biometrics. In this paper, we present a novel layered fa...