11381 search results - page 220 / 2277 » Connectivity |
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
137
click to vote
SCCC
1997
IEEE
15 years 8 months ago
1997
IEEE
Video servers are important for applicationswhich make use of digital video. The video servers should provide better functionality than most of today’s video servers offer, – ...
134
click to vote
CADE
1997
Springer
15 years 8 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...