5718 search results - page 838 / 1144 » Modeling Rule Precision |
224
click to vote
DEXAW
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Search context is a crucial factor that helps to understand a user’s information need in ad-hoc Web page retrieval. A query log of a search engine contains rich inform...
197
click to vote
SP
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
163
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
While numerous metrics for information retrieval are available in the case of binary relevance, there is only one commonly used metric for graded relevance, namely the Discounted ...
200
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
197
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a novel approach for predicting protein functions of an organism by coupling sequence homology and PPI data between two (or more) species with multifunctional Gene Onto...