Sciweavers

10848 search results - page 204 / 2170
» Programming in Biomolecular Computation
Sort
View
IWINAC
2005
Springer
15 years 10 months ago
Parallel Evolutionary Computation: Application of an EA to Controller Design
The evolutionary algorithms can be considered as a powerful and interesting technique for solving large kinds of control problems. However, the great disadvantage of the evolutiona...
Manuel Parrilla Sánchez, Joaquín Ara...
EUROPAR
2003
Springer
15 years 10 months ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
C. A. R. Hoare
PLDI
2010
ACM
15 years 9 months ago
Traceable data types for self-adjusting computation
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat...
IJCAI
2007
15 years 6 months ago
Inside-Outside Probability Computation for Belief Propagation
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
Taisuke Sato
AAECC
2002
Springer
116views Algorithms» more  AAECC 2002»
15 years 4 months ago
A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
Russell Lyons, Peter Paule, Axel Riese