1136 search results - page 147 / 228 » Functional Validation in Grid Computing |
100
click to vote
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
The formulation of trace quotient is shared by many computer vision problems; however, it was conventionally approximated by an essentially different formulation of quotient trace,...
87
Voted
ALMOB
2008
15 years 12 days ago
2008
Background: Experimental identification of microRNA (miRNA) targets is a difficult and time consuming process. As a consequence several computational prediction methods have been ...
ICFP
2008
ACM
16 years 7 days ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—This paper presents Cramér-Rao bound-like inequalities for pose tracking, which is defined as the problem of recovering the robot displacement given two successive rea...
79
Voted
IH
2009
Springer
15 years 6 months ago
2009
Springer
This paper is concerned with the estimation of steganographic capacity in digital images, using information theoretic bounds and very large-scale experiments to approximate the dis...