Sciweavers

1174 search results - page 102 / 235
» Derivation of Characteristic Formulae
Sort
View
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 4 months ago
Canonical calculi with (n,k)-ary quantifiers
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
Arnon Avron, Anna Zamansky
ICASSP
2011
IEEE
14 years 8 months ago
Modeling microstructure noise using Hawkes processes
Hawkes processes are used for modeling tick-by-tick variations of a single or of a pair of asset prices. For each asset, two counting processes (with stochastic intensities) are a...
Emmanuel Bacry, Sylvain Delattre, Marc Hoffmann, J...
NN
2004
Springer
111views Neural Networks» more  NN 2004»
15 years 9 months ago
The Analysis of Voice Quality in Speech Processing
Abstract. Voice quality has been defined as the characteristic auditory colouring of an individual's voice, derived from a variety of laryngeal and supralaryngeal features and...
Eric Keller
MA
2010
Springer
98views Communications» more  MA 2010»
15 years 2 months ago
The Stein phenomenon for monotone incomplete multivariate normal data
We establish the Stein phenomenon in the context of two-step, monotone incomplete data drawn from Np+q(µ, Σ), a multivariate normal population with mean µ and covariance matrix...
Donald St. P. Richards, Tomoya Yamada
ICCV
2001
IEEE
16 years 6 months ago
Indexing Based on Scale Invariant Interest Points
This paper presents a new method for detecting scale invariant interest points. The method is based on two recent results on scale space: 1) Interest points can be adapted to scal...
Krystian Mikolajczyk, Cordelia Schmid