1132 search results - page 204 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
CPC
1998
13 years 7 months ago
1998
For any Boolean functionf letL(f) be its formulasizecomplexityin the basis f^ 1g. For every n and every k n=2, we describe a probabilistic distribution on formulas in the basis f^...
TPDS
1998
13 years 7 months ago
1998
—We show that deadlocks due to dependencies on consumption channels are a fundamental problem in wormhole multicast routing. This type of resource deadlocks has not been addresse...
TCSV
2002
13 years 7 months ago
2002
A novel frequency-domain technique for image blocking artifact detection and reduction is presented in this paper. The algorithm first detects the regions of the image which presen...
TELSYS
2002
2002
Performance Analysis of Reassembly and Multiplexing Queueing with Long-Range-Dependent Input Traffic
13 years 7 months ago
This paper studies the impact of long-range-dependent (LRD) traffic on the performance of reassembly and multiplexing queueing. A queueing model characterizing the general reassemb...
RAS
2007
13 years 6 months ago
2007
In free-floating mode, space manipulator systems have their actuators turned off, and exhibit nonholonomic behavior due to angular momentum conservation. The system is underactua...