on experience. Nevertheless it makes sense to devise
an automatic parameter selection technique in a fu-
ture version of the system. Also as future work, we
plan to consider other types of video information such
as more sophisticated texture models and geometric
prior knowledge (such as object’s rigidity, height and
shape) in order to yield as most reliable vessel detec-
tion algorithm as possible.
ACKNOWLEDGEMENTS
Thanks to the French customs for funding.
REFERENCES
B. J. Rhodes, e. a. (2007). Seecoast: persistent surveil-
lance and automated scene understanding for ports
and coastal areas. Ed., vol. 6578, no. 1. SPIE, p.
65781M.
Bechar, I., Lelore, T., Bouchara, F., Guis, V., and Grimaldi,
M. (2013). Toward an airborne system for near
real-time maritime video-surveillance based on syn-
chronous visible light and thermal infrared video in-
formation fusion. an active contour approach. In Proc.
Ocoss’2013, Nice, France.
Bloisi, D. and Iocchi, L. (2009). Argos - a video surveil-
lance system for boat traffic monitoring in venice. In
IJPRAI, vol. 23 (7), pp. 1477–1502.
Bloisi, D., Iocchi, L., Fiorini, M., and Graziano, G. (2012).
Camera based recognition for marine awareness, great
lakes and st. lawrence seaway border regions. In Int.
Conf. Infor. Fusion, pp. 1982–1987.
Chambolle, A., Caselles, V., Novaga, M., Cremers, D., and
Pock, T. (2010). An introduction to total variation for
image analysis. In Chapter in Theoretical Founda-
tions and Numerical Methods for Sparse Recovery, De
Gruyter.
Cremers, D., Pock, T., Kolev, K., and Chambolle, A. (2011).
Convex relaxation techniques for segmentation, stereo
and multiview reconstruction. In Chapter in Markov
Random Fields for Vision and Image Processing. MIT
Press.
Derpanis, K. and Wildes, R. (2012). Spacetime texture rep-
resentation and recognition based on a spatiotemporal
orientation analysis. In PAMI,34(6):1193-205.
Lucas, B. and Kanade, T. (1981). An iterative image regis-
tration tech- nique with an application to stereo vision.
In In Proceedings of the International Joint Confer-
ence on Artificial Intelligence, pp. 674–679.
M. Nikolova, S. E. and Chan, T. (2006). Algorithms for
finding global minimizers of image segmentation and
denoising models. In SIAM Journal of Applied Math-
ematics 66, 1632–1648.
Mumford, D. and Shah, J. (1989). Optimal approximations
by piecewise smooth functions and associated varia-
tional problems. In Comm. Pure. Appl. Math. 42:577-
685.
Pires, N., Guinet, J., and Dusch, E. (2010). Asv: an inno-
vative automatic system for maritime surveillance. In
Navigation, vol. 58(232), pp. 1–20.
Pock, T., Schoenemann, T., Graber, G., Bischof, H., and
Cremers, D. (2008). A convex formulation of contin-
uous multi-label problems. In ECCV’08.
Smith, A. and Teal, M. (1999). Identification and tracking
of marine objects in nearinfrared image sequences for
collision avoidance. In In 7th Int. Conf. Im. Proc. Ap-
plic., pp. 250–254.
Stauffer, C. and Grimson, W. E. L. (1999). Adaptive back-
ground mixture models for real-time tracking. in
CVPR’99, pp. 2246–2252.
Vese, L. and Chan, T. (2002). A new multiphase level set
framework for image segmentation via the mumford
and shah model. In IJCV, Vol. 50, pp. 271–293.
APPENDIX
Let us prove the claim we made in section 3. For sim-
plicity’s sake and without loss of generality, we con-
sider the following MAP based image segmentation
problem:
min
O
λPerim
O
+ βA
O
+
Z
O
g(z) (10)
where g(z) is a positive function as it corresponds
−log of a probability. Now, let us consider the Chan
& Vese image segmentation model
λPerim
O
+
Z
O
( f (z) − c
1
)
2
σ
2
1
+
Z
O
( f (z) − c
2
)
2
σ
2
2
(11)
One may rewrite model 11 equivalently (after throw-
ing away the constant term) as follows
λPerim
O
+
Z
O
( f (z) − c
1
)
2
σ
2
1
−
( f (z) − c
2
)
2
σ
2
2
)
=
(
λPerim
O
+
Z
O
f
2
(z)
1
σ
2
1
−
1
σ
2
2
− 2 f (z)
c
1
σ
2
1
−
c
2
σ
2
2
+
Z
O
c
2
1
σ
2
1
+
c
2
2
σ
2
2
= λPerim
O
+
Z
O
f
2
(z)
1
σ
2
1
−
1
σ
2
2
− 2 f (z)
c
1
σ
2
1
−
c
2
σ
2
2
+ K
+ (
c
2
1
σ
2
1
+
c
2
2
σ
2
2
− K + R
A(O)
where K is the smallest positive constant (perhaps 0)
which makes the integrand term
f
2
(z)
1
σ
2
1
−
1
σ
2
2
−
2 f (z)
c
1
σ
2
1
−
c
2
σ
2
2
+ K
always positive, whatever z.
VISAPP2014-InternationalConferenceonComputerVisionTheoryandApplications
688