7943 search results - page 94 / 1589 » A calculus for costed computations |
66
Voted
GG
2008
Springer
14 years 11 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
DCC
1999
IEEE
14 years 10 months ago
1999
IEEE
An important component of the index calculus methods for finding discrete logarithms is the acquisition of smooth polynomial relations. Gordon and McCurley (1992) developed a sieve...
87
Voted
GECON
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The advent of Grid computing gives enterprises an ever increasing choice of computing options, yet research has so far hardly addressed the problem of mixing the differe...
78
Voted
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
We derive cost formulae for three di erent parallelisation techniques for training supervised networks. These formulae are parameterised by properties of the target computer archit...
68
Voted
FCT
2007
Springer
15 years 4 months ago
2007
Springer
