5550 search results - page 866 / 1110 » Different Approaches to Proof Systems |
192
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Consider a scenario where a distributed signal is sparse and is acquired by various sensors that see different versions. Thus, we have a set of sparse signals with both some commo...
180
Voted
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...
170
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we propose a sound recognition technique based on the limited receptive area (LIRA) neural classifier and short-time Fourier transform (STFT). LIRA neural classif...
155
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We have developed a stereo vision based obstacle detection (OD) system that can be used to detect obstacles in off-road terrain during both day and night conditions. In order t...
169
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents an algorithm for adapting periodic behavior to gradual shifts in task parameters. Since learning optimal control in high dimensional domains is subject to t...