6045 search results - page 229 / 1209 » Computable Linearizations of Well-partial-orderings |
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
— Orthogonal Neighborhood Preserving Projections (ONPP) is a linear dimensionality reduction technique which attempts to preserve both the intrinsic neighborhood geometry of the ...
CONCUR
2000
Springer
14 years 20 days ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
MFCS
2010
Springer
13 years 6 months ago
2010
Springer
We consider Boolean exact threshold functions defined by linear equations, and in general degree d polynomials. We give upper and lower bounds on the maximum magnitude (absolute va...
CVPR
1996
IEEE
14 years 10 months ago
1996
IEEE
Computing camera rotation from image sequences can serve many computer vision applications. One direct application is image stabilization, and when the camera rotation is known th...