2958 search results - page 261 / 592 » Extending and Implementing RASP |
90
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract--We apply Guo and Wang's relaxed belief propagation (BP) method to the estimation of a random vector from linear measurements followed by a componentwise probabilisti...
106
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
CORR
2008
Springer
15 years 17 days ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
CORR
2010
Springer
15 years 17 days ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
101
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract--We give sublinear-time approximation algorithms for some optimization problems arising in machine learning, such as training linear classifiers and finding minimum enclos...