2286 search results - page 155 / 458 » The Combination and Evaluation of Query Performance Predicti... |
159
click to vote
MCS
2010
Springer
15 years 2 months ago
2010
Springer
Multilabel classification is a challenging research problem in which each instance is assigned to a subset of labels. Recently, a considerable amount of research has been concerned...
126
Voted
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
137
Voted
IWCMC
2010
ACM
15 years 9 months ago
2010
ACM
As wireless networks have been widely deployed for public mobile services, predicting the location of a mobile user in wireless networks became an interesting and challenging prob...
193
Voted
WOSP
1998
ACM
15 years 8 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
152
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Natively unfolded proteins lack a well defined three dimensional structure but have important biological functions, suggesting a re-assignment of the structure-functio...