2254 search results - page 53 / 451 » Computing the minimal covering set |
CIE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
AMAI
2002
Springer
13 years 9 months ago
2002
Springer
act It is well-established that a multi-layer perceptron (MLP) with a single hidden layer of N neurons and an activation function bounded by zero at negative infinity and one at in...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We address the problem of building an index for a set D of n strings, where each string location is a subset of some finite integer alphabet of size , so that we can answer effici...
SIAMJO
2008
13 years 10 months ago
2008
A new active set algorithm for minimizing quadratic functions with separable convex constraints is proposed by combining the conjugate gradient method with the projected gradient. ...
ICCV
2007
IEEE
14 years 12 months ago
2007
IEEE
This paper addresses the problem of video inpainting, that is seamlessly reconstructing missing portions in a set of video frames. We propose to solve this problem proceeding as f...