5863 search results - page 962 / 1173 » On Model-Checking of P Systems |
130
Voted
JAT
2007
15 years 6 months ago
2007
Let A ⊂ L2(R) be at most countable, and p, q ∈ N. We characterize various frame-properties for Gabor systems of the form G(1, p/q,A) = {e2 imxg(x − np/q) : m, n ∈ Z, g ∈...
153
Voted
JCC
2007
15 years 6 months ago
2007
: Proteins are flexible systems and commonly populate several functionally important states. To understand protein function, these states and their energies have to be identified...
134
Voted
CG
2005
Springer
15 years 6 months ago
2005
Springer
We present the Video Paintbox; a novel system capable of transforming video into stylised animations. Our system solves the problem of temporally coherent painting for a wide clas...
176
Voted
TWC
2008
15 years 6 months ago
2008
In this paper, the statistics of quadratic forms in normal random variables (RVs) are studied and their impact on performance analysis of wireless communication systems is explored...
173
Voted
APIN
2004
15 years 6 months ago
2004
In this paper we present a new technique to simulate polymer blends that overcomes the shortcomings in polymer system modeling. This method has an inherent advantage in that the v...