242 search results - page 33 / 49 » Verification via Structure Simulation |
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
– This paper provides a partial answer to the question: "what is the best angular density of multipath in MIMO channels?" using the size-asymptotic theory of Toeplitz m...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
NETWORKING
2011
13 years 21 days ago
2011
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...
APN
2008
Springer
13 years 12 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
This paper presents an approach for deformable registration of a normal brain atlas to visible anatomic structures in a tumor-diseased brain image. We restrict our attention to cor...