915 search results - page 90 / 183 » Proof labeling schemes |
AAAI
1990
13 years 9 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
ISWC
2006
IEEE
14 years 2 months ago
2006
IEEE
Activity Recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware wearable computing. However, most approaches for activity r...
SCALESPACE
2009
Springer
14 years 18 days ago
2009
Springer
We propose a semi-supervised image segmentation method that relies on a non-local continuous version of the min-cut algorithm and labels or seeds provided by a user. The segmentati...
ECCV
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. In this paper we investigate the problem of exploiting multiple sources of information for object recognition tasks when additional modalities that are not present in the...
CVPR
2010
IEEE
14 years 12 days ago
2010
IEEE
Categorizing web-based videos is an important yet challenging task. The difficulties arise from large data diversity within a category, lack of labeled data, and degradation of vi...