2 search results - page 1 / 1 » A Kernel-based Discrimination Framework for Solving Hypothes... |
ICPR
2006
IEEE
14 years 5 months ago
2006
IEEE
Real-word applications often involve a binary hypothesis testing problem with one of the two hypotheses ill-defined and hard to be characterized precisely by a single measure. In ...
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...