4555 search results - page 343 / 911 » Deductive Algorithmic Knowledge |
123
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
121
Voted
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
140
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—We propose a novel algorithm for detecting wormhole attacks in wireless multi-hop networks. The algorithm uses only connectivity information to look for forbidden substr...
118
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Network coding substantially increases network throughput. But since it involves mixing of information inside the network, a single corrupted packet generated by a mali...
108
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a new variant of the task allocation problem, where the agents are connected in a social network and tasks arrive at the agents distributed over the network. W...