11949 search results - page 156 / 2390 » Some results on (a:b)-choosability |
102
click to vote
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
114
click to vote
CICLING
2004
Springer
15 years 6 months ago
2004
Springer
This paper reports the most significant issues related to the launching of a Monolingual Spanish Question Answering evaluation track at the Cross Language Evaluation Forum (CLEF 20...
CIVR
2004
Springer
15 years 6 months ago
2004
Springer
The paper discusses three IST projects focusing on the disclosure of video content via a combination of low-level multimodal feature analysis, abstraction, and browsing tools. The ...
CSEE
2004
Springer
15 years 6 months ago
2004
Springer
Domain testing is a stratified sampling strategy for choosing a few test cases from the near infinity of candidate test cases. The strategy goes under several names, such as equiv...
116
click to vote
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...