469 search results - page 83 / 94 » Putting curry-howard to work |
153
click to vote
MOBICOM
2004
ACM
15 years 11 months 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 ...
191
click to vote
ARGMAS
2004
Springer
15 years 11 months 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...
162
click to vote
KES
2004
Springer
15 years 11 months 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,...
148
click to vote
IWPSE
2003
IEEE
15 years 11 months 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...
170
click to vote
HT
2003
ACM
15 years 11 months 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 ...