520 search results - page 57 / 104 » Reductions Between Expansion Problems |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
COLT
2005
Springer
14 years 2 months ago
2005
Springer
We present a new generalization bound where the use of unlabeled examples results in a better ratio between training-set size and the resulting classifier’s quality and thus red...
DFT
2002
IEEE
14 years 1 months ago
2002
IEEE
A novel approach for reducing power consumption in checkers used for concurrent error detection is presented. Spatial correlations between the outputs of the circuit that drives t...
LFCS
1992
Springer
14 years 27 days ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
ICC
2007
IEEE
14 years 21 days ago
2007
IEEE
In the internet telephony, loss of IP packets causes instantaneous discontinuities in the received speech. In this paper, we have focused on finding an error resilient method for t...