7121 search results - page 1192 / 1425 » Functions as Session-Typed Processes |
132
Voted
TELSYS
2002
15 years 4 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
138
Voted
TGIS
2002
15 years 4 months ago
2002
Traditional GISystems are no longer appropriate for modern distributed, heterogeneous network environments due to their closed architecture, and their lack of interoperability, reu...
113
Voted
TIT
2002
15 years 4 months ago
2002
Abstract--We show that very large bandwidths on fading multipath channels cannot be effectively utilized by spread-spectrum systems that (in a particular sense) spread the availabl...
125
click to vote
TMI
2002
15 years 4 months ago
2002
Active model-based segmentation has frequently been used in medical image processing with considerable success. Although the active model-based method was initially viewed as an op...
146
click to vote
TOG
2002
15 years 4 months ago
2002
We present a new technique for the display of high-dynamic-range images, which reduces the contrast while preserving detail. It is based on a two-scale decomposition of the image ...