Sciweavers

13041 search results - page 75 / 2609
» Simulating space and time
Sort
View
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
15 years 5 months ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige
VTC
2007
IEEE
100views Communications» more  VTC 2007»
15 years 8 months ago
Space-Time Trellis Coding Exploiting Superimposed Transmissions in Half-Duplex Relay Networks
— This work presents and analyzes a cooperative relaying approach which offers large scale spatial diversity and an additional coding advantage in a virtual antenna array. It uti...
Peter Rost, Gerhard Fettweis
IOT
2010
14 years 11 months ago
Supporting interaction with the Internet of Things across objects, time and space
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
Fahim Kawsar, Gerd Kortuem, Bashar Altakrouri
121
Voted
CORR
2008
Springer
113views Education» more  CORR 2008»
15 years 1 months ago
Co-ordinate Interleaved Distributed Space-Time Coding for Two-Antenna-Relays Networks
Distributed space time coding for wireless relay networks when the source, the destination and the relays have multiple antennas have been studied by Jing and Hassibi. In this set-...
Jagadeesh Harshan, B. Sundar Rajan
TCOM
2010
107views more  TCOM 2010»
15 years 1 days ago
Near-Capacity Cooperative Space-Time Coding Employing Irregular Design and Successive Relaying
— In this paper, we develop a capacity-approaching Cooperative Space-Time Coding (CSTC) scheme employing irregular design for a twin-relay aided network as an extension of our pr...
Lingkun Kong, Soon Xin Ng, Robert G. Maunder, Lajo...