11949 search results - page 290 / 2390 » Some results on (a:b)-choosability |
103
click to vote
DKE
2008
15 years 1 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
104
click to vote
CONSTRAINTS
2006
15 years 1 months ago
2006
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...
104
click to vote
IGPL
2008
15 years 1 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
137
click to vote
SIGECOM
2011
ACM
14 years 4 months ago
2011
ACM
Suppose a principal Alice wishes to reduce her uncertainty regarding some future payoff. Consider a self-proclaimed expert Bob that may either be an informed expert knowing an ex...
140
Voted
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Users frequently modify a previous search query in hope of retrieving better results. These modifications are called query reformulations or query refinements. Existing research h...