72 search results - page 9 / 15 » Two Kinds of Probabilistic Induction |
100
click to vote
HIPC
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
88
Voted
POPL
2000
ACM
15 years 1 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
90
Voted
KBS
2002
14 years 9 months ago
2002
In this paper, a hybrid learning approach named HDT is proposed. HDT simulates human reasoning by using symbolic learning to do qualitative analysis and using neural learning to d...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents novel likelihood estimation to be used for particle filter based object tracking. The likelihood estimation is built upon cascade object detector trained with ...
CBMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Multi-observer segmentation evaluation is useful in the imaging community. We have developed a web-based software application for automatic performance evaluation of multiple imag...