271 search results - page 55 / 55 » Automatic analysis of malware behavior using machine learnin... |
ECAI
2004
Springer
13 years 8 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...