4502 search results - page 522 / 901 » Regular Model Checking |
183
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Labeling image collections is a tedious task, especially
when multiple labels have to be chosen for each image. In
this paper we introduce a new framework that extends state
of ...
225
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we present a method for tracking and retexturing of garments that exploits the entire image information using the optical flow constraint instead of working with di...
174
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
172
click to vote
SCALESPACE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we propose a new nonparametric region-based active contour model for clutter image segmentation. To quantify the similarity between two clutter regions, we propose t...
155
Voted
EDBTW
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we investigate how existing social networks can benefit P2P data networks by leveraging the inherent trust associated with social links. We present a trust model t...