162 search results - page 33 / 33 » Extraction in Coq: An Overview |
PAMI
2010
13 years 5 months ago
2010
—Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used for featu...
VIROLOGY
2010
13 years 5 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...