4114 search results - page 401 / 823 » Efficient Algorithms for the 2-Center Problems |
204
click to vote
ASE
2005
15 years 6 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
151
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We consider layouting news articles on a page as a cutting and packing problem with output maximization. We propose to tailor news articles by employing automatic summarization to...
180
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Given two or more images, we can define different but related problems on pattern matching such as image registration, pattern detection and localization, and common pattern disco...
201
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper we propose a new approach of the two-image alignment problem based on a functional representation of images. This allows us to derive a one-to-several correspondence,...
162
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
In this paper, we present a novel variational formulation of the registration assisted image segmentation problem which leads to solving a coupled set of nonlinear PDEs that are so...