100 search results - page 1 / 20 » In the Search of a Naive Type Theory |
TYPES
2007
Springer
13 years 10 months ago
2007
Springer
FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
SAC
2005
ACM
13 years 10 months ago
2005
ACM
Because of name variations, an author may have multiple names and multiple authors may share the same name. Such name ambiguity affects the performance of document retrieval, web ...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Naive Bayes Nearest Neighbor (NBNN) is a feature-based image classifier that achieves impressive degree of accuracy [1] by exploiting ‘Image-toClass’ distances and b...
AAAI
1996
13 years 5 months ago
1996
Recent work in supervised learning has shown that a surprisingly simple Bayesian classifier with strong assumptions of independence among features, called naive Bayes, is competit...