653 search results - page 78 / 131 » Switching Over to Paper: A New Web Channel |
173
click to vote
JVCIR
2006
15 years 6 months ago
2006
In multimedia communication systems, channel bandwidth and probability of error are the two main limitations that affect the quality of service. Therefore, in applications such as...
127
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
196
click to vote
FLAIRS
2007
15 years 8 months ago
2007
1 This paper describes two major student projects for the artificial intelligence course – Mapping using Bayesian filter and Monte Carlo Localization. These projects are also sui...
148
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Paraphrase detection can be seen as the task of aligning sentences that convey the same information but yet are written in different forms. Such resources are important to automat...
114
click to vote
COLING
1996
15 years 7 months ago
1996
This paper proposes a new algorithm that simultaneously identifies the coding system and language of a code string fetched from the Internet, especially World-Wide Web. The algori...