2517 search results - page 133 / 504 » Specifying Weak Sets |
145
Voted
ISCC
2000
IEEE
15 years 10 months ago
2000
IEEE
We consider the adaptation of random early detection (RED) as a buffer management algorithm for TCP traffic in Internet gateways where different maximum transfer units (MTUs) are ...
154
click to vote
IWPC
2000
IEEE
15 years 10 months ago
2000
IEEE
Experimental evaluation of clustering techniques for component recovery is necessary in order to analyze their strengths and weaknesses in comparison to other techniques. For comp...
160
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
183
click to vote
DAGM
2007
Springer
15 years 9 months ago
2007
Springer
Cascades of classifiers constitute an important architecture for fast object detection. While boosting of simple (weak) classifiers provides an established framework, the design of...
136
Voted
DEON
2004
Springer
15 years 9 months ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...