893 search results - page 110 / 179 » Relational link-based ranking |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
IEEESCC
2010
IEEE
14 years 1 months ago
2010
IEEE
—Gathering functionally similar agent-based Web services into communities has been proposed and promoted on many occasions. In this paper, we compare the performance of these com...
CLEF
2006
Springer
14 years 28 days ago
2006
Springer
Geographic Information Retrieval (GIR) community has generally accepted the thesis that both thematic and geographic aspect of documents may be useful for GIR. This paper describe...
AAAI
2007
13 years 11 months ago
2007
In this paper, we develop and evaluate several probabilistic models of user click-through behavior that are appropriate for modeling the click-through rates of items that are pres...
CIARP
2008
Springer
13 years 11 months ago
2008
Springer
Facial action unit (au) classification is an approach to face expression recognition that decouples the recognition of expression from individual actions. In this paper, upper face...