Sciweavers

3229 search results - page 190 / 646
» Theories with the Independence Property
Sort
View
JSAC
2008
136views more  JSAC 2008»
15 years 6 months ago
Fixed point opportunistic routing in delay tolerant networks
We propose in this work a single copy and multi-hop opportunistic routing scheme for sparse delay tolerant networks (DTNs). The scheme uses as only input the estimates of the avera...
Vania Conan, Jeremie Leguay, Timur Friedman
MVA
2006
15 years 6 months ago
The Agile Stereo Pair for active vision
This paper presents a new stereo sensor for active vision. Its cameras are mounted on two independent 2-DOF manipulators, themselves mounted on two translation stages. The system i...
Eric Samson, Denis Laurendeau, Marc Parizeau, Sylv...
ICASSP
2010
IEEE
15 years 5 months ago
Towards effective singing voice extraction from stereophonic recordings
Extracting a singing voice from its music accompaniment can significantly facilitate certain applications of Music Information Retrieval including singer identification and singin...
Stratis Sofianos, Aladdin M. Ariyaeeinia, Richard ...
MA
2011
Springer
204views Communications» more  MA 2011»
15 years 1 months ago
Estimating structural VARMA models with uncorrelated but non-independent error terms
The asymptotic properties of the quasi-maximum likelihood estimator (QMLE) of vector autoregressive moving-average (VARMA) models are derived under the assumption that the errors ...
Y. Boubacar Mainassara, Christian Francq
KBSE
2005
IEEE
16 years 2 days ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander