7820 search results - page 1428 / 1564 » Formalization of Time and Space |
194
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
169
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we propose a Collaborative Knowledge Semantic Graphs Image Search (CKSGIS) system. It provides a novel way to conduct image search by utilizing the collaborative na...
174
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The debate within the Web community over the optimal means by which to organize information often pits formalized classifications against distributed collaborative tagging systems...
154
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Discovering mappings between concept hierarchies is widely regarded as one of the hardest and most urgent problems facing the Semantic Web. The problem is even harder in domains w...
156
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present a principled methodology for filtering news stories by formal measures of information novelty, and show how the techniques can be used to custom-tailor newsfeeds based ...