8874 search results - page 176 / 1775 » A New Implementation of Automath |
144
click to vote
NIPS
2007
15 years 5 months ago
2007
Automatic relevance determination (ARD) and the closely-related sparse Bayesian learning (SBL) framework are effective tools for pruning large numbers of irrelevant features leadi...
149
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Over the last few years, more and more heuristic decision making techniques have been inspired by nature, e.g. evolutionary algorithms, ant colony optimisation and simulated annea...
138
Voted
CCR
2004
15 years 4 months ago
2004
Current congestion control algorithms treat packet loss as an indication of network congestion, under the assumption that most losses are caused by router queues overflowing. In r...
178
click to vote
JMIV
2011
14 years 11 months ago
2011
In this paper, we first present a new implementation of the 3-D fast curvelet transform, which is nearly 2.5 less redundant than the Curvelab (wrapping-based) implementation as o...
157
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...