203 search results - page 21 / 41 » Real Arguments Are Approximate Arguments |
127
Voted
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—We recently proposed the Rate Control Protocol (RCP) as a way to minimize download times (or flow-completion times). Simulations suggest that if RCP were widely deployed, downl...
100
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
95
Voted
CIE
2005
Springer
15 years 7 months ago
2005
Springer
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...
141
Voted
RE
2001
Springer
15 years 6 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
111
click to vote
STOC
1992
ACM
15 years 6 months ago
1992
ACM
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...