3994 search results - page 696 / 799 » A Linear Logical Framework |
157
click to vote
SCALESPACE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose an evolution equation for the active contours in scale spaces. This evolution equation is based on the Polyakov functional that has been first ...
161
click to vote
AUSAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
167
click to vote
CIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Both encryption and digital watermarking techniques need to be incorporated in a digital rights management framework to address different aspects of content management. W...
139
click to vote
DSMML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Gaussian process prior systems generally consist of noisy measurements of samples of the putatively Gaussian process of interest, where the samples serve to constrain the...
139
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...