886 search results - page 6 / 178 » Reasoning with contextual graphs |
GG
2010
Springer
13 years 7 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
SEMWEB
2007
Springer
14 years 24 days ago
2007
Springer
The use of tags to describe Web resources in a collaborative manner has experienced rising popularity among Web users in recent years. The product of such activity is given the nam...
SIGIR
2006
ACM
14 years 20 days ago
2006
ACM
Similarity measures for text have historically been an important tool for solving information retrieval problems. In many interesting settings, however, documents are often closel...
ECIR
2009
Springer
14 years 3 months ago
2009
Springer
-5
NIPS
2004
13 years 8 months ago
2004
We seek to both detect and segment objects in images. To exploit both local image data as well as contextual information, we introduce Boosted Random Fields (BRFs), which use boos...