10289 search results - page 37 / 2058 » Standard bases in K |
SBCCI
2005
ACM
15 years 7 months ago
2005
ACM
Temperature sensors and voltage references require cells that generate both PTAT (Proportional To Absolute Temperature) and NTC (Negative Temperature Coefficient) voltages. We pre...
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
At the University of Missouri – Columbia’s Information and Access Technology (IAT) Services, InfoTech Training compares the results of their IT training program with similar t...
118
click to vote
DNA
2000
Springer
15 years 5 months ago
2000
Springer
We present a randomized DNA algorithm for k-SAT based on the classical algorithm of Paturi et al. [8]. For an n-variable, m-clause instance of k-SAT (m > n), our algorithm finds...
103
click to vote
ISAAC
2007
Springer
15 years 8 months ago
2007
Springer
We design a faster algorithm for the k-maximum sub-array problem under the conventional RAM model, based on distance matrix multiplication (DMM). Specifically we achieve O(n3 log ...
110
click to vote
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...