5243 search results - page 143 / 1049 » Reasoning About Strategies |
157
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...
155
click to vote
HICSS
2006
IEEE
16 years 16 days ago
2006
IEEE
While spam is considered a crucial problem for both companies and ordinary computer users, little is known about how spam actually affects companies and which anti-spam techniques...
148
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In many complex multi-agent domains it is impractical to compute exact analytic solutions. An alternate means of analysis applies computational tools to derive and analyze empiric...
172
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
176
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...