469 search results - page 83 / 94 » Putting curry-howard to work |
MOBICOM
2004
ACM
14 years 28 days ago
2004
ACM
Sensor networks are often desired to last many times longer than the active lifetime of individual sensors. This is usually achieved by putting sensors to sleep for most of their ...
ARGMAS
2004
Springer
14 years 27 days ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
KES
2004
Springer
14 years 26 days ago
2004
Springer
Aero engines are extremely reliable machines and operational failures are rare. However, currently great effort is being put into reducing the number of in-flight engine shutdowns,...
IWPSE
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
HT
2003
ACM
14 years 23 days ago
2003
ACM
This paper addresses the issue of Web document summarization. As textual content of Web documents is often scarce or irrelevant and existing summarization techniques are based on ...