3238 search results - page 342 / 648 » Not Enough Points Is Enough |
199
click to vote
NLDB
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Automated Text Categorization has reached the levels of accuracy of human experts. Provided that enough training data is available, it is possible to learn accurate autom...
204
click to vote
NOSSDAV
2005
Springer
16 years 7 days ago
2005
Springer
Multimedia applications today constitute a significant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...
158
click to vote
PAM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. While the Internet offers a single best-effort service, we remark that (i) core backbones are in general over provisioned, (ii) end users have increasingly faster acces...
154
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
181
click to vote
TCC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...