1977 search results - page 125 / 396 » The satisfactory partition problem |
156
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
141
click to vote
IPMU
2010
Springer
15 years 10 months ago
2010
Springer
Upon engineering a Bayesian network for the early detection of Classical Swine Fever in pigs, we found that the commonly used approach of separately modelling the relevant observab...
158
click to vote
WDAG
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a scalable leader election protocol for large process groups with a weak membership requirement. The underlying network is assumed to be unreliable but characte...
145
click to vote
USS
2008
15 years 8 months ago
2008
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in th...
171
click to vote
COLING
2008
15 years 8 months ago
2008
This paper looks at the transcribed data of patient-doctor consultations in an examination setting. The doctors are internationally qualified and enrolled in a bridging course as ...