557 search results - page 94 / 112 » The L4.verified Project - Next Steps |
102
Voted
ARITH
2007
IEEE
15 years 10 months ago
2007
IEEE
In the present paper, we investigate the approximation of a function by a polynomial with floating-point coefficients; we are looking for the best approximation in the L2 sense....
112
Voted
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
—Microarray technology has provided an opportunity to simultaneously monitor the expression levels of a large number of genes in response to intentional perturbations. A necessar...
135
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
—DNA matching is a crucial step in sequence alignment. Since sequence alignment is an approximate matching process there is a need for good approximate algorithms. The process of...
142
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
3D human pose recovery is considered as a fundamental step in view-invariant human action recognition. However, inferring 3D poses from a single view usually is slow due to the la...
128
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Secure, distributed collaboration between different organizations is a key challenge in Grid computing today. The GDCD project has produced a Grid-based demonstrator Virtual Colla...