7840 search results - page 386 / 1568 » On generalized Ramsey numbers |
173
click to vote
ALT
2000
Springer
16 years 3 months ago
2000
Springer
This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios in which the learner is successful if its final hypothesis describ...
178
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
197
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
A fault-scalable service can be configured to tolerate increasing numbers of faults without significant decreases in performance. The Query/Update (Q/U) protocol is a new tool t...
164
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A large number of the MAC protocols proposed for establishing wireless sensor networks are based on the 802.11 standard. The trade-off in these protocols is the control packet ov...
199
click to vote
ISPD
2009
ACM
16 years 1 months ago
2009
ACM
Several approaches to post-silicon adaptation require feedback from a replica of the nominal critical path, whose variations are intended to reflect those of the entire circuit a...