7978 search results - page 567 / 1596 » Combining shared-coin algorithms |
190
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
159
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
Animportantsuccessfactor for the field of KDDlies in the developmentand integration of methodsfor supporting the construction and execution of KDDprocesses. Crucial aspects in thi...
196
click to vote
PLDI
1989
ACM
15 years 11 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
147
click to vote
CEC
2007
IEEE
2007
IEEE
Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers
15 years 11 months ago
The combination of low-thrust propulsion and gravity assists allows designing high-energy missions. However the optimization of such trajectories is no trivial task. In this paper,...
182
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...