6978 search results - page 163 / 1396 » On Proofs in System P |
186
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
186
click to vote
MM
2006
ACM
16 years 13 days ago
2006
ACM
In both academia and industry, peer-to-peer (P2P) applications have attracted great attention. Peer-to-peer file sharing applications, such as Napster, Gnutella, Kazaa, BitTorrent...
160
click to vote
IJFCS
2008
15 years 6 months ago
2008
We introduce the notion of stateless multihead two-way (respectively, oneway) NFAs and stateless multicounter systems and relate them to P systems and vector addition systems. In ...
190
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
179
click to vote
PPNA
2008
15 years 6 months ago
2008
Abstract Video-over-IP applications have recently attracted a large number of users on the Internet. Traditional client-server based video streaming solutions incur expensive bandw...