3468 search results - page 596 / 694 » An open logical framework |
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Social bookmarking systems and their emergent information structures, known as folksonomies, are increasingly important data sources for Semantic Web applications. A key question ...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
Data analytics tools and frameworks abound, yet rapid deployment of analytics solutions that deliver actionable insights from business data remains a challenge. The primary reason...
STOC
2004
ACM
14 years 9 months ago
2004
ACM
We prove an (lg n) cell-probe lower bound on maintaining connectivity in dynamic graphs, as well as a more general trade-off between updates and queries. Our bound holds even if t...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Recent work in object localization has shown that the use of contextual cues can greatly improve accuracy over models that use appearance features alone. Although many of these mo...