2905 search results - page 53 / 581 » Formal Memetic Algorithms |
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
ICCCI
2009
Springer
14 years 3 months ago
2009
Springer
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
FMICS
2007
Springer
14 years 3 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
MKM
2007
Springer
14 years 3 months ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
EUROCRYPT
2010
Springer
14 years 1 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...