741 search results - page 22 / 149 » A Novel Approach for Hardware Based Sound Classification |
109
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
206
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
104
click to vote
TWC
2008
14 years 11 months ago
2008
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
103
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper introduces a graph grammar based approach to automated topology synthesis of analog circuits. A grammar is developed to generate circuits through production rules, t...
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...