4488 search results - page 764 / 898 » Focusing Search by Using Problem Solving Experience |
143
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
151
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
The top-k retrieval problem requires finding k objects most similar to a given query object. Similarities between objects are most often computed as aggregated similarities of the...
155
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Detecting events from web resources has attracted increasing research interests in recent years. Our focus in this paper is to detect events from photos on Flickr, an Internet ima...
153
Voted
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
The concept of information landscapes has been a constant theme in the development of interactive multimedia packages. For the interface and access to this information to be effec...
156
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The peer sampling service is a middleware service that provides random samples from a large decentralized network to support gossip-based applications such as multicast, ...