6800 search results - page 878 / 1360 » Testing with Functions as Specifications |
166
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we propose an approximation of the relative phase probability function (RP pdf) and use it to find a non-iterative estimator for the concentration parameter of the...
201
click to vote
ECBS
2008
IEEE
15 years 7 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
214
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Image moments have been widely used for designing robust shape descriptors that are invariant to rigid transformations. In this work, we address the problem of estimating non-rigid...
BMCBI
2010
15 years 7 months ago
2010
Background: Maturation inhibitors are a new class of antiretroviral drugs. Bevirimat (BVM) was the first substance in this class of inhibitors entering clinical trials. While the ...
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The Dendritic Cell Algorithm is an immune-inspired algorithm originally based on the function of natural dendritic cells. The original instantiation of the algorithm is a...