11949 search results - page 280 / 2390 » Some results on (a:b)-choosability |
129
click to vote
CSL
2007
Springer
15 years 5 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...
ISMDA
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The work presents the results of inconsistency detection experiments on the data records of an atherosclerotic coronary heart disease database collected in the regular me...
101
click to vote
CICLING
2010
Springer
15 years 5 months ago
2010
Springer
"Short-text clustering" is a very important research field due to the current tendency for people to use very short documents, e.g. blogs, text-messaging and others. In s...
100
click to vote
DFT
2009
IEEE
15 years 5 months ago
2009
IEEE
We present an error detection technique for a floating point adder which uses a checker adder of reduced precision to determine if the result is correct within some error bound. O...