13553 search results - page 264 / 2711 » A Generalized Multi-View Approach |
152
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
173
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
153
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we propose a Bayesian learning approach to promoting diversity for information retrieval in biomedicine and a re-ranking model to improve retrieval performance in t...
170
click to vote
MLDM
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a novel solution for the problem of building text classifier using positive documents (P) and unlabeled documents (U). Here, the unlabeled documents are mixed w...
168
click to vote
SECPERU
2006
IEEE
16 years 19 days ago
2006
IEEE
To assess the trustworthiness of the information published in the World Wide Web referrals are often employed. This is due to the fact that most information sources are visited on...