825 search results - page 98 / 165 » Partitions of an Integer into Powers |
ANTS
2006
Springer
15 years 3 months ago
2006
Springer
Let P(n) denote the largest prime divisor of n, and let (x, y) be the number of integers n x with P(n) y. In this paper we present improvements to Bernstein's algorithm, whi...
142
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
ASPDAC
2005
ACM
15 years 1 months ago
2005
ACM
— Circuit placement has a large impact on all aspects of performance; speed, power consumption, reliability, and cost are all affected by the physical locations of interconnected...
130
click to vote
CAMP
2005
IEEE
15 years 1 months ago
2005
IEEE
— We have simulated the implementation of 16-bit floating point instructions on a Pentium4 and PowerPC G4 and G5 to evaluate the performance impact of these instructions in embed...
IJCAI
1997
15 years 1 months ago
1997
This paper proposes a new connectionist approach to numeric law discovery; i.e., neural networks (law-candidates) are trained by using a newly invented second-order learning algor...