2013 search results - page 108 / 403 » Happy New Year |
170
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In the last years Blog Search has been a new exciting task in Information Retrieval. The presence of user generated information with valuable opinions makes this field of huge in...
187
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
The problem of building Recommender Systems has attracted considerable attention in recent years, but most recommender systems are designed for recommending items for individuals....
153
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...
151
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
For over forty years, we have assumed hierarchical file system namespaces. These namespaces were a rudimentary attempt at simple organization. As users have begun to interact with...
182
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...