4298 search results - page 206 / 860 » Computing at the top of the world |
94
Voted
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
The social news aggregator Digg allows users to submit and moderate stories by voting on (digging) them. As is true of most social sites, user participation on Digg is nonuniforml...
90
Voted
IPTPS
2004
Springer
15 years 7 months ago
2004
Springer
—This paper discusses large scale keyword searching on top of peer-to-peer (P2P) networks. The state-of-the-art keyword searching techniques for unstructured and structured P2P s...
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
Query processing in database systems has developed beyond mere exact matching of attribute values. Scoring database objects and retrieving only the top k matches or Pareto-optimal...
110
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
134
Voted
AMAST
1991
Springer
15 years 5 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...