Sciweavers

630 search results - page 105 / 126
» Symbolic Domain Decomposition
Sort
View
VTC
2008
IEEE
162views Communications» more  VTC 2008»
14 years 2 months ago
A Selective Cluster Index Scheduling Method in OFDMA
—OFDM is an attractive solution for the design of future wireless communications due to its robustness to dispersion in multipath environments. Additional diversity gains can be ...
Marios Nicolaou, Angela Doufexi, Simon Armour
PERVASIVE
2007
Springer
14 years 2 months ago
Ambient Interfaces that Motivate Changes in Human Behavior
Peripheral or ambient displays move information from the periphery to the center of human attention and back. Our research group is interested in the interaction and interface des...
Jodi Forlizzi, Ian Li, Anind K. Dey
GLOBECOM
2006
IEEE
14 years 2 months ago
Two Novel Iterative Joint Frequency-Offset and Channel Estimation Methods for OFDMA Uplink
—We address joint estimation of frequency offsets and channel responses in OFDMA uplink. A cyclically equal-spaced, equal-energy interleaved pilot preamble is proposed by which t...
Xiaoyu Fu, Hlaing Minn, Cyrus D. Cantrell
CAV
2004
Springer
99views Hardware» more  CAV 2004»
14 years 1 months ago
Range Allocation for Separation Logic
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
Muralidhar Talupur, Nishant Sinha, Ofer Strichman,...
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
14 years 1 months ago
Systems Biology Modeling in Human Genetics Using Petri Nets and Grammatical Evolution
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
Jason H. Moore, Lance W. Hahn