8828 search results - page 413 / 1766 » Formal methods in practice |
179
click to vote
JCB
2007
15 years 6 months ago
2007
Optical mapping is an integrated system for the analysis of single DNA molecules. It constructs restriction maps (noted as “optical map”) from individual DNA molecules present...
194
click to vote
VLC
2008
15 years 6 months ago
2008
In order to evaluate automated image annotation and object recognition algorithms, ground truth in the form of a set of images correctly annotated with text describing each image ...
205
Voted
SIAMSC
2010
15 years 5 months ago
2010
In this article we consider the a posteriori error estimation and adaptive mesh refinement of discontinuous Galerkin finite element approximations of the hydrodynamic stability p...
221
Voted
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
171
Voted
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
Among the many techniques available for informationconcealment, those based on spread spectrummodulationshave proven to yield improved results when robustness against attack is at...