525 search results - page 61 / 105 » Using Checkable Types in Automatic Protocol Analysis |
RAID
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
Old photos may be affected by several types of defects. Manual restorers use their own taxonomy to classify damages by which a photo is affected, in order to apply the proper rest...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper describes a way of designing modulation filter by datadriven analysis which improves the performance of automatic speech recognition systems that operate in real envir...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
This paper addresses the problem of identifying musical instruments in polyphonic music. Musical instrument identification (MII) is an improtant task in music information retriev...