3758 search results - page 364 / 752 » A Complete Subsumption Algorithm |
140
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
3D echocardiography is one of the emerging real-time imaging modalities that is increasingly used in clinical practice to assess cardiac function. It provides for evaluation a mor...
172
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Traditional Naive Bayes Classifier performs miserably on web-scale taxonomies. In this paper, we investigate the reasons behind such bad performance. We discover that the low perf...
155
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Clusters of genes that evolved from single progenitors via repeated segmental duplications present significant challenges to the generation of a truly complete human geno...
162
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
277
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
We present and analyze an algorithm for equivalent rewriting of XQuery queries using XQuery views, which is complete for a large class of XQueries featuring nested FLWR blocks, XM...