741 search results - page 116 / 149 » A Local System for Classical Logic |
LCTRTS
2005
Springer
14 years 2 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
ACIVS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we consider an object categorization system using local HMAX features. Two feature matching techniques are compared: the MAX technique, originally proposed in the HMA...
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In infrastructure-less wireless systems network-wise time and frequency synchronization can be achieved by exchanging mutual synchronization errors among neighboring nodes. Coo...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a novel drum transcription system for polyphonic music. The use of a band-wise harmonic/noise decomposition allows the suppression of the deterministic part of...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vec...