1465 search results - page 95 / 293 » Making the Correct Mistakes |
156
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
Naive Bayes is often used as a baseline in text classification because it is fast and easy to implement. Its severe assumptions make such efficiency possible but also adversely af...
268
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
148
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
163
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
173
click to vote
DCC
2003
IEEE
16 years 5 months ago
2003
IEEE
We study the application of Unequal Loss Protection (ULP) algorithms to motion-compensated video over lossy packet networks. In particular, we focus on streaming video applications...