6978 search results - page 1096 / 1396 » On Proofs in System P |
188
click to vote
AAAI
2011
14 years 6 months ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
187
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Personalized support for learners becomes even more important, when e-Learning takes place in open and dynamic learning and information networks. This paper shows how to realize p...
168
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We present Waterhouse, a system for sending and receiving cryptographically protected electronic mail ("secure e-mail"). We show how an existing e-mail interface can be ...
182
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
P2P file transfers and streaming have already seen a tremendous growth in Internet applications. With the rapid growth of IPTV, the need to efficiently disseminate large volumes ...
191
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Several models of user churn, resilience, and link lifetime have recently appeared in the literature [12], [13], [34], [35]; however, these results do not directly apply to clas...