9110 search results - page 460 / 1822 » Formally-Based Design Evaluation |
192
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
161
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Protein structure prediction and computational protein design require efficient yet sufficiently accurate descriptions of aqueous solvent. We continue to evaluate the ...
150
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
188
click to vote
JMM2
2006
15 years 6 months ago
2006
Recently, Multimedia Broadcast Multicast Service (MBMS) has been specified by 3GPP as a Release 6 feature in order to meet the increasing demands of multimedia download and streami...
211
Voted
EC
2008
15 years 6 months ago
2008
This work describes how evolutionary computation can be used to synthesize lowlevel image operators that detect interesting points on digital images. Interest point detection is a...