Sciweavers

1653 search results - page 72 / 331
» Directed tree-width examples
Sort
View
MSCS
2006
89views more  MSCS 2006»
14 years 9 months ago
Quantum weakest preconditions
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
Ellie D'Hondt, Prakash Panangaden
TSP
2008
174views more  TSP 2008»
14 years 9 months ago
Complex ICA Using Nonlinear Functions
We introduce a framework based on Wirtinger calculus for nonlinear complex-valued signal processing such that all computations can be directly carried out in the complex domain. Th...
Tülay Adali, Hualiang Li, Mike Novey, J.-F. C...
JAMDS
2000
61views more  JAMDS 2000»
14 years 9 months ago
A coupling technique for stochastic comparison of functions of Markov Processes
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
M. Doisy
MOC
2000
85views more  MOC 2000»
14 years 9 months ago
Bivariate composite vector valued rational interpolation
In this paper we point out that bivariate vector valued rational interpolants (BVRI) have much to do with the vector-grid to be interpolated. When a vector-grid is well-defined, on...
Jieqing Tan, Shuo Tang
NPL
2002
151views more  NPL 2002»
14 years 9 months ago
Additive Composition of Supervised Self Organizing Maps
The learning of complex relationships can be decomposed into several neural networks. The modular organization is determined by prior knowledge of the problem that permits to split...
Jean-Luc Buessler, Jean-Philippe Urban, Julien Gre...