2597 search results - page 223 / 520 » On numbers of Davenport-Schinzel sequences |
100
click to vote
CIE
2006
Springer
15 years 5 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
98
Voted
DAS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we present a method for the automatic extraction of numerical fields (zip codes, phone numbers, etc.) from incoming mail documents. The approach is based o...
114
click to vote
ESA
2006
Springer
15 years 5 months ago
2006
Springer
We consider FIFO buffer management for switches providing differentiated services. In each time step, an arbitrary number of packets arrive, and only one packet can be sent. The bu...
100
Voted
GCB
2000
Springer
15 years 5 months ago
2000
Springer
In previous work [10], we considered algorithms related to the statistics of matches with words and regular expressions in texts generated by Bernoulli or Markov sources. In this w...
159
click to vote
FLAIRS
2008
15 years 4 months ago
2008
Hidden Markov models are a powerful technique to model and classify temporal sequences, such as in speech and gesture recognition. However, defining these models is still an art: ...