741 search results - page 46 / 149 » A Novel Approach for Hardware Based Sound Classification |
129
click to vote
CADE
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
118
click to vote
ICANN
2010
Springer
14 years 9 months ago
2010
Springer
We propose the so-called Support Feature Machine (SFM) as a novel approach to feature selection for classification, based on minimisation of the zero norm of a separating hyperplan...
123
click to vote
CN
2004
14 years 11 months ago
2004
Intrusion detection is a surveillance problem of practical import that is well suited to wireless sensor networks. In this paper, we study the application of sensor networks to the...
117
click to vote
AISC
1998
Springer
15 years 4 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
DAC
2006
ACM
15 years 3 months ago
2006
ACM
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...