860 search results - page 41 / 172 » Podcasting made simple |
INFOCOM
1993
IEEE
14 years 3 months ago
1993
IEEE
Over the last decade Internet has grown by orders of magnitude in size. Many of the protocols that were designed several years ago are still in use. It is not clear if the assumpt...
LFCS
1992
Springer
14 years 3 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
AIMSA
2006
Springer
14 years 2 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
APNOMS
2006
Springer
14 years 2 months ago
2006
Springer
Many research works address detection and identification of network anomalies using traffic analysis. This paper considers large topologies, such as those of an ISP, with traffic a...
APWEB
2006
Springer
14 years 2 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...