Sciweavers

3771 search results - page 536 / 755
» Subobject Transformation Systems
Sort
View
SLOGICA
2002
74views more  SLOGICA 2002»
15 years 6 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli
ICASSP
2010
IEEE
15 years 5 months ago
A comparison of approaches for modeling prosodic features in speaker recognition
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
Luciana Ferrer, Nicolas Scheffer, Elizabeth Shribe...
SMC
2010
IEEE
132views Control Systems» more  SMC 2010»
15 years 4 months ago
Selection of SIFT feature points for scene description in robot vision
This paper presents a method for selection of SIFT(Scale-Invariant Feature Transform) feature points using OC-SVM (One Class-Support Vector Machines). We proposed the method for au...
Yuya Utsumi, Masahiro Tsukada, Hirokazu Madokoro, ...
CSDA
2011
15 years 1 months ago
Mapping electron density in the ionosphere: A principal component MCMC algorithm
The outer layers of the Earth’s atmosphere are known as the ionosphere, a plasma of free electrons and positively charged atomic ions. The electron density of the ionosphere var...
Eman Khorsheed, Merrilee Hurn, Christopher Jenniso...
ICASSP
2011
IEEE
14 years 10 months ago
MIMO radar diversity with Neyman-Pearson signal detection in non-Gaussian circumstance with non-orthogonal waveforms
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...
Qian He, Rick S. Blum