371 search results - page 2 / 75 » Partition Theorems and Computability Theory |
KR
2000
Springer
13 years 10 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
AAAI
2008
13 years 8 months ago
2008
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...
AICCSA
2005
IEEE
14 years 19 days ago
2005
IEEE
A new scheme for transmitting sensitive data is proposed, the proposed scheme depends on partitioning the output of a block encryption module using the Chinese Remainder Theorem a...
FATES
2003
Springer
14 years 7 days ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
BIRTHDAY
2005
Springer
14 years 17 days ago
2005
Springer
