6045 search results - page 1112 / 1209 » Computable Linearizations of Well-partial-orderings |
DAC
2010
ACM
13 years 8 months ago
2010
ACM
We study diagnosis of segments on speedpaths that fail the timing constraint at the post-silicon stage due to manufacturing variations. We propose a formal procedure that is appli...
CVPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Linear pushbroom cameras are widely used in passive remote sensing from space as they provide high resolution images. In earth observation applications, where several pushbroom se...
MOBIDE
2010
ACM
13 years 8 months ago
2010
ACM
Traditional location-based services recommend nearest objects to the user by considering their spatial proximity. However, an object not only has its distance but also has its dir...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Polytope Faces Pursuit is a greedy algorithm that performs Basis Pursuit with similar order complexity to Orthogonal Matching Pursuit. The algorithm adds one basis vector at a tim...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
—Patch-based face recognition is a recent method which uses the idea of analyzing face images locally, in order to reduce the effects of illumination changes and partial occlusio...