326 search results - page 31 / 66 » Automatic binary deobfuscation |
IPPS
1993
IEEE
13 years 11 months ago
1993
IEEE
We show the universality of the VEDIC network in simulating other well known interconnection networks by generating the parameters of the VEDtC network automatically. Algorithms a...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
FUIN
2006
13 years 7 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
MICCAI
2009
Springer
14 years 5 months ago
2009
Springer
The measure of lumen volume on radial arteries can be used to evaluate the vessel response to different vasodilators. In this paper, we present a framework for automatic lumen segm...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present an automatic method for hair segmentation. Our algorithm is divided into two steps. Firstly, we take information from frequential and color analysis in o...