8874 search results - page 216 / 1775 » A New Implementation of Automath |
133
click to vote
COMPGEOM
2001
ACM
15 years 8 months ago
2001
ACM
We present an approximation algorithm for computing the diameter of a point-set in d-dimensions. The new algorithm is sensitive to the "hardness" of computing the diamet...
121
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper engineers a new state-of-the-art Stochastic Local Search (SLS) for the Low Autocorrelation Binary Sequence (LABS) problem. The new SLS solver is obtained with ...
119
click to vote
IJCSS
2000
15 years 4 months ago
2000
A new control strategy of self-optimization combined with fuzzy logic control for ball mill is proposed in the paper. This new control strategy is implemented in a Thermal Power Pl...
154
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
The efficient implementation of multimedia algorithms, for the ever increasing complexity of the specifications and the emergence of the new generation of processing platforms c...
167
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
-In this paper, we present a fast and scalable pipelined priority queue architecture for use in high-performance switches with support for fine-grained quality of service (QoS) gu...