Sciweavers

819 search results - page 65 / 164
» Fractal symbolic analysis
Sort
View
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
14 years 28 days ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
BMEI
2008
IEEE
14 years 3 months ago
Performance Evaluation and Fusion of Methods for Early Detection of Alzheimer Disease
The number of people that develop Alzheimer’s Disease (AD) is rapidly rising, while the initial diagnosis and care of AD patients typically falls on non-specialist and still tak...
Brahim Hamadicharef, Cuntai Guan, Emmanuel C. Ifea...
ISI
2006
Springer
13 years 8 months ago
Analyzing the Terrorist Social Networks with Visualization Tools
Analysis of terrorist social networks is essential for discovering knowledge about the structure of terrorist organizations. Such knowledge is important for developing effective co...
Christopher C. Yang, Nan Liu, Marc Sageman
GLOBECOM
2007
IEEE
14 years 3 months ago
Performance Analysis of Transmit and Receive Antenna Selection with Space-Time Coding
Abstract—This paper analyzes the performance of multipleinput multiple-output (MIMO) systems with transmit and receive antenna selection (T-RAS). The average bit error rate (BER)...
Wei Zhang, Chintha Tellambura, Xinwei Deng
GLOBECOM
2009
IEEE
14 years 18 days ago
Near-ML Detection over a Reduced Dimension Hypersphere
Abstract--In this paper, we propose a near-maximum likelihood (ML) detection method referred to as reduced dimension ML search (RD-MLS). The RD-MLS detector is based on a partition...
Jun Won Choi, Byonghyo Shim, Andrew C. Singer