4354 search results - page 363 / 871 » Classification-based objective functions |
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
181
Voted
SIAMCO
2000
15 years 6 months ago
2000
We study a class of functional which can be used for matching objects which can be represented as mappings from a fixed interval, I, to some "feature space." This class o...
155
click to vote
MP
2007
15 years 6 months ago
2007
Many practical optimization problems involve nonsmooth (that is, not necessarily differentiable) functions of thousands of variables. In the paper [Haarala, Miettinen, M¨akel¨a,...
175
click to vote
RAS
2007
15 years 6 months ago
2007
The purpose of this study is to investigate a variational formulation of the problem of three-dimensional (3D) interpretation of temporal image sequences based on the 3D brightnes...
166
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we present a scene analysis technique with subpixel filtering based on dense coded light fields. Our technique computes alignment and optically projects analysis ...