7988 search results - page 1349 / 1598 » A Useful Undecidable Theory |
136
click to vote
ERSHOV
1989
Springer
15 years 8 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
206
click to vote
MICCAI
2000
Springer
15 years 8 months ago
2000
Springer
We present a novel approach to statistical shape analysis of anatomical structures based on small sample size learning techniques. The high complexity of shape models used in medic...
161
click to vote
HT
2010
ACM
15 years 6 months ago
2010
ACM
We investigate the use of autonomically created small-world graphs as a framework for the long term storage of digital objects on the Web in a potentially hostile environment. We ...
140
Voted
SPIESR
2004
15 years 6 months ago
2004
Accurate image segmentation is important for many image, video and computer vision applications. Over the last few decades, many image segmentation methods have been proposed. How...
147
click to vote
NIPS
1998
15 years 6 months ago
1998
We introduce a semi-supervised support vector machine (S3 VM) method. Given a training set of labeled data and a working set of unlabeled data, S3 VM constructs a support vector m...