11949 search results - page 348 / 2390 » Some results on (a:b)-choosability |
174
click to vote
MFCS
2005
Springer
16 years 10 days 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...
186
click to vote
MLCW
2005
Springer
16 years 10 days 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...
192
click to vote
OR
2005
Springer
16 years 10 days 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...
160
click to vote
PERVASIVE
2005
Springer
16 years 10 days 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...
177
click to vote
PKDD
2005
Springer
16 years 10 days 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...