5243 search results - page 373 / 1049 » Reasoning About Strategies |
180
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...
190
click to vote
CSREASAM
2007
15 years 8 months ago
2007
— We present an efficient implementation of a fair e-cash protocol especially designed for mobile wireless environments. Our protocol attempts to offer a reasonable balance betw...
181
click to vote
LREC
2008
15 years 8 months ago
2008
This paper describes the development of a written corpus of argumentative reasoning. Arguments in the corpus have been analysed using state of the art techniques from argumentatio...
161
click to vote
IJCAI
2007
15 years 8 months ago
2007
A long-lived agent continually faces new tasks in its environment. Such an agent may be able to use knowledge learned in solving earlier tasks to produce candidate policies for it...
115
click to vote
IADIS
2004
15 years 8 months ago
2004
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...