8828 search results - page 1440 / 1766 » Formal methods in practice |
192
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper introduces an approach of creating face makeup upon a face image with another image as the style example. Our approach is analogous to physical makeup, as we modify the ...
206
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Higher order energy functions have the ability to encode
high level structural dependencies between pixels, which
have been shown to be extremely powerful for image labeling
pro...
264
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Many computer vision problems can be formulated in
a Bayesian framework with Markov Random Field (MRF)
or Conditional Random Field (CRF) priors. Usually, the
model assumes that ...
165
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
User-provided object bounding box is a simple and
popular interaction paradigm considered by many existing
interactive image segmentation frameworks. However,
these frameworks t...
232
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a method for tracking a hand while it is interacting
with an object. This setting is arguably the one where
hand-tracking has most practical relevance, but poses signi...