6943 search results - page 1344 / 1389 » Representations for evolutionary algorithms |
189
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
RECOMB
2004
Springer
16 years 4 days ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...
169
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
185
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
Abstract Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that "the sensornet is a database" i...
204
click to vote
VLDB
2006
ACM
16 years 2 days ago
2006
ACM
Abstract Traditional nearest-neighbor (NN) search is based on two basic indexing approaches: object-based indexing and solution-based indexing. The former is constructed based on t...