6978 search results - page 95 / 1396 » On Proofs in System P |
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
103
click to vote
LISA
2008
15 years 6 days ago
2008
Play-on-demand is usually regarded as a feasible access mode for web content (including streaming video, web pages and so on), web services and some Software-As-A-Service (SaaS) a...
128
Voted
ACMSE
2008
ACM
14 years 12 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
Collection selection has been a research issue for years. Typically, in related work, precomputed statistics are employed in order to estimate the expected result quality of each ...
P2P
2005
IEEE
15 years 3 months ago
2005
IEEE