2646 search results - page 282 / 530 » Local Type Inference |
190
click to vote
APAL
2011
15 years 1 months ago
2011
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
184
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract An extension of the Gauss-Newton algorithm is proposed to find local minimizers of penalized nonlinear least squares problems, under generalized Lipschitz assumptions. Co...
162
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Recent research in object recognition has demonstrated the advantages of representing objects and scenes through localized patterns such as small image templates. In this paper we...
180
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Various techniques have been developed for different query types in content-based image retrieval (CBIR) systems such as sampling queries, constrained sampling queries, multiple c...
203
click to vote
RTSS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper focuses on scheduling different hard real-time applications on a uniprocessor when the earliest deadline first algorithm is used as the local scheduler, and the global ...