43 search results - page 6 / 9 » On beating the hybrid argument |
SAFECOMP
2004
Springer
14 years 3 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
AUTOMATICA
2008
13 years 10 months ago
2008
In this paper, we address the problem of adaptively enriching motion description languages for multi-modal control by systematically enlarging the set of available modes. This pro...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We describe a reduction from the problem of unordered search (with a unique solution) to the problem of inverting a permutation. Since there is a straightforward reduction in the ...
ISBI
2006
IEEE
14 years 3 months ago
2006
IEEE
For high quality MR imaging of time-varying objects such as beating heart or brain hemodynamics, we need to reduce signal acquisition time without sacrificing the spatial resolut...
TASLP
2010
13 years 4 months ago
2010
Indexing audio signals directly in the transform domain can potentially save a significant amount of computation when working on a large database of signals stored in a lossy compr...