Sciweavers

10848 search results - page 204 / 2170
» Programming in Biomolecular Computation
Sort
View
158
Voted
IWINAC
2005
Springer
16 years 17 days 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...
170
Voted
EUROPAR
2003
Springer
16 years 9 days 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
199
Voted
PLDI
2010
ACM
16 years 5 days 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...
165
Voted
IJCAI
2007
15 years 8 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 7 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