2254 search results - page 53 / 451 » Computing the minimal covering set |
CIE
2007
Springer
15 years 7 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...
106
click to vote
AMAI
2002
Springer
15 years 18 days 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
15 years 25 days 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...
107
Voted
SIAMJO
2008
15 years 20 days 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. ...
93
Voted
ICCV
2007
IEEE
16 years 2 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...