12194 search results - page 444 / 2439 » Numberings Optimal for Learning |
170
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
153
click to vote
IJON
2007
15 years 6 months ago
2007
In this paper we present a method of parameter optimization, relative trust-region learning, where the trust-region method and the relative optimization [21] are jointly exploited...
176
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We boost the efficiency and robustness of distributionbased matching by random subsampling which results in the minimum number of samples required to achieve a specified probabili...
206
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we present a dynamic power management technique for optimizing the use of virtual channels in network on chips. The technique which is called dynamic virtual channe...
177
click to vote
STOC
2001
ACM
16 years 7 months ago
2001
ACM
We consider static one dimensional range searching problems. These problems are to build static data structures for an integer set S U, where U = {0, 1, . . . , 2w - 1}, which su...