Sciweavers

3680 search results - page 310 / 736
» cases 2010
Sort
View
IAJIT
2010
129views more  IAJIT 2010»
15 years 5 months ago
An algorithm for diagnosis of the three kinds of constitutional jaundice
: In this paper we have made an algorithm to diagnose the Constitutional Jaundice (Dubin-Johnson, Gilbert and Rotor syndrome) the algorithm is decomposed into two parts: 1) using W...
Shaker Ali, Zou Beiji, Abbas Ali
IANDC
2010
83views more  IANDC 2010»
15 years 5 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
IANDC
2010
119views more  IANDC 2010»
15 years 5 months ago
Cut elimination in coalgebraic logics
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
Dirk Pattinson, Lutz Schröder
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 ...
ICASSP
2010
IEEE
15 years 5 months ago
A partially collapsed Gibbs sampler for parameters with local constraints
We consider Bayesian detection/classification of discrete random parameters that are strongly dependent locally due to some deterministic local constraint. Based on the recently ...
Georg Kail, Jean-Yves Tourneret, Franz Hlawatsch, ...