1051 search results - page 119 / 211 » Single Run Optimization Using the Reverse-Simulation Method |
140
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The occurrence of a genetic bottleneck in HIV sexual or mother-to-infant transmission has been well documented. This results in a majority of new infections being homo...
146
Voted
CSFW
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
108
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes a speciation method that allows an evolutionary process to learn several robot behaviors using a single execution. Species are created in behavioral space in ...
159
Voted
CVIU
2006
15 years 4 months ago
2006
We explore an approach to 3D people tracking with learned motion models and deterministic optimization. The tracking problem is formulated as the minimization of a differentiable ...
130
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years, several approaches have been proposed to use profile information in compiler optimization. This profile information can be used at the source level to guide loo...