3348 search results - page 130 / 670 » Around and Around |
149
click to vote
ISPASS
2005
IEEE
16 years 16 days ago
2005
IEEE
In this paper we study the properties of a new packet trace compression method based on clustering of TCP flows. With our proposed method, the compression ratio that we achieve i...
181
Voted
LICS
2005
IEEE
16 years 16 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
194
click to vote
MOBIQUITOUS
2005
IEEE
16 years 16 days ago
2005
IEEE
We present a new feedback control scheme for resource allocation in wireless ad hoc environment. The congestion measure on a wireless link is symbolized as a virtual price, which ...
185
Voted
SEFM
2005
IEEE
16 years 16 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
151
click to vote
SIBGRAPI
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper presents a linear complexity method for real-time stereo matching, in which the processing time is only dependent on the image resolution. Regions along each epipolar l...