Sciweavers

529 search results - page 106 / 106
» Admissible Linear Map Models of Linear Cameras
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 5 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
CORR
2008
Springer
131views Education» more  CORR 2008»
13 years 5 months ago
Quantized Multimode Precoding in Spatially Correlated Multi-Antenna Channels
Abstract-- Multimode precoding, where the number of independent data-streams is adapted optimally, can be used to maximize the achievable throughput in multi-antenna communication ...
Vasanthan Raghavan, Venugopal V. Veeravalli, Akbar...
BMCBI
2006
95views more  BMCBI 2006»
13 years 5 months ago
Estimate haplotype frequencies in pedigrees
Background: Haplotype analysis has gained increasing attention in the context of association studies of disease genes and drug responsivities over the last years. The potential us...
Qiangfeng Zhang, YuZhong Zhao, Guoliang Chen, Yun ...
SIAMCO
2000
89views more  SIAMCO 2000»
13 years 5 months ago
Stability Radius and Internal Versus External Stability in Banach Spaces: An Evolution Semigroup Approach
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include autonomous and...
Stephen Clark, Yuri Latushkin, Stephen Montgomery-...