8874 search results - page 318 / 1775 » A New Implementation of Automath |
219
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
268
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
—At ICSE 2010, the Code Bubbles team from Brown University and the Code Canvas team from Microsoft Research presented similar ideas for new user experiences for an integrated dev...
150
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Patch based denoising methods, such as the NL-Means, have emerged recently as simple and efficient denoising methods. This paper provides a new insight on those methods by showing...
151
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry. ...
136
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
A new technique has been proposed to improve the transient behavior of the on-chip/embedded voltage regulator. It is realized by introducing a dynamic leakage path at the driver s...