3742 search results - page 407 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—We present Netscope, a tomographic technique that infers the loss rates of network links from unicast endto-end measurements. Netscope uses a novel combination of first- and se...
193
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We present a very simple and effective method for eliminating the degeneracy inherent in a planar scene, and demonstrate its performance in a useful application -- that of binocul...
160
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, a model based on genetic algorithms for protein folding prediction is proposed. The most important features of the proposed approach are: i) Heuristic secondary str...
189
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The choice of which of the available strategies should be used within the Differential Evolution algorithm for a given problem is not trivial, besides being problem-dependent and...
255
click to vote
DILS
2008
Springer
15 years 8 months ago
2008
Springer
We propose a novel semi-supervised clustering method for the task of gene regulatory module discovery. The technique uses data on dna binding as prior knowledge to guide the proces...