5748 search results - page 1115 / 1150 » Contexts for the Semantic Web |
POPL
2011
ACM
13 years 22 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
SIGIR
2012
ACM
12 years 10 days ago
2012
ACM
Finding topic experts on microblogging sites with millions of users, such as Twitter, is a hard and challenging problem. In this paper, we propose and investigate a new methodolog...
CVPR
2005
IEEE
14 years 12 months ago
2005
IEEE
Classifying pictures into one of several semantic categories is a classical image understanding problem. In this paper, we present a stratified approach to both binary (outdoor-in...
CVPR
2006
IEEE
14 years 12 months ago
2006
IEEE
Ensemble methods such as bootstrap, bagging or boosting have had a considerable impact on recent developments in machine learning, pattern recognition and computer vision. Theoret...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...