11949 search results - page 349 / 2390 » Some results on (a:b)-choosability |
112
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...
148
Voted
UC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. It is an unconventional computation approach to evolve solutions instead of calculating them. Although using evolutionary computation in computer science dates back to th...
89
Voted
UC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
103
click to vote
WCC
2005
Springer
15 years 7 months ago
2005
Springer
The security of the RSA public key cryptosystem depends on the intractability of the integer factoring problem. This paper shall give some theoretical support to the assumption of ...
NORDICHI
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents the results of a software usability study, involving both subjective and objective evaluation. It compares a popular XML data transformation language (XSLT) an...