455 search results - page 82 / 91 » Social search and discovery using a unified approach |
118
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
131
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
The identification of near-duplicate keyframe (NDK) pairs is a useful task for a variety of applications such as news story threading and content-based video search. In this pape...
149
Voted
AVI
2010
15 years 2 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
140
Voted
KDD
2012
ACM
13 years 4 months ago
2012
ACM
Historical prices are important information that can help consumers decide whether the time is right to buy a product. They provide both a context to the users, and facilitate the...
101
click to vote
ICWSM
2008
15 years 3 months ago
2008
Identifying topics and concepts associated with a set of documents is a task common to many applications. It can help in the annotation and categorization of documents and be used...