4555 search results - page 531 / 911 » Deductive Algorithmic Knowledge |
147
click to vote
ICA
2010
Springer
15 years 6 months ago
2010
Springer
We describe in this paper an advanced protocol for the discrimination and the classification of neuronal spike waveforms within multichannel electrophysiological recordings. Sparse...
183
click to vote
AR
2010
15 years 6 months ago
2010
This paper introduces a novel method for slip angle estimation based on visually observing the traces produced by the wheels of a robot on soft, deformable terrain. The proposed a...
163
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper proposes a novel subspace approach towards direct identification of a residual model for fault detection and isolation (FDI) in a system with non-uniformly sampled mult...
154
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
188
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Classical rate-distortion theory requires knowledge of an elusive source distribution. Instead, we analyze rate-distortion properties of individual objects using the recently devel...