1941 search results - page 288 / 389 » Reasoning about Computations Using Two-Levels of Logic |
142
Voted
RIAO
2007
15 years 5 months ago
2007
Information Retrieval (IR) systems are built with different goals in mind. Some IR systems target high precision that is to have more relevant documents on the first page of their...
156
Voted
ISM
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
126
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Personal data is a valuable asset for service providers. To collect such data, free services are offered to users, for whom the risk of loosing privacy by subscribing to a servi...
105
Voted
HPCA
1998
IEEE
15 years 7 months ago
1998
IEEE
Scalable shared-memory multiprocessors that are designed as Cache-Only Memory Architectures Coma allow automatic replication and migration of data in the main memory. This enhance...
132
Voted
SC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we discuss some of the lessons that we have learned working with the Hadoop and Sector/Sphere systems. Both of these systems are cloud-based systems designed to sup...