67 search results - page 13 / 14 » A note on robust hypothesis testing |
164
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
181
click to vote
ICCD
2000
IEEE
15 years 9 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
163
click to vote
DICTA
2003
15 years 7 months ago
2003
：Many motion object detection algorithms rely on the process of background subtraction, an important technique which is used for detecting changes from a model of the background ...
171
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
161
click to vote
EUROCRYPT
2008
Springer
15 years 7 months ago
2008
Springer
ded abstract of this paper appears in Advances in Cryptology -- EUROCRYPT '08, Lecture Notes in Computer Science Vol. 4965, N. Smart ed., Springer-Verlag, 2008. This is the fu...