Sciweavers

6549 search results - page 829 / 1310
» Parsimonious additive models
Sort
View
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 7 months ago
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
James Brotherston, Cristiano Calcagno
CORR
2010
Springer
75views Education» more  CORR 2010»
15 years 7 months ago
Linear Algebra in the vector space of intervals
In a previous paper, we have given an algebraic model to the set of intervals. Here, we apply this model in a linear frame. For example, we define a notion of diagonalization of s...
Nicolas Goze
CORR
2008
Springer
96views Education» more  CORR 2008»
15 years 7 months ago
New Extensions of Pairing-based Signatures into Universal (Multi) Designated Verifier Signatures
The concept of universal designated verifier signatures was introduced by Steinfeld, Bull, Wang and Pieprzyk at Asiacrypt 2003. These signatures can be used as standard publicly ve...
Damien Vergnaud
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 7 months ago
Combining Beamforming and Space-Time Coding Using Noisy Quantized Feedback
The goal of combining beamforming and space-time coding is to obtain full-diversity order and to provide additional received power (array gain) compared to conventional space-time...
Siavash Ekbatani, Hamid Jafarkhani
CSDA
2008
121views more  CSDA 2008»
15 years 7 months ago
ANOVA extensions for mixed discrete and continuous data
This paper is concerned withANOVA-like tests in the context of mixed discrete and continuous data. The likelihood ratio approach is used to obtain a location test in the mixed dat...
A. R. de Leon, Y. Zhu