740 search results - page 147 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
WWW
2008
ACM
14 years 6 months ago
2008
ACM
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
KDD
2008
ACM
14 years 6 months ago
2008
ACM
Studying the association between quantitative phenotype (such as height or weight) and single nucleotide polymorphisms (SNPs) is an important problem in biology. To understand und...
CLUSTER
2009
IEEE
14 years 27 days ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...
P2P
2003
IEEE
13 years 11 months ago
2003
IEEE
Decentralized Peer to Peer (P2P) networks offer both opportunities and threats. Its open and decentralized nature makes it extremely susceptible to malicious users spreading harmf...
SIGGRAPH
1999
ACM
13 years 10 months ago
1999
ACM
“Inhabited Television” combines multiuser virtual environments with television, so that online audience-members can participate in TV shows staged in a virtual world. It is pr...