313 search results - page 40 / 63 » Algorithms on negatively curved spaces |
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper introduces a clever way of computing inner products between images in order to drastically reduce the computational complexity of fitting appearance models to images. T...
DAC
1996
ACM
14 years 2 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
IPMI
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. We describe a new approach for estimating the posterior probability of tissue labels. Conventional likelihood models are combined with a curve length prior on boundaries,...
ICCV
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents a novel variational method for supervised texture segmentation. The textured feature space is generated by filtering the given textured images using isotropic ...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. In this paper, we present self-avoiding walks as a novel technique to linearize" a triangular mesh. Unlike space- lling curves which are based on a geometric embeddi...