11949 search results - page 348 / 2390 » Some results on (a:b)-choosability |
108
Voted
MFCS
2005
Springer
15 years 7 months ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
131
Voted
MLCW
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the Bar-Ilan system participating in the Recognising Textual Entailment Challenge. The paper proposes first a general probabilistic setting that formalizes th...
124
click to vote
OR
2005
Springer
15 years 7 months ago
2005
Springer
In the open route version of the well-known vehicle routing problem, vehicles are not required to return to the depot; or if they are required, then they return by traveling the sa...
100
Voted
PERVASIVE
2005
Springer
15 years 7 months ago
2005
Springer
Despite the progress made in Ubiquitous Computing since it was first envisaged back in 1987 [1], its use is still isolated to the research community. In this paper, we present why...
114
click to vote
PKDD
2005
Springer
15 years 7 months ago
2005
Springer
Considering the characteristics of biological sequence databases, which typically have a small alphabet, a very long length and a relative small size (several hundreds of sequences...