3775 search results - page 649 / 755 » The Expression Problem Revisited |
201
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We recast the Cosegmentation problem using Random Walker (RW) segmentation as the core segmentation algorithm, rather than the traditional MRF approach adopted in the literature s...
147
Voted
AAAI
2012
13 years 6 months ago
2012
Recent work on planning in incomplete domains focuses on constructing plans that succeed despite incomplete knowledge of action preconditions and effects. As planning models becom...
132
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we take the human age and pose estimation problems as examples to study automatic designing regressor from training samples with uncertain nonnegative labels. First...
115
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
212
Voted
VLDB
2004
ACM
16 years 4 months ago
2004
ACM
Technology in the field of digital media generates huge amounts of nontextual information, audio, video, and images, along with more familiar textual information. The potential for...