242 search results - page 33 / 49 » Verification via Structure Simulation |
83
Voted
VTC
2010
IEEE
14 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
14 years 5 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...
111
click to vote
NETWORKING
2011
14 years 1 months 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...
105
Voted
APN
2008
Springer
15 years 7 days 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...
75
Voted
MICCAI
2004
Springer
15 years 11 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...