668 search results - page 98 / 134 » Hyperrelations in version space |
NFM
2011
13 years 4 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
PAMI
2011
13 years 4 months ago
2011
— Kernel mapping is one of the most used approaches to intrinsically derive nonlinear classifiers. The idea is to use a kernel function which maps the original nonlinearly separ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The diversity gain of a multiple-input multiple-output (MIMO) system adopting the Neyman-Pearson (NP) criterion is derived for a signal-present versus signal-absent scalar hypothe...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
A nonparametric version of the basis pursuit method is developed for field estimation. The underlying model entails known bases, weighted by generic functions to be estimated fro...
PERVASIVE
2011
Springer
13 years 23 days ago
2011
Springer
Large public displays have become a regular conceptual element in many shops and businesses, where they advertise products or highlight upcoming events. In our work, we are interes...