6045 search results - page 874 / 1209 » Computable Linearizations of Well-partial-orderings |
145
click to vote
FAC
2000
15 years 6 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
163
click to vote
JACM
2000
15 years 6 months ago
2000
Multivariate resultants generalize the Sylvester resultant of two polynomials and characterize the solvability of a polynomial system. They also reduce the computation of all comm...
149
Voted
PR
2000
15 years 6 months ago
2000
A new ASIC capable of computing rank order "lters, weighted rank order "lters, standard erosion and dilation, soft erosion and dilation, order statistic soft erosion and...
201
click to vote
IJCV
2002
15 years 6 months ago
2002
We present a new feature based algorithm for stereo correspondence. Most of the previous feature based methods match sparse features like edge pixels, producing only sparse dispar...
159
click to vote
DAM
1998
15 years 6 months ago
1998
We study a discrete problem of scheduling activities of several types under the constraint that at most a single activity can be scheduled to any one period. Applications of such ...