2597 search results - page 431 / 520 » On numbers of Davenport-Schinzel sequences |
152
click to vote
DM
2000
15 years 6 months ago
2000
The transformation which assigns to a linear operator L the recurrence satisfied by coefficient sequences of the polynomial series in its kernel, is shown to be an isomorphism of ...
164
click to vote
DATAMINE
2002
15 years 6 months ago
2002
To satisfy potential customers of a Web site and to lead them to the goods offered by the site, one should support them in the course of navigation they have embarked on. This pape...
178
click to vote
IJCV
2000
15 years 6 months ago
2000
Optical flow provides a constraint on the motion of a deformable model. We derive and solve a dynamic system incorporating flow as a hard constraint, producing a model-based least...
155
click to vote
ENTCS
2002
15 years 6 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
157
click to vote
MST
2000
15 years 6 months ago
2000
In this paper we present an efficient general simulation strategy for computations designed for fully operational BSP machines of n ideal processors, on n-processor dynamic-fault-p...