1864 search results - page 206 / 373 » Formal topology and domains |
CN
2002
13 years 10 months ago
2002
In todays IP networks most of the network control and management tasks are performed at the end points. As a result, many important network functions cannot be optimized due to la...
PR
2000
2000
A region-level motion-based graph representation and labeling for tracking a spatial image partition
13 years 10 months ago
This paper addresses two image sequence analysis issues under a common framework. These tasks are, "rst, motion-based segmentation and second, updating and tracking over time...
CGF
1998
13 years 10 months ago
1998
In contrast with the growth of plants and trees, human organs can undergo signi cant changes in shape through a variety of global transformations during the growth period, such as...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
WRLA
2010
13 years 8 months ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...