5510 search results - page 781 / 1102 » Mathematics |
178
Voted
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
Since TCP can only detect congestion after packet losses have already happened, various forms of Fast TCP (FTCP) have been proposed to notify congestion early and avoid packet los...
208
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
175
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...
167
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
Citing recent successes in forecasting elections, movies, products, and other outcomes, prediction market advocates call for widespread use of market-based methods for government ...
167
click to vote
AI
2010
Springer
15 years 11 months ago
2010
Springer
Many classification techniques used for identifying spam emails, treat spam filtering as a binary classification problem. That is, the incoming email is either spam or non-spam....