24 search results - page 4 / 5 » A Methodology for Deriving Probabilistic Correctness Measure... |
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
DCC
2011
IEEE
13 years 9 days ago
2011
IEEE
Quantizers for probabilistic sources are usually optimized for mean-squared error. In many applications, maintaining low relative error is a more suitable objective. This measure ...
BMCBI
2006
2006
A Regression-based K nearest neighbor algorithm for gene function prediction from heterogeneous data
13 years 5 months ago
Background: As a variety of functional genomic and proteomic techniques become available, there is an increasing need for functional analysis methodologies that integrate heteroge...
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
ICML
2003
IEEE
14 years 6 months ago
2003
IEEE
We consider the problem of unsupervised learning from a matrix of data vectors where in each row the observed values are randomly permuted in an unknown fashion. Such problems ari...