6978 search results - page 256 / 1396 » On Proofs in System P |
170
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
231
click to vote
JSAC
2007
15 years 6 months ago
2007
—In recent years, there has been significant interest in adopting the Peer-to-Peer (P2P) technology for Internet live video streaming. There are primarily two reasons behind thi...
189
click to vote
COMCOM
2008
15 years 6 months ago
2008
Active worms continue to pose major threats to the security of today's Internet. This is due to the ability of active worms to automatically propagate themselves and compromi...
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
