3047 search results - page 452 / 610 » On the Meaning of Logical Completeness |
CRYPTO
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper discusses key recovery and universal forgery attacks on several MAC algorithms based on universal hash functions. The attacks use a substantial number of verif...
114
click to vote
CSL
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
ESEM
2008
ACM
14 years 11 months ago
2008
ACM
Software review is a necessity activity to build high reliability software in software development. In this paper, we experimentally analyze the difference in performance between ...
AAAI
2010
14 years 11 months ago
2010
Plan recognition is the problem of inferring the goals and plans of an agent after observing its behavior. Recently, it has been shown that this problem can be solved efficiently,...
BILDMED
2007
14 years 11 months ago
2007
Today the main challenge in cancer surgery is increasing the accuracy in tumor resections. Malignant cells must be completely removed, while harm to the surrounding healthy tissue ...