6943 search results - page 888 / 1389 » Representations for evolutionary algorithms |
199
click to vote
TACAS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
166
click to vote
VLDB
2005
ACM
16 years 15 days ago
2005
ACM
We study the problem of computing waveletbased synopses for massive data sets in static and streaming environments. A compact representation of a data set is obtained after a thre...
177
click to vote
WABI
2005
Springer
16 years 15 days ago
2005
Springer
We present recent developments in efficiently maintaining the boundary and surface area of protein molecules as they undergo conformational changes. As the method that we devised k...
180
click to vote
CMSB
2004
Springer
16 years 13 days ago
2004
Springer
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
143
click to vote
PATMOS
2004
Springer
16 years 12 days ago
2004
Springer
This paper surveys different implementations of dividers on FPGA technology. A special attention is paid on ATP (area-time-power) trade-offs between restoring, non-restoring, and S...