5550 search results - page 710 / 1110 » Different Approaches to Proof Systems |
194
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a model for speech recognition that consists of multiple semi-synchronized recognizers operating on a polyphase decomposition of standard speech features. Specifically...
194
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
150
Voted
NDSS
2006
IEEE
16 years 1 months ago
2006
IEEE
When dealing with malware infections, one of the first tasks is to find the processes that were involved in the attack. We introduce Malfor, a system that isolates those process...
204
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...
234
click to vote
NDSS
2005
IEEE
16 years 19 days ago
2005
IEEE
We present a solution to the denial of service (DoS) problem that does not rely on network infrastructure support, conforming to the end-to-end (e2e) design principle. Our approac...