6059 search results - page 68 / 1212 » A Technique for Verifying Measurements |
COLING
2002
14 years 11 months ago
2002
Automatic text categorization is a problem of automatically assigning text documents to predefined categories. In order to classify text documents, we must extract good features f...
132
click to vote
DEXA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. There is a significant commercial and research interest in locationbased web search engines. Given a number of search keywords and one or more locations that a user is in...
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
197
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
TCOM
2010
14 years 6 months ago
2010
It is shown that binary low-density generator matrix codes can achieve the rate-distortion bound of discrete memoryless sources with general distortion measure via multilevel quant...