Sciweavers

3192 search results - page 307 / 639
» Translating Model Simulators to Analysis Models
Sort
View
173
Voted
CORR
2011
Springer
178views Education» more  CORR 2011»
14 years 7 months ago
Asymptotic Analysis of Double-Scattering Channels
—We consider a multiple-input multiple-output (MIMO) multiple access channel (MAC), where the channel between each transmitter and the receiver is modeled by the doubly-scatterin...
Jakob Hoydis, Romain Couillet, Mérouane Deb...
107
Voted
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
15 years 9 months ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
127
Voted
RTAS
2007
IEEE
15 years 10 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
104
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Target detection and identification using canonical correlation analysis and subspace partitioning
We present a data-driven approach for target detection and identification based on a linear mixture model. Our aim is to determine the existence of certain targets in a mixture w...
Wei Wang 0018, Tülay Adali, Darren Emge
ICNSC
2007
IEEE
15 years 10 months ago
Dynamic Analysis and Traversability Prediction of Tracked Vehicles on Soft Terrain
– Unmanned ground vehicles are widely used in industries where repetitive tasks or high risk missions are required. Such vehicles usually operate on soft deformable terrains and ...
Said Al-Milli, Kaspar Althoefer, Lakmal D. Senevir...