6045 search results - page 226 / 1209 » Computable Linearizations of Well-partial-orderings |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Many natural objects vary the shapes as linear combinations of certain bases. The measurement of such deformable shapes is coupling of rigid similarity transformations between the...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
The filter flow problem is to compute a space-variant
linear filter that transforms one image into another. This
framework encompasses a broad range of transformations
including...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Trifocal tensor encapsulates the geometric constraints between three views. It plays an important role in computer vision. However elements in measurement matrix of existing linea...
MFCS
2001
Springer
14 years 22 days ago
2001
Springer
In this paper we consider the question of whether NC0 circuits can generate pseudorandom distributions. While we leave the general question unanswered, we show • Generators compu...