6800 search results - page 1170 / 1360 » Testing with Functions as Specifications |
ICCV
2011
IEEE
12 years 8 months ago
2011
IEEE
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...
ICCV
2011
IEEE
12 years 8 months ago
2011
IEEE
We study the 3D reconstruction of plant roots from multiple 2D images. To meet the challenge caused by the delicate nature of thin branches, we make three innovations to cope with...
CEC
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...
CTRSA
2012
Springer
12 years 3 months ago
2012
Springer
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the...
EVOW
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. The hydrophobic-polar (HP) model for protein structure preabstracts the fact that hydrophobic interactions are a dominant force in the protein folding process. This model...