203 search results - page 21 / 41 » Real Arguments Are Approximate Arguments |
141
click to vote
INFOCOM
2008
IEEE
15 years 10 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...
121
Voted
LPAR
2007
Springer
15 years 10 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...
109
click to vote
CIE
2005
Springer
15 years 9 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...
162
click to vote
RE
2001
Springer
15 years 8 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...
135
click to vote
STOC
1992
ACM
15 years 8 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...