7796 search results - page 221 / 1560 » On Generalized Schur Numbers |
150
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
164
click to vote
ACCV
2007
Springer
16 years 26 days ago
2007
Springer
AdaBoost is a practical method of real-time face detection, but abides by a crucial problem of overfitting for the big number of features used in a trained classifier due to the ...
169
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSCs) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s log...
146
click to vote
COCO
2007
Springer
16 years 25 days ago
2007
Springer
We consider the problem of counting the number of spanning trees in planar graphs. We prove tight bounds on the complexity of the problem, both in general and especially in the mo...
178
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...