6045 search results - page 182 / 1209 » Computable Linearizations of Well-partial-orderings |
130
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
160
click to vote
PKC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A group key agreement protocol allows a set of users, communicating over a public network, to agree on a private session key. Most of the schemes proposed so far require ...
141
click to vote
IJCV
1998
15 years 4 months ago
1998
This paper formulates the optic flow problem as a set of over-determined simultaneous linear equations. It then introduces and studies two new robust optic flow methods. The fir...
159
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We cast the problem of motion segmentation of feature trajectories as linear manifold finding problems and propose a general framework for motion segmentation under affin...
129
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
The Singular Value Decomposition (SVD) of a matrix is a linear algebra tool that has been successfully applied to a wide variety of domains. The present paper is concerned with the...