7840 search results - page 536 / 1568 » On generalized Ramsey numbers |
173
click to vote
CSFW
1994
IEEE
15 years 11 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
194
click to vote
FOCS
1993
IEEE
15 years 11 months ago
1993
IEEE
: Weprove tight bounds on the time needed to solve k-set agreement, a natural generalization of consensus. We analyze this problem in a synchronous, message-passing model where pro...
172
click to vote
IPPS
1993
IEEE
15 years 11 months ago
1993
IEEE
Abstract. Development of wormhole routing techniques so far has been largely independent of the results available for store-and-forward routing in literature. In this paper, we pro...
210
click to vote
CCL
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
216
click to vote
ECML
1993
Springer
15 years 11 months ago
1993
Springer
This paper describes a genetic learning system called SIA, which learns attributes based rules from a set of preclassified examples. Examples may be described with a variable numbe...