4555 search results - page 82 / 911 » Deductive Algorithmic Knowledge |
CEC
2009
IEEE
14 years 5 months ago
2009
IEEE
— JADE is a recent variant of Differential Evolution (DE) for numerical optimization, which has been reported to obtain some promising results in experimental study. However, we ...
RTA
2009
Springer
14 years 4 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
WEBI
2007
Springer
14 years 4 months ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
SIGIR
2006
ACM
14 years 4 months ago
2006
ACM
Despite its intuitive appeal, the hypothesis that retrieval at the level of “concepts” should outperform purely term-based approaches remains unverified empirically. In addit...
DAGSTUHL
2004
13 years 11 months ago
2004
Subgroup discovery aims at finding interesting subsets of a classified example set that deviates from the overall distribution. The search is guided by a so-called utility function...