5255 search results - page 614 / 1051 » Formal Methods for Privacy |
186
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
Abstract. We study the special form that the general multi-image tensor formalism takes under the plane + parallax decomposition, including matching tensors and constraints, closur...
161
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we propose a novel technique to image completion that addresses image renaissance through a graph-based matching process. To this end, a number of candidate seeds wi...
186
click to vote
MICCAI
2007
Springer
16 years 8 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
188
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Accurate quantification of total body and the distribution of regional adipose tissue using manual segmentation is a challenging problem due to the high variation between manual de...
193
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...