5459 search results - page 340 / 1092 » Context in Web Search |
200
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
244
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Although many genomic features have been used in the prediction of proteinprotein interactions (PPIs), frequently only one is used in a computational method. After rea...
210
click to vote
NIPS
1996
15 years 8 months ago
1996
In the square linear blind source separation problem, one must nd a linear unmixing operator which can detangle the result xi(t) of mixing n unknown independent sources si(t) thro...
181
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
212
click to vote
ICDM
2005
IEEE
16 years 1 months ago
2005
IEEE
Accurate topical classification of user queries allows for increased effectiveness and efficiency in general-purpose web search systems. Such classification becomes critical if th...