6045 search results - page 304 / 1209 » Computable Linearizations of Well-partial-orderings |
205
click to vote
IPPS
2002
IEEE
16 years 10 days ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
196
click to vote
GD
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We present a simple, linear-time algorithm to determine horizontal coordinates in layered layouts subject to a given ordering within each layer. The algorithm is easy to ...
174
click to vote
DCC
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on the performance evaluation of greedy parsing with a single step lookahead, denoted as flexible parsing. We also introduce a new fingerprint based data structure which...
189
click to vote
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
We investigate the use of linear and nonlinear principal manifolds for learning low-dimensional representations for visual recognition. Three techniques: Principal Component Analy...
154
click to vote
MOC
2000
15 years 7 months ago
2000
We give a method for efficiently computing isomorphisms between towers of Artin-Schreier extensions over a finite field. We find that isomorphisms between towers of degree pn over ...